Show simple item record

dc.contributor.authorAuguston, Mikhail
dc.dateNovember 2014
dc.date.accessioned2014-12-03T17:14:10Z
dc.date.available2014-12-03T17:14:10Z
dc.date.issued2014-11
dc.identifier.urihttp://hdl.handle.net/10945/43851
dc.descriptionApproved for public release; distribution is unlimited.en_US
dc.descriptionApproved for public release; distribution is unlimiteden_US
dc.description.abstractMonterey Phoenix (MP) is an approach to formal software system architecture specification based on behavior models. Architecture modeling focuses not only on the activities and interactions within the system, but also on the interactions between the system and its environment, providing an abstraction for interaction specification. The behavior of the system is defined as a set of events (event trace) with two basic relations: precedence and inclusion. The structure of possible event traces is specified using event grammars and other constraints organized into schemas. The separation of the interaction description from the components behavior is an essential MP feature. The schema framework is amenable to stepwise architecture refinement, reuse, composition, visualization, and multiple view extraction. The approach yields a basis for executable architecture specification supporting early testing and verification, systematic use case generation, and performance estimates with automated tools.en_US
dc.description.sponsorshipConsortium for Robotics and Unmanned Systems Education and Research (CRUSER)en_US
dc.publisherMonterey, California. Naval Postgraduate Schoolen_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. As such, it is in the public domain, and under the provisions of Title 17, United States Code, Section 105, may not be copyrighted.en_US
dc.titleBehavior models for software architectureen_US
dc.typeTechnical Reporten_US
dc.contributor.corporateNPS Computer Science Department
dc.contributor.departmentComputer Science
dc.subject.authorsoftware and system architecture modelsen_US
dc.subject.authorexecutable architecture models, behavior modelsen_US
dc.subject.authorarchitecture description languagesen_US
dc.description.funderConsortium for Robotics and Unmanned Systems Education and Research (CRUSER)en_US
dc.identifier.npsreportNPS-CS-14-003


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record