21. CAiSE 2009: Amsterdam, The Netherlands

Keynotes

• Nigel Shadbolt:
  The Science of the Web. 1
  
• Wil M. P. van der Aalst:
  TomTom for Business Process Management (TomTom4BPM). 2-5
  
• Mark de Simone:
  Computer-Centric Business Operating Models vs. Network-Centric Ones. 6-7
  
• Edwin Paalvast:
  The IT Dilemma and the Unified Computing Framework. 8
  
• Gio Wiederhold:
  Tutorial: How to Value Software in a Business, and Where Might the Value Go?. 9-10
  
• Andreas Metzger, Klaus Pohl:
  Towards the Next Generation of Service-Based Systems: The S-Cube Research Framework. 11-16
  

Model Driven Engineering

• Naoyasu Ubayashi, Genya Otsubo, Kazuhide Noda, Jun Yoshida:
  An Extensible Aspect-Oriented Modeling Environment. 17-31
  
• Xavier Blanc, Alix Mougenot, Isabelle Mounier, Tom Mens:
  Incremental Detection of Model Inconsistencies Based on Model Operations. 32-46
  
• Anna Queralt, Ernest Teniente:
  Reasoning on UML Conceptual Schemas with Operations. 47-62
  

Conceptual Modelling 1

• Klaus Haller:
  Towards the Industrialization of Data Migration: Concepts and Patterns for Standard Software Implementation Projects. 63-78
  
• Lu Mao, Khalid Belhajjame, Norman W. Paton, Alvaro A. A. Fernandes:
  Defining and Using Schematic Correspondences for Automatically Generating Schema Mappings. 79-93
  
• Giancarlo Guizzardi:
  The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited. 94-109
  

Conceptual Modelling 2

• Giovanni Giachetti, Beatriz Marín, Oscar Pastor:
  Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles. 110-124
  
• Elena Planas, Jordi Cabot, Cristina Gómez:
  Verifying Action Semantics Specifications in UML Behavioral Models. 125-140
  
• Rick Salay, John Mylopoulos, Steve M. Easterbrook:
  Using Macromodels to Manage Collections of Related Models. 141-155
  

Quality and Data Integration

• Arbi Ghazarian:
  A Case Study of Defect Introduction Mechanisms. 156-170
  
• Lei Jiang, Daniele Barone, Alexander Borgida, John Mylopoulos:
  Measuring and Comparing Effectiveness of Data Quality Techniques. 171-185
  
• Rick Salay, John Mylopoulos:
  Improving Model Quality Using Diagram Coverage Criteria. 186-200
  

Goal-Oriented Requirements Engineering

• Xavier Franch:
  A Method for the Definition of Metrics over i* Models. 201-215
  
• Wenting Ma, Lin Liu, Haihua Xie, Hongyu Zhang, Jinglei Yin:
  Preference Model Driven Services Selection. 216-230
  
• Haralambos Mouratidis, Ali Sunyaev, Jan Jürjens:
  Secure Information Systems Engineering: Experiences and Lessons Learned from Two Health Care Projects. 231-245
  

Requirements and Architecture

• Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos:
  An Architecture for Requirements-Driven Self-reconfiguration. 246-260
  
• HongQing Yu, Stephan Reiff-Marganiec:
  Automated Context-Aware Service Selection for Collaborative Systems. 261-274
  
• Alexandre de Spindler, Michael Grossniklaus, Moira C. Norrie:
  Development Framework for Mobile Social Applications. 275-289
  

Service Orientation

• Vasilios Andrikopoulos, Salima Benbernou, Mike P. Papazoglou:
  Evolving Services from a Contractual Perspective. 290-304
  
• Yanan Hao, Jinli Cao, Yanchun Zhang:
  Efficient IR-Style Search over Web Services. 305-318
  
• Sylvain Kubicki, Eric Dubois, Gilles Halin, Annie Guerriero:
  Towards a Sustainable Services Innovation in the Construction Sector. 319-333
  

Web Service Orchestration

• Devis Bianchini, Cinzia Cappiello, Valeria De Antonellis, Barbara Pernici:
  P2S: A Methodology to Enable Inter-organizational Process Design through Web Services. 334-348
  
• Horst Pichler, Michaela Wenger, Johann Eder:
  Composing Time-Aware Web Service Orchestrations. 349-363
  
• Nawal Guermouche, Claude Godart:
  Asynchronous Timed Web Service-Aware Choreography Analysis. 364-378
  

Value-Driven Modelling

• Bela Mutschler, Manfred Reichert:
  Evaluation Patterns for Analyzing the Costs of Enterprise Information Systems. 379-394
  
• Frederik Gailly, Geert Poels:
  Using the REA Ontology to Create Interoperability between E-Collaboration Modeling Standards. 395-409
  
• Hans Weigand, Paul Johannesson, Birger Andersson, Maria Bergholtz:
  Value-Based Service Modeling and Design: Toward a Unified View of Services. 410-424
  

Workflow

• Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova:
  Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows. 425-439
  
• Thomas Hornung, Wolfgang May, Georg Lausen:
  Process Algebra-Based Query Workflows. 440-454
  
• Jie Liu, Senlin Liang, Dan Ye, Jun Wei, Tao Huang:
  ETL Workflow Analysis and Verification Using Backwards Constraint Propagation. 455-469
  

Business Process Modelling

• Barbara Weber, Hajo A. Reijers, Stefan Zugal, Werner Wild:
  The Declarative Approach to Business Process Execution: An Empirical Test. 470-485
  
• Florian Gottschalk, Teun A. C. Wagemakers, Monique H. Jansen-Vullers, Wil M. P. van der Aalst, Marcello La Rosa:
  Configurable Process Models: Experiences from a Municipality Case Study. 486-500
  
• Marta Indulska, Jan Recker, Michael Rosemann, Peter Green:
  Business Process Modeling: Current Issues and Future Challenges. 501-514
  

Requirements Engineering

• Ian Sommerville, Russell Lock, Tim Storer, John Dobson:
  Deriving Information Requirements from Responsibility Models. 515-529
  
• Sergio España, Arturo González, Oscar Pastor:
  Communication Analysis: A Requirements Engineering Method for Information Systems. 530-545
  
• Haruhiko Kaiya, Masaaki Tanigawa, Shunichi Suzuki, Tomonori Sato, Kenji Kaijiri:
  Spectrum Analysis for Quality Requirements by Using a Term-Characteristics Map. 546-560