Conference
Specifying and Verifying Business Processes Using PPML
Abstract
The Product Process Modeling Language (PPML) is a formal language for the specification of business processes, which has a formal semantics based on timed transition systems. As opposed to other business process modeling languages, PPML puts an emphasis on products (not only processes), allowing the specifier to describe properties of these, and how processes affect them. This facilitates modeling of business processes, and combined with other …
Authors
Regis G; Aguirre N; Maibaum T
Series
Lecture Notes in Computer Science
Volume
5885
Pagination
pp. 737-756
Publisher
Springer Nature
Publication Date
2009
DOI
10.1007/978-3-642-10373-5_38
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743