Monterey Phoenix, or How to Make Software Architecture Executable
Loading...
Authors
Auguston, Mikhail
Subjects
Software Architecture Description Language,
behavior model
Advisors
Date of Issue
2013-09-13
Date
October 2009
Publisher
Language
Abstract
This 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.
Type
Description
OOPSLA’09/Onward conference, OOPSLA Companion, October 2009, pp.1031-1038
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
Auguston, Mikhail, “Monterey Phoenix, or How to Make Software Architecture Executable”, OOPSLA’09/Onward conference, OOPSLA Companion, October 2009, pp.1031-1038
Distribution Statement
Rights
This 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.