Identifying Decision Patterns Using Monterey Phoenix

2017 12TH SYSTEM OF SYSTEMS ENGINEERING CONFERENCE (SOSE)(2017)

引用 6|浏览12
暂无评分
摘要
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.
更多
查看译文
关键词
behavior patterns, pattern classification, model checking, system of systems, lightweight formal methods, small scope hypothesis
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要