Abstract
Model transformations, like refinement or refactoring, have to respect the semantics of the models transformed. In the case of behavioural models this semantics can be specified by transformations, too, describing an abstract interpreter for the language. Both kinds of transformations, if given in a rule-based way, can formally be described as graph transformations.
In this paper, we present executable business processes, their operational semantics and refactoring, as an example of this fact. Using results from graph transformation theory about critical pairs and local confluence, we show that our transformations preserve the semantics of processes. The analysis is performed by means of the graph transformation tool AGG.
Work supported in part by the IST-2005-16004 Integrated Project SENSORIA: Software Engineering for Service-Oriented Overlay Computers and by the European Community’s Human Potential Programme under contract HPRN-CT-2002-00275, [SegraVis].
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
Alonso, G., Fiedler, U., Hagen, C., Lazcano, A., Schuldt, H., Weiler, N.: WISE: Business to business e-commerce. In: RIDE, pp. 132–139 (1999)
Anyanwu, K., Sheth, A., Cardoso, J., Miller, J., Kochut, K.: Healthcare enterprise process development and integration. Journal of Research and Practice in Information Technology, 35(2) (2003)
Baresi, L., Maurino, A., Modafferi, S.: Workflow partitioning in mobile information systems. In: Kluwer (ed.) Proc. of IFIP TC8 Working Conference on Mobile Information Systems. IFIP International Federation for Information Processing, vol. 158 (2004)
Baresi, L., Maurino, A., Modafferi, S.: Partitioning rules for bpel processes. Technical report, Politecnico di Milano. In preparation (2006)
Chafle, G.B., Chandra, S., Mann, V., Nanda, M.G.: Decentralized orchestration of composite web services. In: Proc. of the Int. World Wide Web conference on Alternate track papers & posters, pp. 134–143. ACM Press, New York, USA (2004)
Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) version 1.1. W3C (March 2001), http://www.w3.org/TR/wsdl
Eder, J., Panagos, E.: Towards distributed workflow process management. In: proc. of Workshop on cross-Organizational Workflow Management and Coordination, San Francisco, USA (1999)
Ehrig, H., Ehrig, K.: Overview of Formal Concepts for Model Transformations based on Typed Attributed Graph Transformation. In: Proc. International Workshop on Graph and Model Transformation (GraMoT 2005). Electronic Notes in Theoretical Computer Science, vol. 152, Elsevier Science, Tallinn, Estonia (2005)
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (2006)
Engels, G., Heckel, R., Sauer, St.: Dynamic meta modeling: A graphical approach to operational semantics. In: Proc. OOPSLA 1999 Workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations, Denver, CO, USA (November 2, 1999)
Gardner, T., al.: Draft UML 1.4 profile for automated business processes with a mapping to the BPEL 1.0. IBM alphaWorks (2003)
Grefen, P., Aberer, K., Hoffner, Y., Ludwig, H.: Crossflow: Cross-organizational workflow management in dynamic virtual enterprises. International Journal of Computer Systems Science & Engineering 15(5), 277–290 (2000)
IBM, BEA Systems, Microsoft, SAP AG, Siebel Systems. Business Process Execution Language for Web Services version 1.1 (May 2003), http://www.ibm.com/developerworks/library/ws-bpel/
Jablonski, S., Bussler, C.: Workflow Management: Modeling Concepts, Architecture and Implementation. International Thomson (1996)
Jablonski, S., Schamburger, R., Hahn, C., Horn, S., Lay, R., Neeb, J., Schlundt, M.: A comprehensive investigation of distribution in the context of workflow management. In: proc. of International Conference on Parallel and Distributed Systems ICPADS, Kyongju City, Korea (2001)
Judge, D., Odgers, B., Shepherdson, J., Cui, Z.: Agent enhanced workflow. BT Technical Journal (16) (1998)
Lambers, L., Ehrig, H., Orejas, F.: Conflict Detection for Graph Transformation with Negative Application Conditions. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 61–76. Springer, Heidelberg (2006)
Mohan, C., Alonso, G., Gunthor, R., Kamath, M.: Exotica: A research perspective of workflow management systems. Data Engineering Bulletin 18(1), 19–26 (1995)
Muth, P., Wodtke, D., Weisenfels, J., Kotz Dittrich, A., Weikum, G.: From centralized workflow specification to distributed workflow execution. Journal of Intelligent Information Systems 10(2), 159–184 (1998)
Reichert, M., Dadam, P.: Adeptflex − supporting dynamic changes of workflows without losing control. Journal of Intelligent Information Systems 10(2), 93–129 (1998)
Riempp, G.: Wide Area Workflow Management. Springer, London, UK (1998)
Taentzer, G.: AGG: A Graph Transformation Environment for Modeling and Validation of Software. In: Pfaltz, J.L., Nagl, M., Boehlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 446–456. Springer, Heidelberg (2004)
Technical University of Berlin, Department of Computer Science. AGG Version 1.4.1 - (2006), http://tfs.cs.tu-berlin.de/agg
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baresi, L., Ehrig, K., Heckel, R. (2007). Verification of Model Transformations: A Case Study with BPEL. In: Montanari, U., Sannella, D., Bruni, R. (eds) Trustworthy Global Computing. TGC 2006. Lecture Notes in Computer Science, vol 4661. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75336-0_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-75336-0_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75333-9
Online ISBN: 978-3-540-75336-0
eBook Packages: Computer ScienceComputer Science (R0)