Albani / Barjis Advances in Enterprise Engineering I

4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008, Proceedings
1. Auflage 2008
ISBN: 978-3-540-68644-6
Verlag: Springer-Verlag
Format: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)

E-Book, Englisch, 206 Seiten

This book constitutes the proceedings of the 4th International Workshop on Cooperation and Interoperability, Architecture and Ontology, CIAO!, and the 4th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS, held at CAiSE 2008 in Montpellier, France, in June 2008. The 13 papers presented here were carefully selected for inclusion in this book. The scopes of these two workshops are to a large extent complementary, with CIAO! being more focused on the theory and application of enterprise engineering and EOMAS on the methods and tools for modeling and simulation. The papers cover the topics of process modeling, collaboration and interoperability, enterprise architecture, and model transformation and simulation.

Autoren/Hrsg.

Albani, Antonia

Barjis, Joseph

Inhaltsverzeichnis

1;Preface;5
2;Organization;9
3;Table of Contents;11
4;On the Nature of Business Rules;13
4.1;Introduction;13
4.1.1;A Survey of Current Business Rule Notions;13
4.1.2;Research Questions and Research Approach;14
4.2;An Introduction to Enterprise Ontology;15
4.2.1;Theoretical Foundations;15
4.2.2;The Universal Transaction Pattern;16
4.2.3;The Aspect Organizations;19
4.3;Assessing the Notion of Business Rule;20
4.3.1;Clarifications;20
4.3.2;Illustrations;22
4.4;Conclusions;25
4.5;References;26
5;Process Flexibility: A Survey of Contemporary Approaches;28
5.1;Introduction;28
5.2;Taxonomy of Flexibility;29
5.2.1;Specification Approaches;29
5.2.2;Flexibility Types in Detail;30
5.3;Evaluation of Contemporary Offerings;37
5.4;Related Work;39
5.5;Conclusion;40
6;Subsuming the BPM Life Cycle in an Ontological Framework of Designing;43
6.1;Introduction;43
6.2;An Ontological View of Business Processes;45
6.2.1;The Function-Behaviour-Structure Ontology;45
6.2.2;FBS Views in the BPM Life Cycle;47
6.3;The BPM Life Cycle in a Framework of Designing;50
6.3.1;An Initial Framework of Designing;50
6.3.2;A Model of Three Interacting Worlds;51
6.3.3;Business Process Design in the Situated FBS Framework;52
6.4;Conclusion;55
6.5;References;56
7;Information Gathering for Semantic Service Discovery and Composition in Business Process Modeling;58
7.1;Introduction;58
7.2;Foundations;60
7.2.1;Semantics for Business Process Models;60
7.2.2;Service Discovery;62
7.2.3;Service Composition;63
7.2.4;Process Validation;63
7.2.5;Shortcomings of State-of-the-Art Solutions;64
7.3;Solution Approach;65
7.3.1;Modification of the Search Space;66
7.3.2;Configuration Options;69
7.3.3;Applying Search Space Modifications During Modeling;69
7.4;Related Work;70
7.5;Conclusion;71
8;Challenges in Collaborative Modeling: A Literature Review;73
8.1;Introduction;73
8.2;Background;74
8.2.1;Collaborative Modeling Defined;74
8.2.2;Approaches in Collaborative Modeling;75
8.3;Method;76
8.4;Results;78
8.4.1;Roles and Group Composition;78
8.4.2;Collaboration and Participation;80
8.4.3;Modeling Method;81
8.4.4;Model Quality;82
8.5;Discussion and Conclusions;84
8.6;References;85
9;A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration;90
9.1;Introduction;90
9.2;An Overview of the Proposed Approach;92
9.3;A CPN-Based Model for BPI Based on Interaction Protocol;93
9.3.1;Translation Rules from IP Elements to CPN;94
9.3.2;An Algorithm for Transforming an IP to Its CPN Representation;97
9.4;A Case Study: The Agent-Based Transportation e-Market System;98
9.5;Validation and Property Verification;100
9.6;Enabling Integration Process with Multi-Agent Systems;101
9.7;Related Work;102
9.8;Conclusion and Future Work;103
9.9;References;103
10;Competencies and Responsibilities of Enterprise Architects;105
10.1;Introduction;105
10.2;Relevant Competencies;107
10.2.1;Professional Competencies;108
10.2.2;Personal Competencies;108
10.3;Responsibilities of an Enterprise Architect;110
10.4;Personality Types;111
10.5;Enterprise Architecture Teams;115
10.6;Conclusion;117
11;Interoperability Strategies for Business Agility;120
11.1;Introduction;120
11.2;Business Agility;121
11.3;Enterprise Architecture and Alignment;122
11.4;Strategies for Interoperability;123
11.4.1;Unification Strategy;124
11.4.2;Intersection Strategy;125
11.4.3;Interlinking Strategy;125
11.5;Cases from Swedish Health Care;126
11.5.1;Background;126
11.5.2;Alternative for Interoperability Based on Unification Strategy;128
11.5.3;Alternative for Interoperability Based on Intersection Strategy;128
11.5.4;Alternative for Interoperability Based on Interlinking Strategy;129
11.6;Summary and Conclusion;131
11.7;References;132
12;Towards a Business-Oriented Specification for Services;134
12.1;Introduction;134
12.2;Current Approaches to Service Specification;135
12.2.1;Specification Using the UDDI;135
12.2.2;Specification Using Semantic Web Services;136
12.2.3;Specification Using Business Component Specification;136
12.2.4;Evaluation;136
12.3;Specifying Business Tasks Using the Enterprise Ontology;139
12.3.1;Definitions;139
12.3.2;The Specification Template;141
12.4;The Insurance Company;142
12.4.1;Background;142
12.4.2;Dealing with New Individual Policies;144
12.4.3;Example Services;145
12.5;Conclusions;145
13;Automated Model Transformations Using the C.C Language;149
13.1;Introduction;149
13.1.1;Model Transformation Techniques;150
13.2;Craft.CASE and BORM;150
13.2.1;Business Process Modeling in Craft.CASE;151
13.2.2;Software Systems Modeling in Craft.CASE;152
13.3;The C.C Language;152
13.3.1;Inspiration -- Pascal and LISP;152
13.3.2;Motivation;153
13.3.3;Basic Concepts;153
13.3.4;Functions;154
13.3.5;Collections;154
13.3.6;Control Structures;155
13.3.7;Programming Environment, C.C Data Modeler;155
13.3.8;Code Examples;155
13.4;Craft.CASE Modeling;156
13.4.1;Craft.CASE Metamodel;156
13.4.2;C.C Constructs for Craft.CASE Metamodel;157
13.4.3;C.C Modules;158
13.5;Modeling Examples;159
13.5.1;Refactoring;159
13.5.2;Design Patterns;159
13.5.3;Object Normalization;160
13.6;Conclusion;162
14;Improvement in the Translation Process from Natural Language to System Dynamics Models;164
14.1;Introduction;164
14.2;Rules to Select an Appropriate Stock Flow Structure;167
14.2.1;Unit Concept;167
14.2.2;Delay and Causality;169
14.2.3;Transition of Individual Material or Person;169
14.2.4;Improved Translation Process;170
14.3;Application;173
14.4;Conclusion;174
14.5;References;174
15;Developing a Simulation Model Using a SPEM-Based Process Model and Analytical Models;176
15.1;Introduction;176
15.2;Background;178
15.2.1;SPEM;178
15.2.2;DEVS-Hybrid Formalism;178
15.3;Related Work;179
15.4;A Method for Developing a Simulation Model and a Tool Environment;180
15.4.1;Identifying the Simulation Model Structure;181
15.4.2;Identifying Quantitative Information;181
15.4.3;Generating the Simulation Model;182
15.4.4;Tool Environment to Support the Method;184
15.5;A Case Study;185
15.5.1;The Descriptive Process Model Represented by UML;185
15.5.2;The Quantitative Information;187
15.5.3;DEVS-Hybrid Simulation Model;187
15.6;Conclusion and Future Work;189
16;Formal Modeling and Discrete-Time Analysis of BPEL Web Services;191
16.1;Introduction;191
16.2;Modeling and Analysis Approach;193
16.2.1;Translation from BPEL to Discrete-Time LTSs;193
16.2.2;Analysis of Discrete-Time LTSs;195
16.3;Case Study: A Web Service for GPS Navigation;197
16.3.1;System Description;197
16.3.2;Discrete-Time LTS Synthesis;199
16.3.3;Verification of Discrete-Time Properties;201
16.4;Conclusion and Future Work;203
17;Author Index;206