A Rigorous Semantics for BPMN 2.0 Process Diagrams
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...
Main Authors: | , , , , , , , , |
---|---|
Corporate Author: | |
Format: | Electronic eBook |
Language: | English |
Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2014.
|
Subjects: | |
Online Access: | Full Text via HEAL-Link |
Internet
Full Text via HEAL-LinkΒΚΠ - Πατρα: ALFd
Call Number: |
330.01 BAU |
---|---|
Copy 1 | Available |
ΒΚΠ - Πατρα: BSC
Call Number: |
330.01 BAU |
---|---|
Copy 2 | Available |
Copy 3 | Available |