Composition of Behavior Models for Systems Architecture
Clifford Alan Whitcomb, Mikhail Auguston, Kristin M. Giammarco · 2014
This chapter describes a novel approach for modeling and predicting systems behavior resulting from the interactions among subsystems and among the system and its environment. The approach emphasizes specification of component behavior and component interaction as separate concerns at the architectural level. Monterey Phoenix (MP) provides a new capability for automatically verifying systems behaviors early in the life cycle, when design flaws are most easily and inexpensively corrected. MP extends existing frameworks and allows multiple visualizations for different stakeholders and has potential for application in multiple domains. The first MP prototype has been implemented as a compiler generating an Alloy model from the MP schema and then running the Alloy Analyzer to obtain event traces and to perform assertion checks. It has benefited from Alloy's relational logic formalism and visualization tools.