Research Summaries

Back System and Software Architecture Based on Behavior Models: Tools for Design and Analysis

Fiscal Year 2010
Division Graduate School of Operational & Information Sciences
Department Computer Science
Investigator(s) Auguston, Mikhail
Sponsor Naval Air Systems Command (Navy)
Summary This work suggests a new formal architecture description language for software and system 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 emphasis is on the interaction and the coordination aspects of component behavior. The approach provides abstractions for building architecture descriptions amenable to refinement toward more detailed design specifications, and for validation and verification with formal methods and automated tools. This will provide a significant improvement in our ability to develop system architecture, and to verify and test requirements and design decisions early in the development process.
Keywords
Publications Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal
Data Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal