Advanced Information Systems Engineering

Towrite aprefacemeansthat wehave reachedtheendofthislongway, and that in some way all the incidences and problems have been overcome. We can now say that it is really a big pleasure for us to welcome all of you to the proceedings of CAiSE 2005 which was held in Porto. CAiSE 2005 was the seventeenth in the series of International Conferences on Advanced Information Systems. Enforcing its tradition, since the late 1990s the CAiSE conferences have provided a forum for the presentation and exchange of research results and practical experiences within the ?eld of advanced infor- tionsystemsengineering.In2005,theconferencewashostedbytheFaculdadede Engenharia da Universidade do Porto, Portugal, going back to southern Europe, in particular to the Iberian peninsula, where CAiSE 1997 was held in Barcelona. The conference theme of CAiSE 2005 was Improving Communication and Understanding Systems and Citizens. Behind this theme, we ?nd the fact that the Internet has been changing societies and economies, and the way - stitutions and businesses operate has evolved rapidly. Most citizens are now - pected to interact directly with technology-based systems without direct human intermediation, usingdi?erentinterfaceappliances.Moreover,manyinformation systems interact with each other with limited human supervision. The Internet and its infrastructure play a critical role in this evolution, and it is of the utmost importance that semantic aspects are taken into consideration on a sound basis.

Inhalt
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 DataIntensive 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.