Combining quality assurance and model transformations in business-driven development

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

Volumn 5088 LNCS, Issue , 2008, Pages 1-16

  Koehler, Jana ^a   Gschwind, Thomas ^a   Küster, Jochen ^a   Pautasso, Cesare ^a   Ryndina, Ksenia ^a   Vanhatalo, Jussi ^a   Völzer, Hagen ^a  

^a IBM RESEARCH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; INFORMATION SERVICES; QUALITY ASSURANCE; SEMANTICS;

BUSINESS PROCESS; BUSINESS PROCESS MODEL; BUSINESS REQUIREMENT; MODEL TRANSFORMATION; PROCESS MODELING; REFACTORINGS; SEMANTIC GAP; TEXTUAL NOTATION;

SERVICE ORIENTED ARCHITECTURE (SOA);

EID: 57049120897     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89020-1_1     Document Type: Conference Paper

References (34)

1. Newcomer, E., Lomow, G.: Understanding SOA with Web Services. Addison Wesley, Reading (2005)
2. Mitra, T.: Business-driven development. IBM developerWorks article. IBM (2005), http://www.ibm.com/developerworks/webservices/library/ws-bdd
3. Koehler, J., Hauser, R., Küster, J., Ryndina, K., Vanhatalo, J., Wahler, M.: The role of visual modeling and model transformations in business-driven development. In: Proceedings of the 5th International Workshop on Graph Transformation and Visual Modeling Techniques, pp. 1-12. Elsevier, Amsterdam (2006)
4. Brahe, S., Bordbar, B.: A Pattern-based Approach to Business Process Modeling and Implementation in Web Services. In: Proceedings of Workshop Modeling the SOA - Business perspective and model mapping, in conjunction with ICSOC (2006)
5. Christensen, E., Curbera, R. Meredith, G., Weerawarana, S.: Web services description language (WSDL) (2001), http://www.w3.org/TR/wsdl
6. Jordan, D., et al.: Web services business process execution language (WSBPEL) 2.0 (2007), http://www.oasis-open.org/committees/wsbpel/
7. IBM: WebSphere Business Modeler, http://www.ibm.com/software/integration/ wbimodeler
8. Object Management Group: Model driven architecture (2001), http://www.omg.org/mda
9. Mens, T., van Gorp, P., Karsai, G., Varro, D.: Applying a model transformation taxonomy to graph transformation technology. In: Karsai, G., Taentzer, G. (eds.) GraMot 2005, International Workshop on Graph and Model Transformations. ENTCS, vol. 152, pp. 143-159. Elsevier, Amsterdam (2006)
10. Mens, T., Gorp, P.V.: A Taxonomy of Model Transformation. Electr. Notes Theor. Comput. Sci. 152, 125-142 (2006)
11. Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal, special issue on Model-Driven Software Development 45(3), 621-645 (2006)
12. Biermann. E., Ehrig, K., Köhler, C., Kuhns, G., Taentzer, G., Weiss, E.: Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199. pp. 425-439. Springer, Heidelberg (2006)
13. Ermel, C., Rudolf, M., Taentzer, G.: The AGG-Approach: Language and Tool Environment. In: Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg. G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol. 2, pp. 551-603. World Scientific, Singapore (1999)
14. Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128-138. Springer, Heidelberg (2006)
15. Mens, T.: On the use of graph transformations for model refactoring. In: 2005 Summer School on Generative and Transformational Techniques in Software Engineering, Braga, Portugal, Departamento Informatica, Universidade do Minho, Braga, Portugal, Technical Report TR-CCTC/DI-35, 67-98 (2005)
16. Stürmer, I., Kreuz, I., Schäfer, W., Schurr, A.: Enhanced simulink/stateflow model transformation: The mate approach. In: Proceedings of MathWorks Automotive Conference (MAC 2007), MathWorks (2007)
17. Balogh, A., Németh, A., Schmidt, A., Rath, I., Vagó, D., Varró, D., Patarieza, A.: The VIA-TRA2 model transformation framework. In: ECMDA 2005 - Tools Track (2005)
18. Karsai, G., Agrawal, A., Shi, F., Sprinkle, J.: On the Use of Graph Transformation in the Formal Specification of Model Interpreters. Journal of Universal Computer Science 9(11), 1296-1321 (2003)
19. 3: A Tool for Multi-Formalism and Meta-Modelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 174-188. Springer, Heidelberg (2002)
20. Braun, P., Marschall, F.: BOTL - The Bidirectional Objekt Oriented Transformation Language. Technical report, Fakultät für Informatik, Technische Universität München, Technical Report TUM-I0307 (2003)
21. nd International Conference on Software Engineering (ICSE), Limerick, Ireland, pp. 742-745. ACM Press, New York (2000)
22. Akehurst, D.H., Bordbar, B., Evans, M.J., Howells, W.G.J., McDonald-Maier, K.D.: SiTra: Simple Transformations in Java. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 351-364. Springer, Heidelberg (2006)
23. Object Management Group (OMG): Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification. Final Adopted Specification ptc/05-11-01 (2005)
24. Varró, D.: Model Transformation by Example. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 410-424. Springer, Heidelberg (2006)
25. Küster, J.M.: Definition and validation of model transformations. Software and Systems Modeling (SoSyM) 5(3), 233-259 (2006)
26. Varró, D., Varró-Gyapay, S., Ehrig, H., Prange, U., Taentzer, G.: Termination Analysis of Model Transformations by Petri Nets. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 260-274. Springer, Heidelberg (2006)
27. Küster, J.M., Abd-El-Razik, M.: Validation of Model Transformations - First Experiences Using a White Box Approach. In: Kühne, T. (ed.) MoDELS 2006. LNCS, vol. 4364, pp. 193-204. Springer, Heidelberg (2007)
28. Koehler, J., Vanhatalo, J.: Process anti-patterns: How to avoid the common traps of business process modeling, part 1 modeling control flow, part 2 modeling data flow. IBM WebSphere Developer Technical Journal 10(2), 10(4) (2007)
29. Giese. H., Wagner, R.: Incremental Model Synchronization with Triple Graph Grammars. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 543-557. Springer, Heidelberg (2006)
30. van der Aalst, W.M.P.: Workflow verification: Finding control-flow errors using Petri-net-based techniques. In: Business Process Management, Models, Techniques, and Empirical Studies, London, UK, pp. 161-183. Springer, Heidelberg (2000)
31. Mendling, J., Moser, M., Neumann, G., Verbeek, H.M.W., Dongen, B.F., van der Aalst, W.M.P.: Faulty EPCs in the SAP reference model. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 451-457. Springer, Heidelberg (2006)
32. Vanhatalo, J., Völzer, H., Leymann, F.: Faster and More Focused Control-Flow Analysis for Business Process Models though SESE Decomposition. In: 5th International Conference on Service-Oriented Computing (ICSOC), Vienna, Austria (September 2007) (to appear)
33. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1994)
34. Koehler, J., Häuser, R., Sendall, S., Wahler, M.: Declarative techniques for model-driven business process integration. IBM Systems Journal 44(1), 47-65 (2005)