Advanced Information Systems Engineering

1. Front Matter

   PDF

2. Keynotes

   1. The Science of the Web

      • Nigel Shadbolt

      Pages 1-1

   2. TomTom for Business Process Management (TomTom4BPM)

      • Wil M. P. van der Aalst

      Pages 2-5

   3. Computer-Centric Business Operating Models vs. Network-Centric Ones

      • Mark de Simone

      Pages 6-7

   4. The IT Dilemma and the Unified Computing Framework

      • Edwin Paalvast

      Pages 8-8

   5. Tutorial: How to Value Software in a Business, and Where Might the Value Go?

      • Gio Wiederhold

      Pages 9-10

   6. Towards the Next Generation of Service-Based Systems: The S-Cube Research Framework

      • Andreas Metzger, Klaus Pohl

      Pages 11-16

3. Model Driven Engineering

   1. An Extensible Aspect-Oriented Modeling Environment

      • Naoyasu Ubayashi, Genya Otsubo, Kazuhide Noda, Jun Yoshida

      Pages 17-31

   2. Incremental Detection of Model Inconsistencies Based on Model Operations

      • Xavier Blanc, Alix Mougenot, Isabelle Mounier, Tom Mens

      Pages 32-46

   3. Reasoning on UML Conceptual Schemas with Operations

      • Anna Queralt, Ernest Teniente

      Pages 47-62

4. Conceptual Modelling 1

   1. Towards the Industrialization of Data Migration: Concepts and Patterns for Standard Software Implementation Projects

      • Klaus Haller

      Pages 63-78

   2. Defining and Using Schematic Correspondences for Automatically Generating Schema Mappings

      • Lu Mao, Khalid Belhajjame, Norman W. Paton, Alvaro A. A. Fernandes

      Pages 79-93

   3. The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited

      • Giancarlo Guizzardi

      Pages 94-109

5. Conceptual Modelling 2

   1. Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles

      • Giovanni Giachetti, Beatriz Marín, Oscar Pastor

      Pages 110-124

   2. Verifying Action Semantics Specifications in UML Behavioral Models

      • Elena Planas, Jordi Cabot, Cristina Gómez

      Pages 125-140

   3. Using Macromodels to Manage Collections of Related Models

      • Rick Salay, John Mylopoulos, Steve Easterbrook

      Pages 141-155

6. Quality and Data Integration

   1. A Case Study of Defect Introduction Mechanisms

      • Arbi Ghazarian

      Pages 156-170

   2. Measuring and Comparing Effectiveness of Data Quality Techniques

      • Lei Jiang, Daniele Barone, Alex Borgida, John Mylopoulos

      Pages 171-185

   3. Improving Model Quality Using Diagram Coverage Criteria

      • Rick Salay, John Mylopoulos

      Pages 186-200

7. Goal-Oriented Requirements Engineering

   1. A Method for the Definition of Metrics over i* Models

      • Xavier Franch

      Pages 201-215

This book constitutes the refereed proceedings of the 21st International Conference on Advanced Information Systems Engineering, CAiSE 2009, held in Amsterdam, The Netherlands, on June 8-12, 2009. The 36 papers presented in this book together with 6 keynote papers were carefully reviewed and selected from 230 submissions. The topics covered are model driven engineering, conceptual modeling, quality and data integration, goal-oriented requirements engineering, requirements and architecture, service orientation, Web service orchestration, value-driven modeling, workflow, business process modeling, and requirements engineering.

• Information System
• Workflow
• business process
• modeling
• requirements engineering
• systems engineering
• web service

• Department of Computer Science, University of Twente, Enschede, The Netherlands

  Pascal Eck, Roel Wieringa

• Department of Computer Science, VU University, Amsterdam, The Netherlands

  Jaap Gordijn

Policies and ethics