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.
Author(s): Nigel Shadbolt (auth.), Pascal van Eck, Jaap Gordijn, Roel Wieringa (eds.)
Series: Lecture Notes in Computer Science 5565 : Information Systems and Applications, incl. Internet/Web, and HCI
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2009
Language: English
Pages: 562
Tags: Database Management; Information Systems Applications (incl.Internet); User Interfaces and Human Computer Interaction; Data Mining and Knowledge Discovery; Computers and Society; Business Information Systems
Front Matter....Pages -
The Science of the Web....Pages 1-1
TomTom for Business Process Management (TomTom4BPM)....Pages 2-5
Computer-Centric Business Operating Models vs. Network-Centric Ones....Pages 6-7
The IT Dilemma and the Unified Computing Framework....Pages 8-8
Tutorial: How to Value Software in a Business, and Where Might the Value Go?....Pages 9-10
Towards the Next Generation of Service-Based Systems: The S-Cube Research Framework....Pages 11-16
An Extensible Aspect-Oriented Modeling Environment....Pages 17-31
Incremental Detection of Model Inconsistencies Based on Model Operations....Pages 32-46
Reasoning on UML Conceptual Schemas with Operations....Pages 47-62
Towards the Industrialization of Data Migration: Concepts and Patterns for Standard Software Implementation Projects....Pages 63-78
Defining and Using Schematic Correspondences for Automatically Generating Schema Mappings....Pages 79-93
The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited....Pages 94-109
Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles....Pages 110-124
Verifying Action Semantics Specifications in UML Behavioral Models....Pages 125-140
Using Macromodels to Manage Collections of Related Models....Pages 141-155
A Case Study of Defect Introduction Mechanisms....Pages 156-170
Measuring and Comparing Effectiveness of Data Quality Techniques....Pages 171-185
Improving Model Quality Using Diagram Coverage Criteria....Pages 186-200
A Method for the Definition of Metrics over i * Models....Pages 201-215
Preference Model Driven Services Selection....Pages 216-230
Secure Information Systems Engineering: Experiences and Lessons Learned from Two Health Care Projects....Pages 231-245
An Architecture for Requirements-Driven Self-reconfiguration....Pages 246-260
Automated Context-Aware Service Selection for Collaborative Systems....Pages 261-274
Development Framework for Mobile Social Applications....Pages 275-289
Evolving Services from a Contractual Perspective....Pages 290-304
Efficient IR-Style Search over Web Services....Pages 305-318
Towards a Sustainable Services Innovation in the Construction Sector....Pages 319-333
P2S: A Methodology to Enable Inter-organizational Process Design through Web Services....Pages 334-348
Composing Time-Aware Web Service Orchestrations....Pages 349-363
Asynchronous Timed Web Service-Aware Choreography Analysis....Pages 364-378
Evaluation Patterns for Analyzing the Costs of Enterprise Information Systems....Pages 379-394
Using the REA Ontology to Create Interoperability between E-Collaboration Modeling Standards....Pages 395-409
Value-Based Service Modeling and Design: Toward a Unified View of Services....Pages 410-424
Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows....Pages 425-439
Process Algebra-Based Query Workflows....Pages 440-454
ETL Workflow Analysis and Verification Using Backwards Constraint Propagation....Pages 455-469
The Declarative Approach to Business Process Execution: An Empirical Test....Pages 470-485
Configurable Process Models: Experiences from a Municipality Case Study....Pages 486-500
Business Process Modeling: Current Issues and Future Challenges....Pages 501-514
Deriving Information Requirements from Responsibility Models....Pages 515-529
Communication Analysis: A Requirements Engineering Method for Information Systems....Pages 530-545
Spectrum Analysis for Quality Requirements by Using a Term-Characteristics Map....Pages 546-560
Back Matter....Pages -
