Advanced Information Systems Engineering [electronic resource] : 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005. Proceedings / edited by Oscar Pastor, João Falcão e Cunha.

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 for Knowledge 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.