Verification of model transformations: A case study with BPEL

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

Volumn 4661 LNCS, Issue , 2007, Pages 183-199

  Baresi, Luciano ^a   Ehrig, Karsten ^b   Heckel, Reiko ^b  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; GRAPH THEORY; MATHEMATICAL MODELS; SEMANTICS; VERIFICATION;

ABSTRACT INTERPRETERS; MODEL TRANSFORMATIONS;

MATHEMATICAL TRANSFORMATIONS;

EID: 38149121413     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75336-0_12     Document Type: Conference Paper

References (23)

1. Alonso, G., Fiedler, U., Hagen, C., Lazcano, A., Schuldt, H., Weiler, N.: WISE: Business to business e-commerce. In: RIDE, pp. 132-139 (1999)
2. 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)
3. Baresi, L., Maurino, A., Modafferi, S.: Workflow partitioning in mobile information systems. In: Kluwer, editor. In: Proc. of IFIP TC8 Working Conference on Mobile Information Systems. IFIP International Federation for Information Processing, vol. 158 (2004)
4. Baresi, L., Maurino, A., Modafferi, S.: Partitioning rules for bpel processes. Technical report, Politecnico di Milano. In preparation (2006)
5. 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)
6. 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
7. Eder, J., Panagos, E.: Towards distributed workflow process management. In: proc. of Workshop on cross-Organizational Workflow Management and Coordination, San Francisco, USA (1999)
8. 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'05). Electronic Notes in Theoretical Computer Science, vol. 152, Elsevier Science, Tallinn, Estonia (2005)
9. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (2006)
10. Engels, G., Heckel, R., Sauer, St.: Dynamic meta modeling: A graphical approach to operational semantics. In: Proc. OOPSLA'99 Workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations, Denver, CO, USA (November 2, 1999)
11. Gardner, T., al.: Draft UML 1.4 profile for automated business processes with a mapping to the BPEL 1.0. IBM alphaWorks (2003)
12. 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)
13. 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/
14. Jablonski, S., Bussler, C.: Workflow Management: Modeling Concepts, Architecture and Implementation. International Thomson (1996)
15. 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)
16. Judge, D., Odgers, B., Shepherdson, J., Cui, Z.: Agent enhanced workflow. BT Technical Journal (16) (1998)
17. 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)
18. Mohan, C., Alonso, G., Gunthor, R., Kamath, M.: Exotica: A research perspective of workflow management systems. Data Engineering Bulletin 18(1), 19-26 (1995)
19. 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)
20. Reichert, M., Dadam, P.: Adeptflex - supporting dynamic changes of workflows without losing control. Journal of Intelligent Information Systems 10(2), 93-129 (1998)
21. Riempp, G.: Wide Area Workflow Management. Springer, London, UK (1998)
22. 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)
23. Technical University of Berlin, Department of Computer Science. AGG Version 1.4.1 - (2006), http://tfs.cs.tu-berlin.de/agg