History-based joins: Semantics, soundness and implementation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4102 LNCS, Issue , 2006, Pages 225-240

  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

COMPUTER SIMULATION; INDUSTRIAL MANAGEMENT; MANAGEMENT INFORMATION SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING; PROCESS ENGINEERING;

BUSINESS PROCESS MANAGEMENT; BUSINESS PROCESS MODELING; FORMAL MODELS; PROCESS VALIDATION; PROCESS VERIFICATION; WORKFLOW MANAGEMENT SYSTEMS;

SEMANTICS;

EID: 33749993500     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841760_16     Document Type: Conference Paper

References (23)

1. Yasper. Petri net editor, www.yasper.org.
2. Yasper workflow engine (YasperWE). www.yasper.org/we.
3. W.M.P. van der Aalst and K. van Hee. Workflow Management: Models, Methods, and Systems. MIT Press, 2002.
4. W.M.P. van der Aalst and A. H. M. ter Hofstede. YAWL: yet another workflow language. Inf. Syst., 30(4):245-275, 2005.
5. W.M.P. van der Aalst, A. H. M. ter Hofstede, B. Kiepuszewski, and A. P. Barros. Workflow patterns. Distributed and Parallel Databases, 14(1):5-51, 2003.
6. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business process execution language for web services, version 1.1, 2003. Available at ftp://www6.software.ibm.com/software/developer/library/ws-bpel.pdf.
7. P. Chrzastowski-Wachtel, B. Benatallah, R. Hamadi, M. O'Dell, and A. Susanto. A top-down petri net-based approach for dynamic workflow modeling. In Business Process Management, volume 2678 of Lecture Notes in Computer Science, pages 336-353, 2003.
8. M. Dumas and A. H. M. ter Hofstede. UML activity diagrams as a workflow specification language. In M. Gogolla and C. Kobryn, editors, UML, volume 2185 of Lecture Notes in Computer Science, pages 76-90. Springer, 2001.
9. H. J. Genrich and K. Lautenbach. System modelling with high-level Petri nets. Theor. Comput. Sci., 13(1):109-136, 1981.
10. K. van Hee, O. Oanea, R. Post, L. Somers, and 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. accepted.
11. K. van Hee, O. Oanea, A. Serebrenik, N. Sidorova, and M. Voorhoeve. Modelling History-Dependent Business Processes. In Proc. of the Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS06), 2006. to appear.
12. K. van Hee, O. Oanea, and N. Sidorova. Colored Petri nets to verify extended event-driven process chains. In OTM Conferences (1), volume 3760 of Lecture Notes in Computer Science, pages 183-201. Springer, 2005.
13. K. van Hee, R. Post, and L. Somers. Yet Another Smart Process Editor. In Proc. of European Simulation and Modelling Conference (ESM 2005), EUROSIS, Porto, Portugal, 2005.
14. K. van Hee, N. Sidorova, and M. Voorhoeve. Soundness and separability of workflow nets in the stepwise refinement approach. In Proc. of ICATPN'2003, volume 2679 of LNCS, pages 337-356, 2003.
15. C. A. R. Hoare. Communicating sequential processes. Commun. ACM, 21(8):666-677, 1978.
16. K. Jensen. Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical. Springer-Verlag, 1992.
17. E. Kindler. On the semantics of EPCs: Resolving the vicious circle. Data Knowl. Eng., 56(1):23-40, 2006.
18. R. Liu and A. Kumar. An analysis and taxonomy of unstructured workflows. In Business Process Management, volume 3649 of Lecture Notes in Computer Science, pages 268-284, 2005.
19. R. Milner. A Calculus of Communicating Systems. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1982.
20. R. Milner. Communicating and Mobile Systems: The Pi Calculus. Cambridge University Press, 1999.
21. C. Ouyang, E. Verbeek, W. van der Aalst, S. Breutel, M. Dumas, and A. H. M. ter Hofstede. WofBPEL: A tool for automated analysis of BPEL processes. In ICSOC, volume 3826 of Lecture Notes in Computer Science, pages 484-489. Springer, 2005.
22. S. A. White. Workflow patterns with BPMN and UML. Technical report, IBM, 2004. Available at: http://www.bprnn.org/Documents/Notations
23. M. T. Wynn, D. Edmond, W. M. P. van der Aalst, and A. ter Hofstede. Achieving a general, formal and decidable approach to the OR-join in workflow using reset nets. In Proc. of ATPN, volume 3536 of Lecture Notes in Computer Science, pages 423-443. Springer, 2005.