HOME > 상세정보

상세정보

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

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

자료유형
E-Book(소장)
개인저자
Kossak, Felix.
서명 / 저자사항
A rigorous semantics for BPMN 2.0 process diagrams [electronic resource] / Felix Kossak ... [et al.].
발행사항
Cham :   Springer International Publishing :   Imprint: Springer,   2014.  
형태사항
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.
일반주기
Title from e-Book title page.  
내용주기
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.
서지주기
Includes bibliographical references and index.
이용가능한 다른형태자료
Issued also as a book.  
일반주제명
Semantic computing. Management information systems. Business --Data processing. Software engineering.
바로가기
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(소장)

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/e-Book 컬렉션/ 청구기호 CR 006 등록번호 E14032755 도서상태 대출불가(열람가능) 반납예정일 예약 서비스 M

관련분야 신착자료

National Academies of Sciences, Engineering, and Medicine (U.S.) (2020)
Cartwright, Hugh M. (2021)
한국소프트웨어기술인협회. 빅데이터전략연구소 (2021)