An Enterprise Modeling Framework for Banks using. Algebraic Graph Transformation

Transcription

1 An Enterprise Modeling Framework for Banks using Algebraic Graph Transformation vorgelegt von Diplom-Wirtschaftsinformatiker Christoph Brandt aus Berlin-Lichterfelde von der Fakultät IV - Elektrotechnik und Informatik der Technischen Universität Berlin zur Erlangung des akademischen Grades Doktor der Ingenieurwissenschaften - Dr.-Ing. - genehmigte Dissertation Promotionsausschuss: Vorsitzender: Prof. Dr.-Ing. Dr. h.c. Sahin Albayrak (Technische Universität Berlin) Berichter: Prof. Dr. rer. nat. Hartmut Ehrig (Technische Universität Berlin) Berichter: Prof. Dr. rer. nat. Thomas Engel (Universite du Luxembourg) Berichter: Prof. Dr.-Ing. Gabriele Taentzer (Philipps-Universität Marburg) Tag der wissenschaftlichen Aussprache: 20. Dezember 2013 Berlin 2013 D 83 iii

2 Contents I Introduction 3 1 Given Situation Need and Research Question Areas of Interests and Focus 10 2 Decisions, Choices and Results Research Portfolio Objects of Interest Methods and Contributions Course of Action and Results 16 II Requirements 21 3 Organizational Requirements Operational Security and Risk Organizational Properties 29 4 Theoretical Requirements Languages Models Enterprise (Modeling) Architecture Frameworks 36 5 Industrial Requirements Enterprise Modeling Frameworks Enterprise Architectures Domain-specific (Modeling) Languages 44 6 Requirements for the EM Framework Modeling Languages and Models 47 xi

3 6.2 Conceptual EM Framework 49 III The Conceptual EM Framework 51 7 Human-centric Models IT Landscapes as Visual Models Business Processes as Visual Models Business Rules as Textual Models 63 8 Machine-centric Models Reo models for IT Landscapes Modelica models for IT Landscapes mcrl2 models for Business Processes FOL models for Business Rules 77 9 Domain Spaces and Conceptual Relations Human-centric and machine-centric Business and IT Universe Services, Processes and Rules Security, Risk and Compliance The Conceptual EM Framework Evaluation of the Conceptual EM Framework Models and Modeling Languages Conceptual EM Framework Requirements for EM Techniques Intra-Model Techniques Inter-Model Techniques State of the Art and relevant Practice for EM Domain-specific Modeling Techniques Model Transformation Approaches and Tools 109 IV Graph Transformation for Enterprise Modeling Basic Notions j jy xii

4 14.1 Typed Attributed Graphs The Double-Pushout Approach Local Church-Rosser Theorem Parallelism and Concurrency Theorem Embedding and Extension Theorem Critical Pairs and Confluence Intra-Model Techniques Inheritance, Graph Grammar, Language and GT Systems Graph Constraints and Application Conditions Model Refactoring Switch and Permutation Equivalence Inter-Model Techniques Triple Graphs, Rules, Grammars and Languages Model Transformation Model Integration Model Synchronization Propagation of Constraints Conformance Check of Models Evaluation of Graph Transformation Techniques Basic Notions Intra-Model Techniques Inter-Model Techniques 187 V The instantiated AGT EM Framework Instantiations of Intra-Model Techniques Model Creation realized by Graph Grammars Model Examination realized by Graph Constraints Model Refactoring realized by Graph Productions Model Generation realized by Graph Grammars Instantiations of Inter-Model Techniques Model Transformation realized by TGGs Model Integration realized by TGGs 225 xiii

5 19.3 Model Synchronization realized by TGGs 19.4 Propagation of Constraints realized by TGGs Model Conformance Check realized by TGGs Evaluation of the instantiated Framework 255 VI Case Study for Security and Risk Security 2 *^ 21.1 IT Landscapes Business Processes Business Rules Risk IT Landscapes Business Processes Evaluation of the Case Study 311 VII Conceptual Embeddings Embedding into the Organizational Context Organizational Extensions An MDA-complient Service Architecture The hard-and Software Back-end Regulations, Standards and Norms Embedding into the Economic Context Financial Service Providers IT Services Providers IT Infrastructure Providers Embedding into the Linguistic Context Syntax, Semantics and Pragmatics in Communication Modeling Dialogues Evaluation of the Embeddings Organizational Context 341 xiv

6 27.2 Economic Context Linguistic Context 343 VIII Summary Obtained Results Coverage The specialized AGT EM Framework GERAM and the extended AGT EM Framework Mutual Interaction Future Work Follow-up Research Questions An AGT EM framework instantiation using RDF Conclusions 373 IX Bibliography 375 X Appendix Category Theory Signatures, Algebras and Terms Algebraic Graph Transformation 419 XI Index 435 XV