Abstract
This paper shows typical security and consistency challenges regarding the models of the business and the IT universe of the dynamic service-, process- and rule-based environment at Credit Suisse. It presents a theoretical solution for enterprise engineering that is implementable, and fits smoothly with the daily needs and constraints of the people in the scenario. It further enables decentralized modeling based on cognitive and mathematical or logical concepts. Normative aspects of the models are analyzed by graph constraint checks, while consistency is checked and ensured by model integration and transformation. To cope with theoretical and practical necessities, the presented solution is kept sound and usable as well as extensible and scalable. All techniques are based on one theoretical framework: algebraic graph theory. Therefore, the techniques are compatible with each other.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arbab, F.: Abstract Behavior Types: A Foundation Model for Components and Their Composition. Science of Computer Programming 55, 3–52 (2005)
Bézivin, J.: On the unification power of models. Software and Systems Modeling 4, 171–188 (2005)
Brandt, C., Engel, T., Hermann, F., Adamek, J.: Security and Consistency of IT and Business Models at Credit Suisse realized by Graph Constraints, Transformation and Integration using Algebraic Graph Theory (Long Version). Technical report, Technische Universität Berlin,Fakultät IV (to appear, 2009)
Cornelius, F., Hußmann, H., Löwe, M.: The Korso Case Study for Software Engineering with Formal Methods: A Medical Information System. Technical Report 94–5, FB Informatik, TU Berlin (1994)
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)
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), vol. 10. EC-EASST (2008)
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (2006)
Ehrig, H., Ermel, C., Hermann, F.: On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars (Long Version). Technical Report 2008/05, Technische Universität Berlin, Fakultät IV (2008)
Ehrig, H., König, B.: Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting with Borrowed Contexts. Mathematical Structures in Computer Science 16(6), 1133–1163 (2006)
Greenfield, J.: Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools. In: Nord, R.L. (ed.) SPLC 2004. LNCS, vol. 3154, p. 304. Springer, Heidelberg (2004)
Groote, J.F., Reniers, M.: Modelling and Analysis of Communicating Systems (to appear)
Le, T.V., Le, T.U.V., Van, L.T.: Techniques of PROLOG Programming with Implementation of Logical Negation and Quantified Goals. John Wiley & Sons, Chichester (1992)
OMG. Meta-Object Facility (MOF), Version 2.0 (2006), http://www.omg.org/
OMG. Unified Modeling Language: Superstructure – Version 2.1.2 (2007), http://www.omg.org/ .
OMG. Catalog of OMG Business Strategy, Business Rules and Business Process Management Specifications (2009), http://www.omg.org/technology/documents/br_pm_spec_catalog.htm
OMG. Model driven Architecture (MDA) (2009), http://www.omg.org/mda
Pemmaraju, S., Skiena, S.: Computational Discrete Mathematics: Combinatorics and Graph Theory with Mathematica. The University of Iowa and SUNY at Stony Brook. Cambridge University Press, New York (2003)
Schürr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Tinhofer, G. (ed.) WG 1994. LNCS, vol. 903, pp. 151–163. Springer, Heidelberg (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brandt, C., Hermann, F., Engel, T. (2009). Security and Consistency of IT and Business Models at Credit Suisse Realized by Graph Constraints, Transformation and Integration Using Algebraic Graph Theory. In: Halpin, T., et al. Enterprise, Business-Process and Information Systems Modeling. BPMDS EMMSAD 2009 2009. Lecture Notes in Business Information Processing, vol 29. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01862-6_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-01862-6_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01861-9
Online ISBN: 978-3-642-01862-6
eBook Packages: Computer ScienceComputer Science (R0)