Rigorous Semantics for BPMN 2.0 Process Diagrams
-15%
portes grátis
Rigorous Semantics for BPMN 2.0 Process Diagrams
Geist, Verena; Freudenthaler, Bernhard; Kossak, Felix; Ziebermayr, Thomas; Schewe, Klaus-Dieter; Kubovy, Jan; Natschlager, Christine; Illibauer, Christa; Kopetzky, Theodorich
Springer International Publishing AG
10/2016
235
Mole
Inglês
9783319385235
15 a 20 dias
This book provides the most complete formal specification of the semantics of the Business Process Model and Notation 2.0 standard (BPMN) 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.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
This book provides the most complete formal specification of the semantics of the Business Process Model and Notation 2.0 standard (BPMN) 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.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
