Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Applications of Graph Transformations with Industrial Relevance

AGTIVE 2007: Applications of Graph Transformations with Industrial Relevance pp 1–16Cite as

Combining Quality Assurance and Model Transformations in Business-Driven Development

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5088))

Abstract

Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usually modeled by combining graphical and textual notations. During business-driven development, business process models are taken to the IT level, where they are implemented in a Service-Oriented Architecture. A major challenge in business-driven development is the semantic gap between models captured at the business and the IT level. Model transformations play a major role in bridging this gap.

This paper presents a transformation framework for IBM WebSphere Business Modeler that enables programmers to quickly develop in-place model transformations, which are then made available to users of this tool. They address various user needs such as quickly correcting modeling errors, refining a process model, or applying a number of refactoring operations. Transformations are combined with quality assurance techniques, which help users to preserve or improve the correctness of their business process models when applying transformations.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Newcomer, E., Lomow, G.: Understanding SOA with Web Services. Addison Wesley, Reading (2005)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  5. Christensen, E., Curbera, F., 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., Varró, 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)

    Google Scholar 

  10. Mens, T., Gorp, P.V.: A Taxonomy of Model Transformation. Electr. Notes Theor. Comput. Sci. 152, 125–142 (2006)

    Article  Google Scholar 

  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)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  16. Stürmer, I., Kreuz, I., Schäfer, W., Schürr, A.: Enhanced simulink/stateflow model transformation: The mate approach. In: Proceedings of MathWorks Automotive Conference (MAC 2007), MathWorks (2007)

    Google Scholar 

  17. Balogh, A., Németh, A., Schmidt, A., Rath, I., Vágó, D., Varró, D., Pataricza, A.: The VIATRA2 model transformation framework. In: ECMDA 2005 – Tools Track (2005)

    Google Scholar 

  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)

    Google Scholar 

  19. de Lara, J., Vangheluwe, H.: AToM 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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  21. Nickel, U., Niere, J., Zündorf, A.: Tool demonstration: The FUJABA environment. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland, pp. 742–745. ACM Press, New York (2000)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  23. Object Management Group (OMG): Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification. Final Adopted Specification ptc/05-11-01 (2005)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  25. Küster, J.M.: Definition and validation of model transformations. Software and Systems Modeling (SoSyM) 5(3), 233–259 (2006)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  33. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1994)

    MATH  Google Scholar 

  34. Koehler, J., Hauser, R., Sendall, S., Wahler, M.: Declarative techniques for model-driven business process integration. IBM Systems Journal 44(1), 47–65 (2005)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IBM Zurich Research Laboratory, 8803, Rüschlikon, Switzerland

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

Authors
  1. Jana Koehler
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thomas Gschwind
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jochen Küster
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Cesare Pautasso
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Ksenia Ryndina
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Jussi Vanhatalo
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Hagen Völzer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachgebiet Echtzeitsysteme, Technische Universität Darmstadt, D-64283, Darmstadt, Germany

    Andy Schürr

  2. Department of Computer Science, RWTH Aachen, Chair of Computer Science III, Aachen, Germany

    Manfred Nagl

  3. Software Engineering Research Group, Department of Computer Science and Electrical Engineering, University of Kassel, Kassel, Germany

    Albert Zündorf

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Koehler, J. et al. (2008). Combining Quality Assurance and Model Transformations in Business-Driven Development. 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_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-89020-1_1

  • 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)

Publish with us

Policies and ethics

Search

Navigation