...
首页> 外文期刊>Procedia Computer Science >Modeling and Verifying Business Processes with Monterey Phoenix
【24h】

Modeling and Verifying Business Processes with Monterey Phoenix

机译:使用Monterey Phoenix建模和验证业务流程

获取原文
           

摘要

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.
机译:Monterey Phoenix(MP)被设计为系统和软件体系结构建模和验证的框架,重点是对系统和环境行为进行建模。随着更多案例研究的发展,使用MP进行业务流程建模和分析应用程序的优势开始显现。业务流程模型旨在捕获组织的高层运营活动和决策点,描述从产品生命周期到政府运营的流程。寻求改进其流程的企业和政府可以对它们进行建模,以寻求进度和任务执行,产品质量,风险降低以及生命周期/运营成本方面的改进。 MP使活动可以被建模为具有两个基本关系的事件:优先级和包含性,使其成为用于业务流程分析的候选建模语言。通过为交互行为建模提供高级抽象并从组件交互中分离组件行为,MP支持并发行为的多维图景,过程阶段和参与者(包括环境行为)的重叠线程。 MP模型是可执行的,并且可以用于生成直至给定范围限制的详尽的可能的业务流程场景集。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号