Modeling and Verifying Business Processes with Monterey Phoenix
Loading...
Authors
Auguston, Mikhail
Giammarco, Kristin
Baldwin, W. Clifton
Crump, Ji'on
Farah-Stapleton, Monica
Subjects
Monterey Phoenix
behavior modeling
business process modeling
architecture
formal methods
scenario generation
behavior modeling
business process modeling
architecture
formal methods
scenario generation
Advisors
Date of Issue
2015
Date
Publisher
Elsevier
Language
Abstract
Monterey Phoenix (MP) has been designed as a framework for system and software architecture modeling and verification with
focus on modeling the system’s and the environment’s behaviors. With the development of more case studies, advantages in
using MP for business process modeling and analysis applications are beginning to emerge. Models of business processes aim to
capture high level operational activities and decision points of an organization, describing processes ranging from product
lifecycle to government operations. Businesses and governments seeking to make improvements to their processes may model
them for the purpose of seeking improvements in schedule and task execution, product quality, risk reduction, and lifecycle /
operating costs. MP enables activities to be modeled as events with two basic relations: precedence and inclusion, making it a
candidate modeling language for business process analysis. By offering high level abstractions for interaction behavior modeling
and separating component behaviors from the component interactions, MP supports a multidimensional picture of concurrent
behaviors, with overlapping threads of process phases and participating actors, including environment behaviors. MP models are
executable and may be used to generate an exhaustive set of possible business process scenarios up to a given scope limit.
Type
Article
Description
The article of record as published may be found at http://dx.doi.org/10.1016/j.procs.2015.03.055
Series/Report No
Department
Computer Science (CS)
Organization
Naval Postgraduate School (U.S.)
Identifiers
NPS Report Number
Sponsors
Funder
Format
9 p.
Citation
Auguston, Mikhail, et al. "Modeling and verifying business processes with Monterey Phoenix." Procedia Computer Science 44 (2015): 345-353.
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.
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.
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.