Advances in Enterprise Engineering I (eBook)

Preface 5
Organization 9
Table of Contents 11
On the Nature of Business Rules 13
Introduction 13
A Survey of Current Business Rule Notions 13
Research Questions and Research Approach 14
An Introduction to Enterprise Ontology 15
Theoretical Foundations 15
The Universal Transaction Pattern 16
The Aspect Organizations 19
Assessing the Notion of Business Rule 20
Clarifications 20
Illustrations 22
Conclusions 25
References 26
Process Flexibility: A Survey of Contemporary Approaches 28
Introduction 28
Taxonomy of Flexibility 29
Specification Approaches 29
Flexibility Types in Detail 30
Evaluation of Contemporary Offerings 37
Related Work 39
Conclusion 40
Subsuming the BPM Life Cycle in an Ontological Framework of Designing 43
Introduction 43
An Ontological View of Business Processes 45
The Function-Behaviour-Structure Ontology 45
FBS Views in the BPM Life Cycle 47
The BPM Life Cycle in a Framework of Designing 50
An Initial Framework of Designing 50
A Model of Three Interacting Worlds 51
Business Process Design in the Situated FBS Framework 52
Conclusion 55
References 56
Information Gathering for Semantic Service Discovery and Composition in Business Process Modeling 58
Introduction 58
Foundations 60
Semantics for Business Process Models 60
Service Discovery 62
Service Composition 63
Process Validation 63
Shortcomings of State-of-the-Art Solutions 64
Solution Approach 65
Modification of the Search Space 66
Configuration Options 69
Applying Search Space Modifications During Modeling 69
Related Work 70
Conclusion 71
Challenges in Collaborative Modeling: A Literature Review 73
Introduction 73
Background 74
Collaborative Modeling Defined 74
Approaches in Collaborative Modeling 75
Method 76
Results 78
Roles and Group Composition 78
Collaboration and Participation 80
Modeling Method 81
Model Quality 82
Discussion and Conclusions 84
References 85
A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration 90
Introduction 90
An Overview of the Proposed Approach 92
A CPN-Based Model for BPI Based on Interaction Protocol 93
Translation Rules from IP Elements to CPN 94
An Algorithm for Transforming an IP to Its CPN Representation 97
A Case Study: The Agent-Based Transportation e-Market System 98
Validation and Property Verification 100
Enabling Integration Process with Multi-Agent Systems 101
Related Work 102
Conclusion and Future Work 103
References 103
Competencies and Responsibilities of Enterprise Architects 105
Introduction 105
Relevant Competencies 107
Professional Competencies 108
Personal Competencies 108
Responsibilities of an Enterprise Architect 110
Personality Types 111
Enterprise Architecture Teams 115
Conclusion 117
Interoperability Strategies for Business Agility 120
Introduction 120
Business Agility 121
Enterprise Architecture and Alignment 122
Strategies for Interoperability 123
Unification Strategy 124
Intersection Strategy 125
Interlinking Strategy 125
Cases from Swedish Health Care 126
Background 126
Alternative for Interoperability Based on Unification Strategy 128
Alternative for Interoperability Based on Intersection Strategy 128
Alternative for Interoperability Based on Interlinking Strategy 129
Summary and Conclusion 131
References 132
Towards a Business-Oriented Specification for Services 134
Introduction 134
Current Approaches to Service Specification 135
Specification Using the UDDI 135
Specification Using Semantic Web Services 136
Specification Using Business Component Specification 136
Evaluation 136
Specifying Business Tasks Using the Enterprise Ontology 139
Definitions 139
The Specification Template 141
The Insurance Company 142
Background 142
Dealing with New Individual Policies 144
Example Services 145
Conclusions 145
Automated Model Transformations Using the C.C Language 149
Introduction 149
Model Transformation Techniques 150
Craft.CASE and BORM 150
Business Process Modeling in Craft.CASE 151
Software Systems Modeling in Craft.CASE 152
The C.C Language 152
Inspiration -- Pascal and LISP 152
Motivation 153
Basic Concepts 153
Functions 154
Collections 154
Control Structures 155
Programming Environment, C.C Data Modeler 155
Code Examples 155
Craft.CASE Modeling 156
Craft.CASE Metamodel 156
C.C Constructs for Craft.CASE Metamodel 157
C.C Modules 158
Modeling Examples 159
Refactoring 159
Design Patterns 159
Object Normalization 160
Conclusion 162
Improvement in the Translation Process from Natural Language to System Dynamics Models 164
Introduction 164
Rules to Select an Appropriate Stock Flow Structure 167
Unit Concept 167
Delay and Causality 169
Transition of Individual Material or Person 169
Improved Translation Process 170
Application 173
Conclusion 174
References 174
Developing a Simulation Model Using a SPEM-Based Process Model and Analytical Models 176
Introduction 176
Background 178
SPEM 178
DEVS-Hybrid Formalism 178
Related Work 179
A Method for Developing a Simulation Model and a Tool Environment 180
Identifying the Simulation Model Structure 181
Identifying Quantitative Information 181
Generating the Simulation Model 182
Tool Environment to Support the Method 184
A Case Study 185
The Descriptive Process Model Represented by UML 185
The Quantitative Information 187
DEVS-Hybrid Simulation Model 187
Conclusion and Future Work 189
Formal Modeling and Discrete-Time Analysis of BPEL Web Services 191
Introduction 191
Modeling and Analysis Approach 193
Translation from BPEL to Discrete-Time LTSs 193
Analysis of Discrete-Time LTSs 195
Case Study: A Web Service for GPS Navigation 197
System Description 197
Discrete-Time LTS Synthesis 199
Verification of Discrete-Time Properties 201
Conclusion and Future Work 203
Author Index 206