.png){kind=icon}
返回
Formal methods in object oriented business modelling
.png){kind=icon}
PRE
AI
DOI：10.1016/S0164-1212(99)00043-6.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Most of BPR methodologies lack the formal underpining to ensure the logical consistency of their business models. Agent Relationship Morphism Analysis (ARMA) is a BPR methodology in which modelling of the business environment is achieved with the use of three perspectives: the structural, behavioural and process. A technique called Agent Relationship Modeling (ARM) has been developed for modelling the structural perspective. The more dynamic organizational concepts are described in the behavioural and process perspectives. These perspectives are modeled in a technique called Agent/Object Lifecycles (ALCs/OLCs). In this paper we present the application of ARMA in a petrochemical industry. The conceptual part of ARMA allowed us to articulate our ideas by creating an informal model of the situation. Then a formal model was developed that enforced rigour to the modelling exercise introducing the concept of business rules in agent and object classes. Finally, we present the verification of the ARM and ALC/OLC models in order to secure that the resulting formal models are logically consistent. (C) 1999 Elsevier Science Inc. All rights reserved.
Keyword:
formal methods
business modelling
verification
implementation
process redesign
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.1
论文数:
5.4K
被引数:
8.4K
机构
暂无机构信息
引用论文
.png){kind=icon}
Mutation of oppF gene in the Mycoplasma synoviae MS-H vaccine strain and its implication for differential serological responses to vaccination versus field challengeMycoplasma synoviae MS-H疫苗株中oppF基因的突变及其对疫苗接种与田间挑战诱导的血清学反应差异的启示
PREAI
分享收藏分享收藏
查看更多内容