Well, you didn't say NOT to! A formal systems engineering approach to teaching an unruly architecture good behavior
MetadataShow full item record
This paper proses a formal modeling approach for predicting emergent reactive systems and system of systems (SoS) behaviors 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, consistent with well-accepted definitions of SoS. The Monterey Phoenix (MP) approach provides features for production of emergent SoS behaviors. An example highlights limitations of current modeling languages and approaches that hinder prediction of emergent behavior, an demonstrates how the application of MP can enhance SoS modeling capability through the following principles: Model component interactions as general rules, orthogonal to the component behavior. Automatically extract possible scenarios (use cases) from descriptions of system behavior. Test system behavior against stakeholder expectations/requirements using scenario inspection and assertion checking. MP provides a new capability for automatically verifying system behaviora early in the lifecycle, 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 to multiple domains.
Showing items related by title, author, creator and subject.
Caffall, Dale Scott (Monterey, California. Naval Postgraduate School, 2005-03);Capturing and realizing the desired system-of-systems behavior in the traditional natural language development documents is a complex issue given that the legacy systems in a system-of-systems exhibit independent behaviors. ...
Auguston, Mikhail; Clifford Whitcomb (2013-09-13);This paper suggests an approach to formal software and systems architecture specification based on behavior models. The behavior of a system is defined as a set of events (event trace) with two basic relations: precedence ...
ARIES : an architectural implementation of a multi-criterion Spatial Decision Support System (SDSS) Falk, Peter R (Monterey, California. Naval Postgraduate School, 1997-09);This thesis describes a component-based methodology for developing a new class of systems called spatial decision support systems (SDSS). The methodology is presented within the context of the development of the ARIES (army ...