A Rigorous Semantics for BPMN 2.0 Process Diagrams

• Κύριοι συγγραφείς: Kossak, Felix (Συγγραφέας), Illibauer, Christa (Συγγραφέας), Geist, Verena (Συγγραφέας), Kubovy, Jan (Συγγραφέας), Natschläger, Christine (Συγγραφέας), Ziebermayr, Thomas (Συγγραφέας), Kopetzky, Theodorich (Συγγραφέας), Freudenthaler, Bernhard (Συγγραφέας), Schewe, Klaus-Dieter (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2014.
• Θέματα: Computer science.; Management information systems.; Industrial management.; Software engineering.; Application software.; Computer Science.; Software Engineering.; Information Systems Applications (incl. Internet).; Business Process Management.; Computer Appl. in Administrative Data Processing.

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...

Πίνακας περιεχομένων:

• 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.