HOME > Detail View

Detail View

A rigorous semantics for BPMN 2.0 process diagrams [electronic resource]

A rigorous semantics for BPMN 2.0 process diagrams [electronic resource]

Material type
E-Book(소장)
Personal Author
Kossak, Felix.
Title Statement
A rigorous semantics for BPMN 2.0 process diagrams [electronic resource] / Felix Kossak ... [et al.].
Publication, Distribution, etc
Cham :   Springer International Publishing :   Imprint: Springer,   2014.  
Physical Medium
1 online resource (x, 235 p.) : ill.
ISBN
9783319099316
요약
This book provides the most complete formal specification of the semantics of the Business Process Model and Notation  (BPMN) 2.0 standard available to date, in a style that is easily understandable for a wide range of readers – not only for experts in formal methods, but e.g. also for developers of modeling tools, software architects, or graduate students specializing in business process management.   BPMN – issued by the Object Management Group – is a widely used standard for business process modeling. However, major drawbacks of BPMN include its limited support for organizational modeling, its only implicit expression of modalities, and its lack of integrated user interaction and data modeling. Further, in many cases the syntactical and, in particular, semantic definitions of BPMN are inaccurate, incomplete or inconsistent. The book addresses concrete issues concerning the execution semantics of business processes and provides a formal definition of BPMN process diagrams, which can serve as a sound basis for further extensions, i.e., in the form of horizontal refinements of the core language. To this end, the Abstract State Machine (ASM) method is used to formalize the semantics of BPMN. ASMs have demonstrated their value in various domains, e.g. specifying the semantics of programming or modeling languages, verifying the specification of the Java Virtual Machine, or formalizing the ITIL change management process.   This kind of improvement promotes more consistency in the interpretation of comprehensive models, as well as real exchangeability of models between different tools. In the outlook at the end of the book, the authors conclude with proposing extensions that address actor modeling (including an intuitive way to denote permissions and obligations), integration of user-centric views, a refined communication concept, and data integration.
General Note
Title from e-Book title page.  
Content Notes
1 Introduction -- 2 State of the Art -- 3 Modelling Semantics with Abstract State Machines -- 4 A Rigorous Semantics for BPMN 2.0 Process Diagrams -- 5 How the Semantic Model Can Be Used -- 6 A Discussion of BPMN 2.0 -- 7 Towards a Workflow Engine by Stepwise Refinement -- 8 Discussion of the Proposed Specification and Outlook.
Bibliography, Etc. Note
Includes bibliographical references and index.
이용가능한 다른형태자료
Issued also as a book.  
Subject Added Entry-Topical Term
Semantic computing. Management information systems. Business --Data processing. Software engineering.
Short cut
URL
000 00000nam u2200205 a 4500
001 000046046696
005 20200921165125
006 m d
007 cr
008 200916s2014 sz a ob 001 0 eng d
020 ▼a 9783319099316
040 ▼a 211009 ▼c 211009 ▼d 211009
050 4 ▼a QA76.758
082 0 4 ▼a 006 ▼2 23
084 ▼a 006 ▼2 DDCK
090 ▼a 006
245 0 2 ▼a A rigorous semantics for BPMN 2.0 process diagrams ▼h [electronic resource] / ▼c Felix Kossak ... [et al.].
260 ▼a Cham : ▼b Springer International Publishing : ▼b Imprint: Springer, ▼c 2014.
300 ▼a 1 online resource (x, 235 p.) : ▼b ill.
500 ▼a Title from e-Book title page.
504 ▼a Includes bibliographical references and index.
505 0 ▼a 1 Introduction -- 2 State of the Art -- 3 Modelling Semantics with Abstract State Machines -- 4 A Rigorous Semantics for BPMN 2.0 Process Diagrams -- 5 How the Semantic Model Can Be Used -- 6 A Discussion of BPMN 2.0 -- 7 Towards a Workflow Engine by Stepwise Refinement -- 8 Discussion of the Proposed Specification and Outlook.
520 ▼a This book provides the most complete formal specification of the semantics of the Business Process Model and Notation  (BPMN) 2.0 standard available to date, in a style that is easily understandable for a wide range of readers – not only for experts in formal methods, but e.g. also for developers of modeling tools, software architects, or graduate students specializing in business process management.   BPMN – issued by the Object Management Group – is a widely used standard for business process modeling. However, major drawbacks of BPMN include its limited support for organizational modeling, its only implicit expression of modalities, and its lack of integrated user interaction and data modeling. Further, in many cases the syntactical and, in particular, semantic definitions of BPMN are inaccurate, incomplete or inconsistent. The book addresses concrete issues concerning the execution semantics of business processes and provides a formal definition of BPMN process diagrams, which can serve as a sound basis for further extensions, i.e., in the form of horizontal refinements of the core language. To this end, the Abstract State Machine (ASM) method is used to formalize the semantics of BPMN. ASMs have demonstrated their value in various domains, e.g. specifying the semantics of programming or modeling languages, verifying the specification of the Java Virtual Machine, or formalizing the ITIL change management process.   This kind of improvement promotes more consistency in the interpretation of comprehensive models, as well as real exchangeability of models between different tools. In the outlook at the end of the book, the authors conclude with proposing extensions that address actor modeling (including an intuitive way to denote permissions and obligations), integration of user-centric views, a refined communication concept, and data integration.
530 ▼a Issued also as a book.
538 ▼a Mode of access: World Wide Web.
650 0 ▼a Semantic computing.
650 0 ▼a Management information systems.
650 0 ▼a Business ▼x Data processing.
650 0 ▼a Software engineering.
700 1 ▼a Kossak, Felix.
856 4 0 ▼u https://oca.korea.ac.kr/link.n2s?url=http://dx.doi.org/10.1007/978-3-319-09931-6
945 ▼a KLPA
991 ▼a E-Book(소장)

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Main Library/e-Book Collection/ Call Number CR 006 Accession No. E14032755 Availability Loan can not(reference room) Due Date Make a Reservation Service M

New Arrivals Books in Related Fields

Cartwright, Hugh M. (2021)
한국소프트웨어기술인협회. 빅데이터전략연구소 (2021)