Please use this identifier to cite or link to this item: https://doi.org/10.1109/APSEC.2012.60
DC FieldValue
dc.titleUsing monterey phoenix to formalize and verify system architectures
dc.contributor.authorZhang, J.
dc.contributor.authorLiu, Y.
dc.contributor.authorAuguston, M.
dc.contributor.authorSun, J.
dc.contributor.authorDong, J.S.
dc.date.accessioned2013-07-04T07:55:49Z
dc.date.available2013-07-04T07:55:49Z
dc.date.issued2012
dc.identifier.citationZhang, J., Liu, Y., Auguston, M., Sun, J., Dong, J.S. (2012). Using monterey phoenix to formalize and verify system architectures. Proceedings - Asia-Pacific Software Engineering Conference, APSEC 1 : 644-653. ScholarBank@NUS Repository. https://doi.org/10.1109/APSEC.2012.60
dc.identifier.isbn9780769549224
dc.identifier.issn15301362
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/40063
dc.description.abstractModeling and analyzing software architectures are useful for helping to understand 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 hinders the development of quality architectural models. In this work, we develop an approach for modeling and verifying software architectures specified using Monterey Phoenix (MP) architecture description language. Firstly, we formalize the syntax and operational semantics for MP. This language is capable of modeling system and environment behaviors based on event traces, as well as supporting different architecture composition operations and views. Secondly, a dedicated model checker for MP is developed based on PAT verification framework. Finally, several case studies are presented to evaluate the usability and effectiveness of our approach. © 2012 IEEE.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1109/APSEC.2012.60
dc.sourceScopus
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1109/APSEC.2012.60
dc.description.sourcetitleProceedings - Asia-Pacific Software Engineering Conference, APSEC
dc.description.volume1
dc.description.page644-653
dc.identifier.isiut000332765100087
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

4
checked on Feb 19, 2020

WEB OF SCIENCETM
Citations

3
checked on Feb 19, 2020

Page view(s)

76
checked on Feb 19, 2020

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.