Advertisement

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

  • Christoph Brandt
  • Frank Hermann
Part of the Lecture Notes in Computer Science book series (LNCS, 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 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
  2. 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 MATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Arbab, F.: Abstract Behavior Types: A Foundation Model for Components and Their Composition. Science of Computer Programming 55, 3–52 (2005)MATHCrossRefMathSciNetGoogle Scholar
  4. 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. 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. 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. 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. 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. 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)CrossRefGoogle Scholar
  10. 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)CrossRefGoogle Scholar
  11. 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. 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. 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. 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. 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)CrossRefGoogle Scholar
  16. 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. 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. 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)CrossRefGoogle Scholar
  19. 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)CrossRefGoogle Scholar
  20. 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)CrossRefGoogle Scholar
  21. 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. 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)CrossRefGoogle Scholar
  23. 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. 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. 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. 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)MATHCrossRefMathSciNetGoogle Scholar
  27. 27.
    Lillehagen, F., Krogstie, J.: State of the art of enterprise modeling. In: Active Knowledge Modeling of Enterprises, pp. 91–127. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  28. 28.
    Object Management Group. UML 2.0 OCL Specification (2003), http://www.omg.org/docs/ptc/03-10-14.pdf
  29. 29.
    OMG. Meta-Object Facility 2.0 (2006), http://www.omg.org/mof/
  30. 30.
    OMG. Unified Modeling Language 2.1.2: Superstructure (2007), http://www.uml.org/
  31. 31.
    Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol. 1. World Scientific, Singapore (1997)MATHGoogle Scholar
  32. 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. 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)CrossRefGoogle Scholar
  34. 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. 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. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Christoph Brandt
    • 1
  • Frank Hermann
    • 2
  1. 1.SECAN-Lab, Campus KirchbergUniversité du LuxembourgLuxembourg-KirchbergEU
  2. 2.Theoretische Informatik/Formale SpezifikationTechnische Universität Berlin, Fakultät IVBerlinEU

Personalised recommendations