Skip to main content
View expanded cover

International Conference on Graph Transformation

ICGT 2010: Graph Transformations pp 3–26Cite as

How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation?

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNTCS,volume 6372)

Abstract

This keynote paper presents results coming out of an ongoing research project between Credit Suisse Luxembourg and the University of Luxembourg. It presents an approach that shows good potential to address security, risk and compliance issues the bank has in its daily business by the use of integrated organizational models build up by enterprise modeling activities. Such organizational models are intended to serve to describe, evaluate, automate, monitor and control as well as to develop an organization respecting given organizational security, risk and compliance side-constraints. Based on the empirical scenario at Credit Suisse, real-world requirements towards a modeling framework as well as the modeling process are developed. Graph Transformation techniques are proposed as formal framework for this purpose and they are evaluated in the sense of how far they can support the identified enterprise modeling activities in the context of the new enterprise modeling framework.

Keywords

  • enterprise modeling
  • graph transformation
  • triple graph grammars
  • model transformation and integration
  • graph constraints
  • correctness
  • completeness
  • termination
  • functional behavior

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-642-15928-2_2
  • Chapter length: 24 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   84.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-15928-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   109.00
Price excludes VAT (USA)
Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. AGG Homepage, http://tfs.cs.tu-berlin.de/agg

  2. Arbab, F.: Reo: A Channel-based Coordination Model for Component Composition. Mathematical Structures in Computer Science 14(3), 329–366 (2004), http://homepages.cwi.nl/~farhad/MSCS03Reo.pdf

    MATH  CrossRef  MathSciNet  Google Scholar 

  3. Arbab, F.: Abstract Behavior Types: A Foundation Model for Components and Their Composition. Science of Computer Programming 55, 3–52 (2005)

    MATH  CrossRef  MathSciNet  Google Scholar 

  4. Braatz, B., Brandt, C.: Graph Transformations for the Resource Description Framework. In: Ermel, J.d.L.C., Heckel, R. (eds.) Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008), EC-EASST, vol. 10 (2008)

    Google Scholar 

  5. Braatz, B., Brandt, C.: How to modify on the semantic web? - a web application architecture for algebraic graph transformations on rdf. In: 2nd International Workshop on Semantic Web Information Management, Vienna. Springer, Heidelberg (to appear 2010)

    Google Scholar 

  6. Braatz, B., Brandt, C., Engel, T., Hermann, F., Ehrig, H.: An approach using formally well-founded domain languages for secure coarse-grained IT system modelling in a real-world banking scenario. In: Proc. 18th Australasian Conference on Information Systems (ACIS 2007), Toowoomba, Queensland, Australia (December 2007)

    Google Scholar 

  7. Brandt, C., Hermann, F., Ehrig, H., Engel, T.: Enterprise Modelling using Algebraic Graph Transformation - Extended Version. Technical Report 2010-6, Technische Universität Berlin,Fakultät IV (2010), http://www.eecs.tu-berlin.de/menue/forschung/forschungsberichte/2010

  8. Brandt, C., Hermann, F., Engel, T.: Security and Consistency of IT and Business Models at Credit Suisse realized by Graph Constraints, Transformation and Integration using Algebraic Graph Theory. In: Proc. Int. Conference on Exploring Modeling Methods in Systems Analysis and Design 2009 (EMMSAD 2009). LNBIP, vol. 29, pp. 339–352. Springer, Heidelberg (2009)

    Google Scholar 

  9. Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information Preserving Bidirectional Model Transformations. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 72–86. Springer, Heidelberg (2007)

    CrossRef  Google Scholar 

  10. Ehrig, H., Ehrig, K., Ermel, C., Prange, U.: Consistent Integration of Models Based on Views of Visual Languages. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 62–76. Springer, Heidelberg (2008)

    CrossRef  Google Scholar 

  11. Ehrig, H., Ehrig, K., Hermann, F.: From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. In: Ermel, C., de Lara, J., Heckel, R. (eds.) Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008), EC-EASST, vol. 10 (2008)

    Google Scholar 

  12. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. In: EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (2006)

    Google Scholar 

  13. 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. World Scientific, Singapore (1999)

    Google Scholar 

  14. Ehrig, H., Ermel, C., Hermann, F.: On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars. In: Karsai, G., Taentzer, G. (eds.) Proc. Third International Workshop on Graph and Model Transformation (GraMoT 2008). ACM, New York (2008)

    Google Scholar 

  15. Ehrig, H., Ermel, C., Hermann, F., Prange, U.: On-the-Fly Construction, Correctness and Completeness of Model Transformationsbased on Triple Graph Grammars. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 241–255. Springer, Heidelberg (2009)

    CrossRef  Google Scholar 

  16. Ehrig, H., Hermann, F., Sartorius, C.: Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions. In: Heckel, R., Boronat, A. (eds.) Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2009), EC-EASST (2009)

    Google Scholar 

  17. Ehrig, H., Kreowski, H.-J., Montanari, U., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation. Concurrency, Parallelism and Distribution, vol. 3. World Scientific, Singapore (1999)

    Google Scholar 

  18. Ehrig, H., Prange, U.: Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 178–193. Springer, Heidelberg (2008)

    CrossRef  Google Scholar 

  19. Ermel, C., Biermann, E., Ehrig, K., Taentzer, G.: Generating Eclipse Editor Plug-Ins using Tiger. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088, pp. 583–584. Springer, Heidelberg (2008)

    CrossRef  Google Scholar 

  20. Giaglis, G.M.: A taxonomy of business process modeling and information systems modeling techniques. International Journal of Flexible Manufacturing Systems 13(2), 209–228 (2001)

    CrossRef  Google Scholar 

  21. Guerra, E., de Lara, J.: Attributed typed triple graph transformation with inheritance in the double pushout approach. Technical Report UC3M-TR-CS-2006-00, Universidad Carlos III, Madrid, Spain (2006)

    Google Scholar 

  22. Guerra, E., de Lara, J.: Model view management with triple graph grammars. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 351–366. Springer, Heidelberg (2006)

    CrossRef  Google Scholar 

  23. Hermann, F., Ehrig, H., Orejas, F., Golas, U.: Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. In: Ehrig, H., et al. (eds.) ICGT 2010. LNCS, vol. 6372, pp. 154–169. Springer, Heidelberg (2010)

    Google Scholar 

  24. Kindler, E., Wagner, R.: Triple Graph Grammars: Concepts, Extensions, Implementations, and Application Scenarios. Technical Report TR-ri-07-284, Universität Paderborn (2007)

    Google Scholar 

  25. Königs, A., Schürr, A.: Tool Integration with Triple Graph Grammars - A Survey. In: Proc. SegraVis School on Foundations of Visual Modelling Techniques. ENTCS, vol. 148, pp. 113–150. Elsevier Science, Amsterdam (2006)

    Google Scholar 

  26. Lara, J., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Attributed Graph Transformation with Node Type Inheritance. Theoretical Computer Science 376(3), 139–163 (2007)

    MATH  CrossRef  MathSciNet  Google Scholar 

  27. Lillehagen, F., Krogstie, J.: State of the art of enterprise modeling. In: Active Knowledge Modeling of Enterprises, pp. 91–127. Springer, Heidelberg (2008)

    CrossRef  Google Scholar 

  28. Object Management Group. UML 2.0 OCL Specification (2003), http://www.omg.org/docs/ptc/03-10-14.pdf

  29. OMG. Meta-Object Facility 2.0 (2006), http://www.omg.org/mof/

  30. OMG. Unified Modeling Language 2.1.2: Superstructure (2007), http://www.uml.org/

  31. Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol. 1. World Scientific, Singapore (1997)

    MATH  Google Scholar 

  32. Schürr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151–163. Springer, Heidelberg (1995)

    Google Scholar 

  33. Schürr, A., Klar, F.: 15 years of triple graph grammars. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 411–425. Springer, Heidelberg (2008)

    CrossRef  Google Scholar 

  34. Software Engineering Group, University of Paderborn. Fujaba Tool Suite (2010), http://wwwcs.uni-paderborn.de/cs/ag-schaefer/Lehre/PG/Fujaba/projects/tgg/index.html

  35. Taentzer, G., Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovsky, T., Prange, U., Varro, D., Varro-Gyapay, S.: Model Transformation by Graph Transformation: A Comparative Study. In: Proc. Workshop Model Transformation in Practice, Montego Bay, Jamaica (October 2005)

    Google Scholar 

  36. Whitman, L., Ramachandran, K., Ketkar, V.: A taxonomy of a living model of the enterprise. In: Winter Simulation Conference, pp. 848–855 (2001)

    Google Scholar 

  37. Winkelmann, J., Taentzer, G., Ehrig, K., Küster, J.: Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars. In: Varro, D., Bruni, R. (eds.) Proc. International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2006), Vienna, Austria. ENTCS. Elsevier Science, Amsterdam (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. SECAN-Lab, Campus Kirchberg, Université du Luxembourg, 6, rue Richard Coudenhove-Kalergi, L-1359, Luxembourg-Kirchberg, EU

    Christoph Brandt

  2. Theoretische Informatik/Formale Spezifikation, Technische Universität Berlin, Fakultät IV, Sekr. FR 6-1, Franklinstr. 28/29, 10587, Berlin, EU

    Frank Hermann

Authors
  1. Christoph Brandt
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Frank Hermann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Franklinstr. 28/29, 10587, Berlin, Germany

    Hartmut Ehrig

  2. Afdeling Informatica, Universiteit Twente, Drienerlolaan 5, 7522, Enschede, NB, The Netherlands

    Arend Rensink

  3. Leiden Institute of Advanced Computer Science (LIACS), Universiteit Leiden, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

  4. Fachgebiet Echtzeitsysteme, Technische Universität Darmstadt, Merckstraße 25, 64283, Darmstadt, Germany

    Andy Schürr

Rights and permissions

Reprints and Permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Brandt, C., Hermann, F. (2010). How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation?. In: Ehrig, H., Rensink, A., Rozenberg, G., Schürr, A. (eds) Graph Transformations. ICGT 2010. Lecture Notes in Computer Science, vol 6372. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15928-2_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15928-2_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15927-5

  • Online ISBN: 978-3-642-15928-2

  • eBook Packages: Computer ScienceComputer Science (R0)