Loading...
Please wait, while we are loading the content...
Similar Documents
Static analysis of business artifact-centric operational models (2007)
| Content Provider | CiteSeerX |
|---|---|
| Author | Gerede, Cagdas E. |
| Abstract | Business Artifacts are the core entities used by businesses to record information pertinent to their operations. Business operational models are representations of the processing of business artifacts. Traditional process modeling approaches focus on the actions taken to achieve a certain goal (verb-centric). Business artifact-centric modeling starts by identifying what is acted upon (noun-centric), and constructs business operational models by identifying the tasks/actions that business actors execute to add business value. In this paper, we identify important classes of properties on artifact-centric operational models. In particular, we focus on persistence, uniqueness and arrival properties. To enable a static analysis of these properties, we propose a formal model for artifact-centric operational models. We show that the formal model guarantees persistence and uniqueness. We prove that, while checking an arrival property is undecidable in general, under a restricted version of the formalism, an arrival property can be checked in EXPTIME. 1 |
| File Format | |
| Journal | IEEE Int. Conf. on Service-Oriented Computing and Applications |
| Publisher Date | 2007-01-01 |
| Access Restriction | Open |
| Subject Keyword | Business Value Artifact-centric Operational Model Task Action Arrival Property Business Artifact-centric Operational Model Information Pertinent Core Entity Business Operational Model Traditional Process Construct Business Operational Model Formal Model Guarantee Persistence Business Artifact Certain Goal Restricted Version Approach Focus Business Artifact-centric Modeling Start Business Actor |
| Content Type | Text |
