Advanced Information Systems Engineering: 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings: Lecture Notes in Computer Science, cartea 3520

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.