Keynote -- The Challenges of Service Evolution -- Duality and Process Modeling -- Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets -- On the Duality of Information-Centric and Activity-Centric Models of Business Processes -- A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures -- Interoperability of IS and Enterprises -- An Aspect Oriented Approach for Context-Aware Service Domain Adapted to E-Business -- Modeling Service Choreographies Using BPMN and BPEL4Chor -- Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities -- Refactoring -- Documenting Application-Specific Adaptations in Software Product Line Engineering -- Refactoring Process Models in Large Process Repositories -- Service-Oriented Information Systems Engineering: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business Evolutions -- Information Systems in e-Government and Life-Science -- GATiB-CSCW, Medical Research Supported by a Service-Oriented Collaborative System -- Strategic Alignment in the Context of e-Services - An Empirical Investigation of the INSTAL Approach Using the Italian eGovernment Initiative Case Study -- Knowledge Patterns for IS Engineering -- Understanding and Improving Collective Attention Economy for Expertise Sharing -- Exploring the Effectiveness of Normative i* Modelling: Results from a Case Study on Food Chain Traceability -- Towards a Catalogue of Patterns for Defining Metrics over i* Models -- Requirements Engineering for IS -- Business Process Modelling and Purpose Analysis for Requirements Analysis of Information Systems -- Supporting the Elicitation of Requirements Compliant with Regulations -- On the Impact of Evolving Requirements-Architecture Dependencies: An Exploratory Study -- The IT Organization Modeling and Assessment Tool for IT Governance Decision Support -- Ensuring Transactional Reliability by E-Contracting -- Conceptual Schema Modeling -- Drawing Preconditions of Operation Contracts from Conceptual Schemas -- Decidable Reasoning in UML Schemas with Constraints -- Round-Trip Engineering for Maintaining Conceptual-Relational Mappings -- Service Infrastructure -- Capturing and Using QoS Relationships to Improve Service Selection -- KAF: Kalman Filter Based Adaptive Maintenance for Dependability of Composite Services -- SpreadMash: A Spreadsheet-Based Interactive Browsing and Analysis Tool for Data Services -- Service Evolution -- Managing the Evolution of Service Specifications -- On the Definition of Service Granularity and Its Architectural Impact -- Reasoning about Substitute Choices and Preference Ordering in e-Services -- Flexible Information Technologies -- Message Correlation and Business Protocol Discovery in Service Interaction Logs -- Concern-Sensitive Navigation: Improving Navigation in Web Software through Separation of Concerns -- A Flexible and Semantic-Aware Publication Infrastructure for Web Services -- Metrics and Process Modelling -- Measuring Similarity between Business Process Models -- How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation -- On a Quest for Good Process Models: The Cross-Connectivity Metric -- Information Systems Engineering -- Information Systems Engineering Supported by Cognitive Matchmaking -- On Modeling and Analyzing Cost Factors in Information Systems Engineering -- Computer-Aided Method Engineering: An Analysis of Existing Environments -- Adapting Secure Tropos for Security Risk Management in the Early Phases of Information Systems Development -- IS Development with Ubiquitous Technologies -- Probabilistic Entity Linkage for Heterogeneous Information Spaces -- Product Based Workflow Support: Dynamic Workflow Execution -- Location-Based Variability for Mobile Information Systems -- Modelling, Simulation, and Performance Analysis of Business Processes Involving Ubiquitous Systems -- Open Source Workflow: A Viable Direction for BPM?.

This book constitutes the refereed proceedings of the 20th International Conference on Advanced Information Systems Engineering, CAiSE 2008, held in Montpellier, France, in June 2008. The 35 revised full papers and 9 revised short papers presented together with 1 keynote lecture were carefully reviewed and selected from 273 submissions. The papers are organized in topical sections on duality and process modelling, interoperability of IS and enterprises, refactoring, information systems in e-government and life-science, knowledge patterns for IS engineering, requirements engineering for IS, conceptual schema modelling, service infrastructure, service evolution, flexible information technologies, metrics and process modelling, information system engineering, and IS development with ubiquitous technologies.