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.
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Showing items related by title, author, creator and subject.
Caffall, Dale Scott (Monterey, California. Naval Postgraduate School, 2005);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 ...
Achieving Better Buying Power for Mobile Open Architecture Software Systems through Diverse Acquisition Scenarios Scacchi, Walt; Alspaugh, Thomas A. (Monterey, California. Naval Postgraduate School, 2017-05); UCI-AM-17-041This research seeks to identify, track, and analyze software component costs and cost reduction opportunities within diverse acquisition life cycle scenarios for open architecture systems accommodating Web-based and mobile ...