History-based joins: Semantics, soundness and implementation

Data and Knowledge Engineering

Volumn 64, Issue 1, 2008, Pages 24-37

  van Hee, Kees ^a   Oanea, Olivia ^a   Serebrenik, Alexander ^a   Sidorova, Natalia ^a   Voorhoeve, Marc ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Business process modeling and analysis; Formal models in business process management; Process patterns; Process verification and validation; Workflow management systems

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; COMPUTER SIMULATION; CONTROL SYSTEMS;

BUSINESS PROCESS MODELING AND ANALYSIS; FORMAL MODELS IN BUSINESS PROCESS MANAGEMENT; PROCESS PATTERNS; PROCESS VERIFICATION AND VALIDATION; WORKFLOW MANAGEMENT SYSTEMS;

SEMANTICS;

EID: 36048991468     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2007.06.005     Document Type: Article

References (25)

1. Yasper, Petri net editor, www.yasper.org.
2. Yasper workflow engine (YasperWE), www.yasper.org/we.
3. van der Aalst W.M.P., and van Hee K. Workflow Management: Models, Methods, and Systems (2002), MIT Press
4. van der Aalst W.M.P., and ter Hofstede A.H.M. YAWL: yet another workflow language. Inform. Syst. 30 4 (2005) 245-275
5. van der Aalst W.M.P., ter Hofstede A.H.M., Kiepuszewski B., and Barros A.P. Workflow patterns. Distribut. Parallel Databases 14 1 (2003) 5-51
6. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, S. Weerawarana, Business process execution language for web services, version 1.1, 2003, Available from: .
7. P. Chrzastowski-Wachtel, B. Benatallah, R. Hamadi, M. O'Dell, A. Susanto, A top-down petri net-based approach for dynamic workflow modeling, in: Business Process Management, Lecture Notes in Computer Science, vol. 2678, 2003, pp. 336-353.
8. Dumas M., and ter Hofstede A.H.M. UML activity diagrams as a workflow specification language. In: Gogolla M., and Kobryn C. (Eds). UML. Lecture Notes in Computer Science vol. 2185 (2001), Springer 76-90
9. Genrich H.J., and Lautenbach K. System modelling with high-level Petri nets. Theor. Comput. Sci. 13 1 (1981) 109-136
10. K. van Hee, O. Oanea, R. Post, L. Somers, J.M. van der Werf, Yasper: a tool for workflow modeling and analysis, in: Proceedings of the 5th International Conference on Application of Concurrency to System Design (ACSD 2006), 2006, pp. 279-282.
11. van Hee K., Oanea O., Serebrenik A., Sidorova N., and Voorhoeve M. LogLogics: a logic for history-dependent business processes. Sci. Comput. Program. 65 1 (2007) 30-40
12. van Hee K., Oanea O., and Sidorova N. Colored Petri nets to verify extended event-driven process chains. OTM Conferences (1). Lecture Notes in Computer Science vol. 3760 (2005), Springer 183-201
13. K. van Hee, R. Post, L. Somers, Yet another smart process editor, in: Proceedings of European Simulation and Modelling Conference (ESM 2005), EUROSIS, Porto, Portugal, 2005.
14. K. van Hee, A. Serebrenik, N. Sidorova, M. Voorhoeve, Soundness of resource-constrained workflow nets, in: Proceedings of ICATPN'2004, vol. 3536 of LNCS, 2004, pp. 250-267.
15. K. van Hee, N. Sidorova, M. Voorhoeve, Soundness and separability of workflow nets in the stepwise refinement approach, in: Proceedings of ICATPN'2003, vol. 2679 of LNCS, 2003, pp. 337-356.
16. Hoare C.A.R. Communicating sequential processes. Commun. ACM 21 8 (1978) 666-677
17. Jensen K. Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical (1992), Springer-Verlag
18. Kindler E. On the semantics of EPCs: resolving the vicious circle. Data Knowledge Eng. 56 1 (2006) 23-40
19. R. Liu, A. Kumar, An analysis and taxonomy of unstructured workflows, in: Business Process Management, Lecture Notes in Computer Science, vol. 3649, 2005, pp. 268-284.
20. Milner R. A Calculus of Communicating Systems (1982), Springer-Verlag, New York, Inc., Secaucus, NJ, USA
21. Milner R. Communicating and Mobile Systems: The Pi Calculus (1999), Cambridge University Press
22. Ouyang C., Verbeek E., van der Aalst W., Breutel S., Dumas M., and ter Hofstede A.H.M. WofBPEL: a tool for automated analysis of BPEL processes. ICSOC. Lecture Notes in Computer Science vol. 3826 (2005), Springer 484-489
23. P. Rittgen, Modified EPCs and their formal semantics, 1999.
24. S.A. White, Workflow patterns with BPMN and UML, Technical report, IBM, 2004. Available from: http://www.bpmn.org/Documents/Notations.
25. Wynn M.T., Edmond D., van der Aalst W.M.P., and ter Hofstede A. Achieving a general, formal and decidable approach to the OR-join in workflow using reset nets. Proceedings of ATPN. Lecture Notes in Computer Science vol. 3536 (2005), Springer 423-443