Show simple item record

dc.contributor.authorSong, S
dc.contributor.authorLiu, Y
dc.contributor.authorAuguston, M
dc.contributor.authorSun, J
dc.contributor.authorDong, JS
dc.contributor.authorChen, T
dc.date.accessioned2021-04-29T04:21:24Z
dc.date.available2021-04-29T04:21:24Z
dc.date.issued2015
dc.identifier.isbn9781467369084en_US
dc.identifier.doi10.1109/MODELS.2015.7338279en_US
dc.identifier.urihttp://hdl.handle.net/10072/404028
dc.description.abstractThe analysis of software architecture plays an important role in understanding the system structures and facilitate proper implementation of user requirements. Despite its importance in the software engineering practice, the lack of formal description and verification support in this domain hinders the development of quality architectural models. To tackle this problem, in this work, we develop an approach for modeling and verifying software architectures specified using Monterey Phoenix (MP) architecture description language. MP is capable of modeling system and environment behaviors based on event traces, as well as supporting different architecture composition operations and views. First, we formalize the syntax and operational semantics for MP; therefore, formal verification of MP models is feasible. Second, we extend MP to support shared variables and stochastic characteristics, which not only increases the expressiveness of MP, but also widens the properties MP can check, such as quantitative requirements. Third, a dedicated model checker for MP has been implemented, so that automatic verification of MP models is supported. Finally, several experiments are conducted to evaluate the applicability and efficiency of our approach.en_US
dc.publisherIEEEen_US
dc.relation.ispartofconferencename2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)en_US
dc.relation.ispartofconferencetitle2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)en_US
dc.relation.ispartofdatefrom2015-09-30
dc.relation.ispartofdateto2015-10-02
dc.relation.ispartoflocationOttawa, ON, Canadaen_US
dc.relation.ispartofpagefrom449en_US
dc.relation.ispartofpageto449en_US
dc.subject.fieldofresearchComputer System Architectureen_US
dc.subject.fieldofresearchcode080302en_US
dc.titleFormalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract)en_US
dc.typeConference outputen_US
dc.type.descriptionE3 - Conferences (Extract Paper)en_US
dcterms.bibliographicCitationSong, S; Liu, Y; Auguston, M; Sun, J; Dong, JS; Chen, T, Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract), 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MODELS 2015 - Proceedings, 2015, pp. 449-449en_US
dc.date.updated2021-04-29T04:19:44Z
gro.hasfulltextNo Full Text
gro.griffith.authorDong, Jin-Song


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record