A Method for Verifiable and Validatable Business Process Modeling

The authors define an extensible semantical framework for business process modeling notations. Since their definition starts from scratch, it helps to faithfully link the understanding of business processes by analysts and operators, on the process design and management side, by IT technologists and programmers, on the implementation side, and by users, on the application side. They illustrate the framework by a high-level operational definition of the semantics of the BPMN standard of OMG. The definition combines the visual appeal of the graph-based BPMN with the expressive power and simplicity of rule-based modeling and can be applied as well to other business process modeling notations, e.g. UML 2.0 activity diagrams.

Provided by: University of Piraeus Topic: Big Data Date Added: Aug 2008 Format: PDF

Find By Topic