Advanced Information Systems Engineering: 17th International Conference, Caise 2005, Porto, Portugal, June 13-17, 2005, Proceedings (lecture Notes In Computer Science)

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. Front Matter....Pages - Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research....Pages 1-15 A MDA-Compliant Environment for Developing User Interfaces of Information Systems....Pages 16-31 Toward Semantic Interoperability of Heterogeneous Biological Data Sources....Pages 32-32 The Association Construct in Conceptual Modelling – An Analysis Using the Bunge Ontological Model....Pages 33-47 Computing the Relevant Instances That May Violate an OCL Constraint....Pages 48-62 Event-Based Modeling of Evolution for Semantic-Driven Systems....Pages 63-76 Interoperability in Meta-environments: An XMI-Based Approach....Pages 77-89 On the Notion of Consistency in Metadata Repository Systems....Pages 90-104 Using Text Editing Creation Time Meta Data for Document Management....Pages 105-118 An Object-Relational Approach to the Representation of Multi-granular Spatio-Temporal Data....Pages 119-134 Managing Inheritance Hierarchies in Object/Relational Mapping Tools....Pages 135-150 BInXS: A Process for Integration of XML Schemata....Pages 151-166 Query Processing Using Ontologies....Pages 167-186 Estimating Recall and Precision for Vague Queries in Databases....Pages 187-200 Querying Tree-Structured Data Using Dimension Graphs....Pages 201-215 Workflow Resource Patterns: Identification, Representation and Tool Support....Pages 216-232 A Declarative Foundation of Process Models....Pages 233-247 Synchronizing Copies of External Data in Workflow Management Systems....Pages 248-261 Understanding the Requirements on Modelling Techniques....Pages 262-276 A Process for Generating Fitness Measures....Pages 277-292 A Concern-Oriented Requirements Engineering Model....Pages 293-308 Generating Transformation Definition from Mapping Specification: Application to Web Service Platform....Pages 309-325 A General Approach to the Generation of Conceptual Model Transformations....Pages 326-341 Building a Software Factory for Pervasive Systems Development....Pages 342-356 Alignment and Maturity Are Siblings in Architecture Assessment....Pages 357-371 Verification of EPCs: Using Reduction Rules and Petri Nets....Pages 372-386 Measurement Practices for Knowledge Management: An Option Perspective....Pages 387-399 An Ontological Approach for Eliciting and Understanding Needs in e-Services....Pages 400-414 Developing Adapters for Web Services Integration....Pages 415-429 Efficient: A Toolset for Building Trusted B2B Transactions....Pages 430-445 Separation of Structural Concerns in Physical Hypermedia Models....Pages 446-459 Integrating Unnormalised Semi-structured Data Sources....Pages 460-474 Model Transformations in the Development of Data–Intensive Web Applications....Pages 475-490 Automated Reasoning on Feature Models....Pages 491-503 A Method for Information Systems Testing Automation....Pages 504-518 Model-Based System Testing of Software Product Families....Pages 519-534 Quality-Based Software Reuse....Pages 535-550 On the Lightweight Use of Goal-Oriented Models for Software Package Selection....Pages 551-566 Measuring IT Infrastructure Project Size: Infrastructure Effort Points....Pages 567-581 Back Matter....Pages -

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.

"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." The goal of automating information systems building was stated in the sixties [49].