.png){kind=icon}
Return
Formal methods in object oriented business modelling
.png){kind=icon}
PRE
AI
DOI：10.1016/S0164-1212(99)00043-6.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
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.
Keywords:
formal methods
business modelling
verification
implementation
process redesign
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
4.1
Papers:
5.5K
Citations:
8.4K
Organization
No organization information available
Cited Papers
.png){kind=icon}
ShareSave
ShareSaveShareSaveShareSaveShareSave
View more