Abstract
Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture, these actions are mapped to existing IT (web) services, which are then to be executed in the order specified by the business process. However, the execution of a web service can require certain preconditions to be fulfilled. These might not hold at the time of execution specified in the business process model: it can be inconsistent with the web service specification.
In this paper we propose a technique for checking consistency of process models with web service specifications. To this end, both are equipped with a formal semantics (in terms of graph transformations). We show how to use an existing model checker for graph transformation systems to carry out the consistency check.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Newcomer, E., Lomow, G.: Understanding SOA with Web Services. Addison-Wesley, Reading (2004)
van der Aalst, W., Hofstede, A.: YAWL: Yet Another Workflow Language. Technical report, Queensland University of Technology, Brisbane (2002)
Keller, G., Nüttgens, M., Scheer, A.W.: Semantische Prozessmodellierung auf der Grundlage Ereignisgesteuerter Prozessketten (EPK). Technical Report 1989, Institut für Wirtschaftsinformatik, Universität des Saarlandes (1992)
Andrews, T., et al.: Business Process Execution Language for Web Services version 1.1 (2003)
Dumas, M., Hofstede, A.: UML Activity Diagrams as a Workflow Specification Language. In: UML 2001: Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, London, UK, pp. 76–90. Springer, Heidelberg (2001)
Object Management Group: UML Specification V2.1.1 (2007), http://www.omg.org/cgi-bin/doc?formal/07-02-05
Lohmann, M.: Kontraktbasierte Modellierung, Implementierung und Suche von Komponenten in serviceorientierten Architekturen. PhD thesis, University of Paderborn (2006)
Hausmann, J.H.: Dynamic Meta Modeling. PhD thesis, University of Paderborn (2005)
Meyer, B.: Applying design by contract. IEEE Computer 25(10), 40–51 (1992)
Rensink, A.: The GROOVE Simulator: A Tool for State Space Generation.. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 479–485. Springer, Heidelberg (2004)
Corradini, A., Ehrig, H., Löwe, M., Montanari, U., Padberg, J.: The Category of Typed Graph Grammars and its Adjunctions with Categories. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol. 1073, pp. 56–74. Springer, Heidelberg (1996)
van der Aalst, W., van Hee, K.: Workflow Management – Models, Methods, and Systems. MIT Press, Cambridge (2002)
van der Aalst, W.: Verification of Workflow Nets. In: ICATPN 1997: Proceedings of the 18th International Conference on Application and Theory of Petri Nets, London, UK, pp. 407–426. Springer, Heidelberg (1997)
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)
Chinnici, R., Moreau, J.J., Ryman, A., Weerawarana, S.: Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language (2007), http://www.w3.org/TR/wsdl20/
Engels, G., Güldali, B., Lohmann, M., Juwig, O., Richter, J.P.: Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen. In: Biel, B., Book, M., Gruhn, V. (eds.) Software Engineering, GI. LNI, vol. 79, pp. 111–122 (2006)
Heckel, R., Ehrig, H., Wolter, U., Corradini, A.: Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. APCS (Applied Categorical Structures) 9(1), 83–110 (2001)
Koehler, J., Gschwind, T., Küster, J., Pautasso, C., Ryndina, K., Vanhatalo, J., Völzer, H.: Combining Quality Assurance and Model Transformations in Business-Driven Development. In: Proceedings of third International Symposium AGTIVE 2007, pp. 1–16 (2007) (Selected and Invited Papers)
Eclipse Foundation: The Eclipse project, http://www.eclipse.org/
Lohmann, M., Engels, G., Sauer, S.: Model-driven Monitoring: Generating Assertions from Visual Contracts. In: 21st IEEE/ACM International Conference on Automated Software Engineering (ASE) 2006 Demonstration Session (September 2006)
Baresi, L., Denaro, G., Mainetti, L., Paolini, P.: Assertions to better specify the amazon bug. In: Proc. of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, pp. 585–592 (2002)
Baresi, L., Heckel, R., Thöne, S., Varró, D.: Modeling and validation of service-oriented architectures: application vs. style. In: Proc. of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC / SIGSOFT FSE 2003, pp. 68–77 (2003)
Gönczy, L., Kovács, M., Varró, D.: Modeling and verification of reliable messaging by graph transformation systems. In: Proc. of the Workshop on Graph Transformation for Verification and Concurrency (ICGT 2006). Elsevier, Amsterdam (2006)
Koehler, J., Hauser, R., Sendall, S., Wahler, M.: Declarative techniques for model-driven business process integration. IBM Systems Journal 44(1), 47–66 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Engels, G., Güldali, B., Soltenborn, C., Wehrheim, H. (2008). Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. In: Schürr, A., Nagl, M., Zündorf, A. (eds) Applications of Graph Transformations with Industrial Relevance. AGTIVE 2007. Lecture Notes in Computer Science, vol 5088. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89020-1_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-89020-1_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89019-5
Online ISBN: 978-3-540-89020-1
eBook Packages: Computer ScienceComputer Science (R0)