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