Advanced Information Systems Engineering 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings

This book constitutes the refereed proceedings of the 17th International Conference on Advanced Information Systems Engineering, CAiSE 2005, held in Porto, Portugal in June 2005.
The 39 revised full papers presented were carefully reviewed and selected from 282 submissions. The papers are organized in topical sections on conceptual modeling, metamodeling, databases, query processing, process modeling and workflow systems, requirements engineering, model transformation, knowledge management and verification, Web services, Web engineering, software testing, and software quality.

Keynotes.- Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research.- A MDA-Compliant Environment for Developing User Interfaces of Information Systems.- Toward Semantic Interoperability of Heterogeneous Biological Data Sources.- Conceptual Modeling.- The Association Construct in Conceptual Modelling – An Analysis Using the Bunge Ontological Model.- Computing the Relevant Instances That May Violate an OCL Constraint.- Event-Based Modeling of Evolution for Semantic-Driven Systems.- Metamodeling.- Interoperability in Meta-environments: An XMI-Based Approach.- On the Notion of Consistency in Metadata Repository Systems.- Using Text Editing Creation Time Meta Data for Document Management.- Databases.- An Object-Relational Approach to the Representation of Multi-granular Spatio-Temporal Data.- Managing Inheritance Hierarchies in Object/Relational Mapping Tools.- BInXS: A Process for Integration of XML Schemata.- Query Processing.- Query Processing Using Ontologies.- Estimating Recall and Precision for Vague Queries in Databases.- Querying Tree-Structured Data Using Dimension Graphs.- Process Modeling and Workflow Systems.- Workflow Resource Patterns: Identification, Representation and Tool Support.- A Declarative Foundation of Process Models.- Synchronizing Copies of External Data in Workflow Management Systems.- Requirements Engineering.- Understanding the Requirements on Modelling Techniques.- A Process for Generating Fitness Measures.- A Concern-Oriented Requirements Engineering Model.- Model Transformation.- Generating Transformation Definition from Mapping Specification: Application to Web Service Platform.- A General Approach to the Generation of Conceptual Model Transformations.- Building a Software Factory for Pervasive Systems Development.- Knowledge Management and Verification.- Alignment and Maturity Are Siblings in Architecture Assessment.- Verification of EPCs: Using Reduction Rules and Petri Nets.- Measurement Practices forKnowledge Management: An Option Perspective.- Web Services.- An Ontological Approach for Eliciting and Understanding Needs in e-Services.- Developing Adapters for Web Services Integration.- Efficient: A Toolset for Building Trusted B2B Transactions.- Web Engineering.- Separation of Structural Concerns in Physical Hypermedia Models.- Integrating Unnormalised Semi-structured Data Sources.- Model Transformations in the Development of Data–Intensive Web Applications.- Software Testing.- Automated Reasoning on Feature Models.- A Method for Information Systems Testing Automation.- Model-Based System Testing of Software Product Families.- Software Quality.- Quality-Based Software Reuse.- On the Lightweight Use of Goal-Oriented Models for Software Package Selection.- Measuring IT Infrastructure Project Size: Infrastructure Effort Points.