Identifying Decision Patterns Using Monterey Phoenix
Loading...
Authors
Quartuccio, John
Giammarco, Kristin
Auguston, Mikhail
Subjects
behavior patterns
pattern classification
model checking
system of systems
lightweight formal methods
small scope hypothesis
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.