Affiliation:
1. Naval Postgraduate School, Monterey, CA
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, reuse, composition, visualization, and application of automated tools for consistency checks. The concept of event attribute supports a continuous architecture refinement up to executable design and implementation models.
Publisher
Association for Computing Machinery (ACM)
Reference49 articles.
1. Formalizing style to understand descriptions of software architecture
2. A. Aho R. Sethi J. Ullman Compilers Principles Techniques and Tools 1986 Addison-Wesley A. Aho R. Sethi J. Ullman Compilers Principles Techniques and Tools 1986 Addison-Wesley
3. A formal basis for architectural connection
4. "Alloy Analyzer 4.1.10" MIT Accessed May 8 2009 http://alloy.mit.edu/community/software "Alloy Analyzer 4.1.10" MIT Accessed May 8 2009 http://alloy.mit.edu/community/software
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献