The authors are experienced industrial researchers in the field of computer science and software engineering, with experience in business process modelling and formal methods in particular. They have been working in a common team at the Software Competence Center Hagenberg (SCCH) in Austria.

"The book will interest researchers and even practitioners in the consultancy business who work in the field of business process management and modeling and workflow definition. It is worth studying for those who look for more accurate, usable, and user-friendly solutions for defining automated workflows and business processes." (Balint Molnar, Computing Reviews, November, 2016)

• 1 Introduction.- 2 Deontic Process Diagrams.- 3 A Layered Approach for Actor Modelling.- 4 A Typed Approach to User Interaction Modelling.- 5 An Enhanced Communication Concept.- 6 Horizontal Model Integration.- 7 Formal Specification of the eP 2 Architecture.- 8 Summary and Outlook.- A List of Acronyms.- Index.

The authors are experienced industrial researchers in the field of computer science and software engineering, with experience in business process modelling and formal methods in particular. They have been working in a common team at the Software Competence Center Hagenberg (SCCH) in Austria.

"The book will interest researchers and even practitioners in the consultancy business who work in the field of business process management and modeling and workflow definition. It is worth studying for those who look for more accurate, usable, and user-friendly solutions for defining automated workflows and business processes." (Balint Molnar, Computing Reviews, November, 2016)

• 1 Introduction.- 2 Deontic Process Diagrams.- 3 A Layered Approach for Actor Modelling.- 4 A Typed Approach to User Interaction Modelling.- 5 An Enhanced Communication Concept.- 6 Horizontal Model Integration.- 7 Formal Specification of the eP 2 Architecture.- 8 Summary and Outlook.- A List of Acronyms.- Index.

The authors are experienced industrial researchers in the field of computer science and software engineering, with experience in business process modelling and formal methods in particular. They have been working in a common team at the Software Competence Center Hagenberg (SCCH) in Austria.

"The book will interest researchers and even practitioners in the consultancy business who work in the field of business process management and modeling and workflow definition. It is worth studying for those who look for more accurate, usable, and user-friendly solutions for defining automated workflows and business processes." (Balint Molnar, Computing Reviews, November, 2016)

• 1 Introduction.- 2 Deontic Process Diagrams.- 3 A Layered Approach for Actor Modelling.- 4 A Typed Approach to User Interaction Modelling.- 5 An Enhanced Communication Concept.- 6 Horizontal Model Integration.- 7 Formal Specification of the eP 2 Architecture.- 8 Summary and Outlook.- A List of Acronyms.- Index.