Advanced Information Systems Engineering

Keynotes.- The Science of the Web.- TomTom for Business Process Management (TomTom4BPM).- Computer-Centric Business Operating Models vs. Network-Centric Ones.- The IT Dilemma and the Unified Computing Framework.- Tutorial: How to Value Software in a Business, and Where Might the Value Go?.- Towards the Next Generation of Service-Based Systems: The S-Cube Research Framework.- Model Driven Engineering.- An Extensible Aspect-Oriented Modeling Environment.- Incremental Detection of Model Inconsistencies Based on Model Operations.- Reasoning on UML Conceptual Schemas with Operations.- Conceptual Modelling 1.- Towards the Industrialization of Data Migration: Concepts and Patterns for Standard Software Implementation Projects.- Defining and Using Schematic Correspondences for Automatically Generating Schema Mappings.- The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited.- Conceptual Modelling 2.- Using UML as a Domain-Specific Modeling Language: A Proposal forAutomatic Generation of UML Profiles.- Verifying Action Semantics Specifications in UML Behavioral Models.- Using Macromodels to Manage Collections of Related Models.- Quality and Data Integration.- A Case Study of Defect Introduction Mechanisms.- Measuring and Comparing Effectiveness of Data Quality Techniques.- Improving Model Quality Using Diagram Coverage Criteria.- Goal-Oriented Requirements Engineering.- A Method for the Definition of Metrics over i* Models.- Preference Model Driven Services Selection.- Secure Information Systems Engineering: Experiences and Lessons Learned from Two Health Care Projects.- Requirements and Architecture.- An Architecture for Requirements-Driven Self-reconfiguration.- Automated Context-Aware Service Selection for Collaborative Systems.- Development Framework for Mobile Social Applications.- Service Orientation.- Evolving Services from a Contractual Perspective.- Efficient IR-Style Search over Web Services.- Towards a Sustainable Services Innovationin the Construction Sector.- Web Service Orchestration.- P2S: A Methodology to Enable Inter-organizational Process Design through Web Services.- Composing Time-Aware Web Service Orchestrations.- Asynchronous Timed Web Service-Aware Choreography Analysis.- Value-Driven Modelling.- Evaluation Patterns for Analyzing the Costs of Enterprise Information Systems.- Using the REA Ontology to Create Interoperability between E-Collaboration Modeling Standards.- Value-Based Service Modeling and Design: Toward a Unified View of Services.- Workflow.- Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows.- Process Algebra-Based Query Workflows.- ETL Workflow Analysis and Verification Using Backwards Constraint Propagation.- Business Process Modelling.- The Declarative Approach to Business Process Execution: An Empirical Test.- Configurable Process Models: Experiences from a Municipality Case Study.- Business Process Modeling: Current Issues and Future Challenges.- Requirements Engineering.- Deriving Information Requirements from Responsibility Models.- Communication Analysis: A Requirements Engineering Method for Information Systems.- Spectrum Analysis for Quality Requirements by Using a Term-Characteristics Map.