Download as PDF, PPTX
Uploaded byAng Chen
PDF, PPTX520 views
Semantics (requirements) of Business Process
The document discusses the semantics requirements of business process modeling, focusing on workflow patterns, BPEL, and the role of Petri nets. It highlights the advantages and disadvantages of using Petri nets compared to pi-calculus for formal semantics and analysis, as well as the necessity for integrating control-flow and data-flow in business processes. The conclusion proposes a new approach to business process modeling that incorporates both aspects while supporting various workflow patterns.
