Ktl-icon-tai-lieu

Business Process Management

Được đăng lên bởi Hà Ngọc Long
Số trang: 45 trang   |   Lượt xem: 691 lần   |   Lượt tải: 0 lần
BPMN Core Modeling Concepts:
Inheritance-Based Execution Semantics
Egon B¨orger and Ove S¨orensen

Abstract We define an abstract model for the dynamic semantics of the core process
modeling concepts in the OMG standard for BPMN 2.0. The UML class diagrams
associated therein with each flow element are extended with a rigorous behavior definition, which reflects the inheritance hierarchy structure by refinement steps. The
correctness of the resulting precise algorithmic model for an execution semantics
for BPMN can be checked by comparing the model directly with the verbal explanations in [OmgBpmn(2009)]. Thus, the model can be used to test reference implementations and to verify properties of interest for (classes of) BPMN diagrams.1

1 Introduction
The Business Process Modeling Notation (BPMN) is standardized by the Object
Management Group (OMG). We explain here its main modeling concepts with a focus on the behavioral meaning of processes, based upon the currently (March 2010)
available OMG document [OmgBpmn(2009)], abbreviated op.cit. As a distinctive
feature we adapt a stepwise refinement technique to follow the successive detailing
of the BPMN execution semantics along the inheritance hierarchy in op.cit.
We associate with each UML class diagram defined in op.cit. for the syntax of
behavioral BPMN elements a description of their behavior. These descriptions make
Egon B¨orger
Visiting ETH Z¨urich, hosted by the Chair for Information Security, on sabbatical leave from Computer Science Department, University of Pisa, Italy, e-mail: boerger@di.unipi.it
Ove S¨orensen
Institut f¨ur Informatik, Christian-Albrechts-Universit¨at zu Kiel, Olshausenstraße 40, D-24098 Kiel,
Germany, e-mail: ove@is.informatik.uni-kiel.de
1

The work of the first author has been partially supported by a Research Award from the Alexander von Humboldt Foundation (Humboldt Forschungspreis) and partially supported by the Italian
Government under the project PRIN 2007 D-ASAP (2007XKEHFA).

1

2

Egon B¨orger and Ove S¨orensen

the natural language formulations in the standard document precise at the minimal
level of rigour needed to faithfully capture a common understanding of business
processes by business analysts and operators, information technology specialists
and users (suppliers and customers). Such a common understanding, which must
not be obfuscated by mere formalization features, is crucial to faithfully link the
three different views of business processes by designers, imple...
BPMN Core Modeling Concepts:
Inheritance-Based Execution Semantics
Egon B
¨
orger and Ove S
¨
orensen
Abstract We define an abstract model for the dynamic semantics of the core process
modeling concepts in the OMG standard for BPMN 2.0. The UML class diagrams
associated therein with each flow element are extended with a rigorous behavior def-
inition, which reflects the inheritance hierarchy structure by refinement steps. The
correctness of the resulting precise algorithmic model for an execution semantics
for BPMN can be checked by comparing the model directly with the verbal expla-
nations in [OmgBpmn(2009)]. Thus, the model can be used to test reference imple-
mentations and to verify properties of interest for (classes of) BPMN diagrams.
1
1 Introduction
The Business Process Modeling Notation (BPMN) is standardized by the Object
Management Group (OMG). We explain here its main modeling concepts with a fo-
cus on the behavioral meaning of processes, based upon the currently (March 2010)
available OMG document [OmgBpmn(2009)], abbreviated op.cit. As a distinctive
feature we adapt a stepwise refinement technique to follow the successive detailing
of the BPMN execution semantics along the inheritance hierarchy in op.cit.
We associate with each UML class diagram defined in op.cit. for the syntax of
behavioral BPMN elements a description of their behavior. These descriptions make
Egon B
¨
orger
Visiting ETH Z
¨
urich, hosted by the Chair for Information Security, on sabbatical leave from Com-
puter Science Department, University of Pisa, Italy, e-mail: boerger@di.unipi.it
Ove S
¨
orensen
Institut f
¨
ur Informatik, Christian-Albrechts-Universit
¨
at zu Kiel, Olshausenstraße 40, D-24098 Kiel,
Germany, e-mail: ove@is.informatik.uni-kiel.de
1
The work of the first author has been partially supported by a Research Award from the Alexan-
der von Humboldt Foundation (Humboldt Forschungspreis) and partially supported by the Italian
Government under the project PRIN 2007 D-ASAP (2007XKEHFA).
1
Business Process Management - Trang 2
Để xem tài liệu đầy đủ. Xin vui lòng
Business Process Management - Người đăng: Hà Ngọc Long
5 Tài liệu rất hay! Được đăng lên bởi - 1 giờ trước Đúng là cái mình đang tìm. Rất hay và bổ ích. Cảm ơn bạn!
45 Vietnamese
Business Process Management 9 10 852