Show simple item record

dc.contributor.authorAuguston, Mikhail
dc.dateOctober 2009
dc.date.accessioned2013-09-13T16:07:31Z
dc.date.available2013-09-13T16:07:31Z
dc.date.issued2013-09-13
dc.identifier.citationAuguston, Mikhail, “Monterey Phoenix, or How to Make Software Architecture Executable”, OOPSLA’09/Onward conference, OOPSLA Companion, October 2009, pp.1031-1038
dc.identifier.urihttp://hdl.handle.net/10945/36348
dc.descriptionOOPSLA’09/Onward conference, OOPSLA Companion, October 2009, pp.1031-1038en_US
dc.description.abstractThis paper suggests an approach to formal software system architecture specification based on behavior models. The behavior of the system is defined as a set of events (event trace) with two basic relations: precedence and inclusion. The structure of event trace is specified using event grammars and other constraints organized into schemas. The schema framework is amenable to stepwise architecture refinement up to executable design and implementation models, reuse, composition, visualization, and application of automated tools for consistency checks.en_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.en_US
dc.titleMonterey Phoenix, or How to Make Software Architecture Executableen_US
dc.contributor.departmentComputer Science Department
dc.subject.authorSoftware Architecture Description Language, behavior modelen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record