Modeling and Formally Checking Workflow Properties Using UML and OCL-Reference-Cited by-同舟云学术

Modeling and Formally Checking Workflow Properties Using UML and OCL

Published:2010 Issue: Volume: Page:130-145
ISSN:1865-1348
Container-title:Lecture Notes in Business Information Processing
language:
Short-container-title:

Author:

Brüning Jens,Gogolla Martin,Forbrig Peter

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-16101-8_11

Reference21 articles.

1. Lecture Notes in Computer Science;M. Brambilla,2007

2. Brüning, J., Forbrig, P.: Modellierung von Entscheidungen und Interpretation von Entscheidungsoperatoren in einem WfMS. In: EPK-2009 Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, Berlin, CEUR-WS 554 (2009)

3. Brüning, J., Wolff, A.: Declarative Models for Business Processes and UI Generation using OCL. In: The Pragmatics of OCL and Other Textual Specification Languages 2009, Denver, ECEASST, vol. 24 (2009)

4. Lecture Notes in Computer Science;G. Decker,2008

5. Dumas, M., ter Hofstede, A.: UML Activity Diagrams as a Workflow Specification Language. In: International Conference on the Unified Modeling Language (UML), Toronto (2001)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Validation of Business Process Models through Interactively Enacted Simulation;Proceedings of the 10th International Conference on Subject-Oriented Business Process Management - S-BPM One '18;2018

2. Subject-Oriented Specification of Smart Environments;Proceedings of the 9th Conference on Subject-oriented Business Process Management;2017-03-30

3. A Formal Diagrammatic Approach to Compensable Workflow Modelling;Foundations of Health Information Engineering and Systems;2013