Abstract
In this paper, a new metamodel for workflows is described by using UML. The underlying UML class diagram is formally extended with OCL pre- and postconditions for operations and OCL invariants for system states. The metamodel allows the developer to specify processes, activities in processes and temporal relations between them. Known workflow patterns are formally captured in the metamodel and sophisticated temporal relations between activities can be expressed easily. Development of workflow models is explained as well as process instantiation and process execution on the basis of a tool realizing parts of the UML action semantics. Prototypical process execution and animation allows the designer to discover properties of the designed processes and activities in early phases of the development without the need for building a full implementation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Brambilla, M., Cabot, J., Comai, S.: Automatic Generation of Workflow-Extended Domain Models. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 375–389. Springer, Heidelberg (2007)
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)
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)
Decker, G., Overdick, H., Weske, M.: Oryx - An Open Modeling Platform for the BPM Community. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 382–385. Springer, Heidelberg (2008)
Dumas, M., ter Hofstede, A.: UML Activity Diagrams as a Workflow Specification Language. In: International Conference on the Unified Modeling Language (UML), Toronto (2001)
Engels, G., Soltenborn, C., Wehrheim, H.: Analysis of UML Activities Using Dynamic Meta Modeling. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 76–90. Springer, Heidelberg (2007)
Förster, A., Engels, G., Schattkowsky, van der Straeten, R.: Verification of Business Process Quality Constraints Based on Visual Process Patterns. In: TASE’07, Shanghai (2009)
Gogolla, M., Büttner, F., Richters, M.: USE: A UML-Based Specification Environment for Validating UML and OCL. Science of Computer Programming 69, 27–34 (2007)
Hollingsworth, D.: The Workflow Reference Model, WFMC-TC-1003 (1995), http://www.wfmc.org
Kühne, S., Kern, H., Gruhn, V., Laue, R.: Business Process Modelling with Continuous Validation. In: Ardagna, D., et al. (eds.) BPM 2008 Workshops. LNBIP 17, pp. 212–223. Springer, Heidelberg (2008)
OMG Unified Modelling Language (UML) Superstructure Specification Version 2.2 (2009), http://www.omg.org/spec/UML/2.2/Superstructure/PDF/
OMG Object Constraint Language (OCL) Specification Version 2.2 (2010), http://www.omg.org/spec/OCL/2.2/PDF
OMG Workflow Management Facility Version 1.2 (2000), http://www.omg.org/spec/WfMF/1.2/
OMG Business Process Model and Notation (BPMN) Specification Version 2.0, Beta 1 (2009), http://www.omg.org/cgi-bin/doc?dtc/09-08-14
Rosemann, M., zur Muehlen, M.: Evaluation of Workflow Management Systems - a Meta Model Approach. Australian Journal of Information Systems 6(1), 103–116 (1998)
Scheer, A.-W.: Business Process Modeling. Springer, Heidelberg (1999)
Schonenberg, M., Mans, R., Russell, N., Mulyar, N., van der Aalst, W.: Towards a taxonomy of process flexibility (extended version). BPM Center Report BPM-07-11, BPMcenter.org (2007)
ter Hofstede, A., van der Aalst, W.: YAWL: Yet Another Workflow Language. Information Systems 30(4), 245–275 (2005)
van der Aalst, W., ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow Patterns. Distributed and Parallel Databases 14(3), 5–51 (2003)
van der Aalst, W., Pesic, M., Schonenberg, H.: Declarative Workflows Balancing Between Flexibility and Support. Computer Science - Research and Development 23(2), 99–113 (2009)
Weske, M.: Workflow Management Systems: Formal Foundation, Conceptual Design, Implementation Aspects, Postdoctoral Dissertation at University of Münster (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brüning, J., Gogolla, M., Forbrig, P. (2010). Modeling and Formally Checking Workflow Properties Using UML and OCL. In: Forbrig, P., Günther, H. (eds) Perspectives in Business Informatics Research. BIR 2010. Lecture Notes in Business Information Processing, vol 64. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16101-8_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-16101-8_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16100-1
Online ISBN: 978-3-642-16101-8
eBook Packages: Computer ScienceComputer Science (R0)