Show simple item record

dc.contributor.authorGiammarco, Kristin
dc.contributor.authorAuguston, Mikhail
dc.date.accessioned2014-01-29T18:50:07Z
dc.date.available2014-01-29T18:50:07Z
dc.date.issued2013
dc.identifier.citationProcedia Computer Science, 20, (2013), pp. 277-282
dc.identifier.urihttp://hdl.handle.net/10945/38490
dc.descriptionhttp://dx.doi.org/10.1016/j.procs.2013.09.273en_US
dc.description.abstractThis 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.en_US
dc.publisherElsevieren_US
dc.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.en_US
dc.titleWell, you didn't say NOT to! A formal systems engineering approach to teaching an unruly architecture good behavioren_US
dc.typeArticleen_US
dc.contributor.corporateNaval Postgraduate School
dc.contributor.departmentComputer Science
dc.contributor.departmentSystems Engineering
dc.subject.authorarchitectureen_US
dc.subject.authorformal methodsen_US
dc.subject.authorscenario generationen_US
dc.subject.authorsystem of systemsen_US
dc.subject.authorcomplex systemsen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record