教师个人信息
- 姓名
- Klaus-Dieter Schewe 浙江大学教师主页
- 学院
- ZJUI
- 研究方向
-
精密解法、逻辑和语义,数据和知识库理论,分布式和混合系统
- 成果类型
- 图书
出版物信息
- 图书作者
- 出版社
-
Springer
- P-ISBN
-
9783319808253
- E-ISBN
-
9783319304960
- 摘要
-
Based on a purified Business Process Model and Notation (BPMN) variant, the authors present proposals for several important issues in BPM that have not been adequately considered in the BPMN 2.0 standard. It focusses on modality as well as actor and user interaction modelling and offers an enhanced communication concept. In order to render models executable, the semantics of the modelling language needs to be described rigorously enough to prevent deviating interpretations by different tools. For this reason, the semantics of the necessary concepts introduced in this book are defined using the Abstract State Machine (ASM) method. Finally, the authors show how the different parts of the model fit together using a simple example process, and introduce the enhanced Process Platform (eP2) architecture, which binds all the different components together. The resulting method is named Hagenberg Business Process Modelling (H-BPM) after the Austrian village where it was designed.
- DOI
- https://doi.org/10.1007/978-3-319-30496-0
纸电馆藏信息
- 数据库
-
Springer
- 电子图书链接