Identifying Decision Patterns Using Monterey Phoenix

Loading...
Thumbnail Image
Authors
Quartuccio, John
Giammarco, Kristin
Auguston, Mikhail
Subjects
behavior patterns
pattern classification
model checking
system of systems
lightweight formal methods
small scope hypothesis
Advisors
Date of Issue
2017
Date
Publisher
Language
Abstract
An automated means to identify behavior patterns would enable system developers to gain the benefit of past results in current and future system design. Analysis of decision patterns captures the interactions of human operators, systems, and their interface with the environment. Monterey Phoenix (MP) uses a formal language thereby exploiting the precision of lightweight formal methods as a means to model behaviors across domains, with applicability to the design of systems of systems, operational procedures, communication networks, business processes, and social interaction. This paper illustrates a concept of identifying patterns in a model of a decision process for a surgical procedure and an aviation emergency serving as case analyses. The results support a Bayesian belief network and an analysis of the decision structure. Finding embedded behavior patterns may be used as a means to catalog and classify intrinsic structures or architectures that are useful to system of system developers.
Type
Article
Description
Series/Report No
Department
Systems Engineering (SE)
Computer Science (CS)
Organization
Naval Postgraduate School (U.S.)
Identifiers
NPS Report Number
Sponsors
Funder
Format
6 p.
Citation
Quartuccio, John, Kristin Giammarco, and Mikhail Auguston. "Identifying decision patterns using Monterey Phoenix." System of Systems Engineering Conference (SoSE), 2017 12th. IEEE, 2017.
Distribution Statement
Rights
This 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.
Collections