Semantics and analysis of business process models in BPMN
Top Cited Papers
- 30 November 2008
- journal article
- Published by Elsevier BV in Information and Software Technology
- Vol. 50 (12), 1281-1294
- https://doi.org/10.1016/j.infsof.2008.02.006
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- A Process Semantics for BPMNLecture Notes in Computer Science, 2008
- Formal semantics and analysis of control flow in WS-BPELScience of Computer Programming, 2007
- Automatic workflow verification and generationTheoretical Computer Science, 2006
- YAWL: yet another workflow languageInformation Systems, 2005
- Fundamentals of control flow in workflowsActa Informatica, 2003
- Workflow PatternsDistributed and Parallel Databases, 2003
- Verification Of Workflow Task Structures: A Petri-net-baset ApproachInformation Systems, 2000
- Formalization and verification of event-driven process chainsInformation and Software Technology, 1999