Enterprise, Business-Process and Information Systems Modeling: 10th International Workshop, BPMDS 2009, and 14th International Conference, EMMSAD 2009, ... Notes in Business Information Processing)

✍ Scribed by Terry Halpin, John Krogstie, Selmin Nurcan, Erik Proper, Rainer Schmidt, Pnina Soffer, Roland Ukor

• Publisher: Springer
• Year: 2009
• Tongue: English
• Leaves: 435
• Edition: 1
• Category: Library

✦ Synopsis

This book contains the proceedings of two long-standing workshops: The 10th International Workshop on Business Process Modeling, Development and Support, BPMDS 2009, and the 14th International Conference on Exploring Modeling Methods for Systems Analysis and Design, EMMSAD 2009, held in connection with CAiSE 2009 in Amsterdam, The Netherlands, in June 2009. The 17 papers accepted for BPMDS 2009 were carefully reviewed and selected from 32 submissions. The topics addressed by the BPMDS workshop are business and goal-related drivers; model-driven process change; technological drivers and IT services; technological drivers and process mining; and compliance and awareness. Following an extensive review process, 16 papers out of 36 submissions were accepted for EMMSAD 2009. These papers cover the following topics: use of ontologies; UML and MDA; ORM and rule-oriented modeling; goal-oriented modeling; alignment and understandability; enterprise modeling; and patterns and anti-patterns in enterprise modeling.

✦ Table of Contents

front-matter_2......Page 2
Introduction......Page 16
Business Processes of Business Intelligence......Page 17
Maturity Levels of Business Intelligence Systems......Page 20
Modeling......Page 22
Case Studies......Page 23
References......Page 26
Introduction......Page 28
Example......Page 29
Drivers for Process Change......Page 30
Reacting to Improvement Requests......Page 31
Conceptual Framework for Process Redesign......Page 32
Functional Effect Accumulation......Page 34
Business Process Metrics......Page 36
Example......Page 38
Conclusion......Page 39
References......Page 40
Introduction......Page 41
Tropos Goal Modeling: Overview......Page 42
Self-contextualizable Software Modeling Framework......Page 44
Context Analysis Constructs......Page 46
From Goals to Self-contextualizable Workflow......Page 48
Framework Utilization......Page 49
Related Work......Page 51
References......Page 52
Introduction......Page 54
Service Life-Cycle......Page 55
A Service Identification Method from Business Process Models......Page 56
Phase 2: Identification and Classification of Candidate Services......Page 57
Phase 3: Consolidation of Candidate Services......Page 60
Applying the Proposed Method for Service Identification in a Real Scenario for Oil Production Diagnosis......Page 61
Conclusions and Future Work......Page 65
References......Page 66
Introduction......Page 68
Related Works......Page 69
An Actor-Driven Approach for Business Process Enactment......Page 70
Description of the Environment......Page 71
Work Allocation......Page 73
A Map Illustration of the Way of Working......Page 74
References......Page 76
Introduction......Page 78
Related Work......Page 79
Control-Flow Complexity Measure......Page 80
Example of CFC Calculation......Page 81
Research Context......Page 82
First Family......Page 83
Second Family......Page 84
Descriptive Analysis......Page 85
Correlation Analysis......Page 87
References......Page 89
Introduction and Motivation......Page 91
Related Work......Page 93
Formal Anomaly Definition......Page 94
Application Based on ProM......Page 97
Model Selection......Page 98
Municipal Household Support System......Page 99
Discovering, Filtering, and Selection......Page 100
Splitting......Page 101
References......Page 102
Introduction......Page 104
Background to Enterprise Modeling......Page 106
Enterprise Modeling Quality......Page 107
Patterns and Anti-patterns for Capturing Reusable Knowledge......Page 108
Addressing the Modeling Product......Page 109
Addressing the Modeling Process......Page 110
Addressing EM Tool Support......Page 111
References......Page 113
Introduction......Page 116
Cognitive Research on Programming Languages......Page 118
Imperative versus Declarative Programming......Page 120
Imperative versus Declarative Process Modeling......Page 121
A Characterization of Process Modeling Languages......Page 122
Propositions......Page 125
Conclusion......Page 126
References......Page 127
Introduction......Page 130
Business Rules Taxonomy......Page 131
Data Mining......Page 132
Process Mining......Page 133
Authorization Action Assertion Discovery......Page 134
Condition Action Assertion Discovery......Page 135
Conclusions......Page 139
References......Page 140
Introduction......Page 143
The NFR Framework......Page 145
Case Study: Goal Elicitation in a Healthcare Institution......Page 146
Preliminary Goal Elicitation Method......Page 147
Results of the Preliminary Goal Elicitation Activities......Page 148
Results of the Goal Elicitation with Catalogues......Page 149
Related Work......Page 152
Conclusions......Page 153
References......Page 154
Introduction......Page 156
Related Work......Page 157
Stakeholder-Oriented Approach......Page 159
Causality-Based Approach......Page 160
Comparison, Strengths and Weaknesses......Page 161
Example Scenario: IT Consolidation......Page 163
References......Page 166
Introduction......Page 169
The Goal-Oriented Requirement Model......Page 170
Self-adaptive Component Model Overview......Page 172
Structural Model Derivation......Page 173
Behavioral Model Derivation......Page 176
Related Works......Page 179
References......Page 180
Introduction......Page 182
Quality of Models......Page 183
Quality of Maps......Page 185
Language Quality......Page 186
Map/Model Quality......Page 187
Quality of Integrated Conceptual and Topological Models......Page 189
Conclusion and Future Work......Page 192
References......Page 193
Introduction......Page 195
A Short Overview of SORE......Page 196
Communicating IT Capabilities with Conceptual Services......Page 197
Method Description......Page 199
Preliminary Experience......Page 202
Related Work......Page 204
Conclusion and Outlook......Page 205
References......Page 206
Introduction......Page 208
Specification of the Evaluation......Page 209
Criteria......Page 210
Masev......Page 212
Case Study......Page 213
Conclusions and Future Work......Page 219
References......Page 220
Introduction......Page 222
An MDA Framework for Reverse Engineering......Page 223
Integrating Static and Dynamic Analysis......Page 225
The Bases for Recovering Class Diagrams......Page 226
The Bases for Recovering State Diagram......Page 227
Reverse Engineering at MOF Metamodel Level......Page 229
Related Work......Page 232
References......Page 233
Introduction......Page 235
Related Work......Page 238
Service Selection and Lifecycle Transitions......Page 239
Relative Protocol Compatibility Based Selection......Page 240
Limitations and Future Work......Page 242
References......Page 243
Introduction......Page 245
Characterization of the Case Study Domain and Settings......Page 248
Making the Real-World Semantics of Relationships Explicit......Page 249
The Ontological Status of Quantities......Page 251
The $Containment$ Relation to Represent the Spatial Inclusion among Physical Entities: Reservoir, Reservoir Rock and Geographic Area......Page 253
Representing the Historical Dependence between $Extracted Petroleum$ and $Reservoir$ Rock......Page 254
Final Considerations......Page 255
References......Page 256
Introduction......Page 258
Business Process......Page 259
Abstract Business Process......Page 261
Ontology for Business Processes and Their Relationships......Page 262
Creating and Populating the Ontology......Page 263
Discovering Business Processes......Page 265
Case Study......Page 267
Related Work......Page 269
References......Page 270
Introduction......Page 272
Background to Organizational Patterns......Page 273
Pattern Validation......Page 274
Pattern Language of B2B Adoption......Page 275
Pattern Validation Results and Discussion......Page 277
Findings Concerning the Usefulness of the Knowledge Embedded in Patterns......Page 279
Findings Concerning the Usefulness of the Pattern Format......Page 280
Comparison with Other Pattern Application Cases......Page 281
References......Page 283
Introduction......Page 285
The Reflection of Workarounds in an Event Log......Page 286
Basic Concepts......Page 289
DIPFinder Example......Page 290
Utilizing the Identified Patterns for Process Improvement......Page 292
Related Work......Page 293
References......Page 295
Introduction......Page 297
Business Engineering......Page 298
Source Selection......Page 300
Literature Systemization......Page 302
Conclusion......Page 307
References......Page 308
Introduction......Page 310
Tomorrow's Situation......Page 312
Algebraic Graph Transformation......Page 314
Model Transformation......Page 316
Model Integration......Page 318
Case-Study: Compliance......Page 319
Conclusion......Page 321
References......Page 322
Scenario from the Aviation Industry......Page 324
Modelling Constraints......Page 326
Verifying Constraints......Page 328
References......Page 329
Introduction......Page 330
Linguistic Analysis......Page 331
Information Content Similarity Measure......Page 332
Domain Ontology Analysis......Page 333
Semantic Suggestions......Page 335
Domain Ontology Extension......Page 336
Ontology Skeleton Creation......Page 337
Case Study......Page 339
Conclusions and Future Work......Page 341
References......Page 342
Introduction......Page 343
Challenges on an Architecture Modelling Language......Page 345
Meeting the Challenges......Page 346
Domain Modelling......Page 348
Active Structure, Behaviour and Passive Structure......Page 349
Internal versus External......Page 350
Individual versus Collective Behaviour......Page 351
Modelling Enterprise Architectures......Page 352
References......Page 355
Introduction......Page 357
Vocabularies and Terminology Dictionaries......Page 358
Noun- and Verb Concepts......Page 359
Definitional (or Structural) Business Rules......Page 360
Operative (or Behavioural) Business Rules......Page 361
A Methodology to Define the Complete Set of Uniqueness, Mandatory Role, Set-Comparison and Value Constraints for an Application Subject Area from Structural Rule Necessity Statements......Page 362
Mandatory Role and Set-Comparison Constraints......Page 363
Conclusions and Recommendations for Future Research......Page 366
References......Page 367
Introduction......Page 368
Research Questions and Method......Page 369
Strategic Enablers......Page 370
Cultural Enablers......Page 371
People / Resource Enablers......Page 373
Governance Enablers......Page 374
Methodological Enablers......Page 375
The BPM Success Model......Page 378
References......Page 379
Introduction......Page 381
Backgrounds and Illustrating Example......Page 382
Challenge 1: Integration of Data......Page 383
Challenge 2: Choosing Granularities for Processes and Activities......Page 385
Challenge 3: Data-Based Modeling......Page 387
Challenge 4: Synchronizing Process Instances......Page 388
Challenge 5: Flexibility......Page 389
Related Work......Page 391
References......Page 393
Introduction......Page 395
Addition of an Instance......Page 396
Addition of a Query Result......Page 398
Removal of a Subset......Page 400
Change a Part of a Fact Type......Page 402
Conclusions......Page 404
References......Page 405
Introduction......Page 406
A Simple Example......Page 407
Structural Links between B and UML......Page 409
B to UML Translation Patterns......Page 410
Translation of Machine $AccessControl$......Page 412
Abstract State Predicates......Page 414
Transitions Properties......Page 416
Application......Page 417
Conclusion......Page 418
References......Page 419
Introduction......Page 420
Motivating Example and Use Cases......Page 421
Related Work......Page 423
Challenges for Vertical Alignment......Page 424
A Variety of Differences......Page 425
Model Correspondences......Page 427
The Notion of Consistency......Page 429
Empirical Research Questions......Page 430
References......Page 431
back-matter......Page 434