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

by Pastor, Oscar; Falcao E Cunha, Joao

• ISBN13: 9783540260950
• ISBN10: 3540260951
• Format: Paperback
• Copyright: 2005-08-15
• Publisher: Springer Verlag

Summary

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.

Table of Contents

Keynotes
Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research
Antoni Olivé	1	(15)
A MDA-Compliant Environment for Developing User Interfaces of Information Systems
Jean Vanderdonckt	16	(16)
Toward Semantic Interoperability of Heterogeneous Biological Data Sources
Sudha Ram	32	(1)
Conceptual Modeling
The Association Construct in Conceptual Modelling — An Analysis Using the Bunge Ontological Model
Joerg Evermann	33	(15)
Computing the Relevant Instances That May Violate an OCL constraint
Jordi Cabot, Ernest Teniente	48	(15)
Event-Based Modeling of Evolution for Semantic-Driven Systems
Peter Plessers, Olga De Troyer, Sven Casteleyn	63	(14)
Metamodeling
Interoperability in Meta-environments: An XMI-Based Approach
Roberto Riggio, Domenico Ursino, Harald Kühn, Dimitris Karagiannis	77	(13)
On the Notion of Consistency in Metadata Repository Systems
Ilia Petrov, Stefan Jablonski, Marc Holze	90	(15)
Using Text Editing Creation Time Meta Data for Document Management
Thomas B. Hodel, Roger Hacmac, Klaus R. Dittrich	105	(14)
Databases
An Object-Relational Approach to the Representation of Multi-granular Spatio-Temporal Data
Elisa Bertino, Dolores Cuadra, Paloma Martinez	119	(16)
Managing Inheritance Hierarchies in Object/Relational Mapping Tools
Luca Cabibbo, Antonio Carosi	135	(16)
BInXS: A Process for Integration of XML Schemata
Ronaldo dos Santos Mello, Carlos Alberto Heuser	151	(16)
Query Processing
Query Processing Using Ontologies
Chokri Ben Necib, Johann-Christoph Freytag	167	(20)
Estimating Recall and Precision for Vague Queries in Databases
Raquel Kolitski Stasiu, Carlos A. Heuser, Roberto da Silva	187	(14)
Querying Tree-Structured Data Using Dimension Graphs
Dimitri Theodoratos, Theodore Dalamagas	201	(15)
Process Modeling and Workflow Systems
Workflow Resource Patterns: Identification, Representation and Tool Support
Nick Russell, Wil M.P. van der Aalst, Arthur H.M. ter Hofstede, David Edmond	216	(17)
A Declarative Foundation of Process Models
Birger Andersson, Maria Bergholtz, Ananda Edirisuriya, Tharaka Ilayperuma, Paul Johannesson	233	(15)
Synchronizing Copies of External Data in Workflow Management Systems
Johann Eder, Marek Lehmann	248	(14)
Requirements Engineering
Understanding the Requirements on Modelling Techniques
S.J.B.A. Hoppenbrouwers, H.A. Proper, Th.P. van der Weide	262	(15)
A Process for Generating Fitness Measures
Anne Etien, Colette Rolland	277	(16)
A Concern-Oriented Requirements Engineering Model
Ana Moreira, João Araújo, Awais Rashid	293	(16)
Model Transformation
Generating Transformation Definition from Mapping Specification: Application to Web Service Platform
Denivaldo Lopes, Slimane Hammoudi, Jean Bézivin, Frédéric Jouault	309	(17)
A General Approach to the Generation of Conceptual Model Transformations
Nikolaos Rizopoulos, Peter McBrien	326	(16)
Building a Software Factory for Pervasive Systems Development
Javier Muñoz, Vicente Pelechano	342	(15)
Knowledge Management and Verification
Alignment and Maturity Are Siblings in Architecture Assessment
Bas van der Raadt, Johan F. Hoorn, Hans van Vliet	357	(15)
Verification of EPCs: Using Reduction Rules and Petri Nets
B.F. van Dongen, W.M.P. van der Aalst, H.M.W. Verbeek	372	(15)
Measurement Practices for Knowledge Management: An Option Perspective
An-Pin Chen, Mu-Yen Chen	387	(13)
Web Services
An Ontological Approach for Eliciting and Understanding Needs in e-Services
Ziv Baida, Jaap Gordijn, Hanne Sæle, Hans Akkermans, Andrei Z. Morch	400	(15)
Developing Adapters for Web Services Integration
Boualem Benatallah, Fabio Casati, Daneila Grigori, Hamid R. Motahari Nezhad, Farouk Toumani	415	(15)
Efficient: A Toolset for Building Trusted B2B Transactions
Amel Mammar, Sophie Ramel, Bertrand Grégoire, Michael Schmitt, Nicolas Guelfi	430	(16)
Web Engineering
Separation of Structural Concerns in Physical Hypermedia Models
Silvia Gordillo, Gustavo Rossi, Daniel Schwabe	446	(14)
Integrating Unnormalised Semi-structured Data Sources
Sasivimol Kittivoravitkul, Peter McBrien	460	(15)
Model Transformations in the Development of Data–Intensive Web Applications
Davide Di Ruscio, Alfonso Pierantonio	475	(16)
Software Testing
Automated Reasoning on Feature Models
David Benavides, Pablo Trinidad, Antonio Ruiz-Cortés	491	(13)
A Method for Information Systems Testing Automation
Pedro Santos Neto, Rodolfo Resende, Clarindo Pádua	504	(15)
Model-Based System Testing of Software Product Families
Andreas Reuys, Erik Kamsties, Klaus Pohl, Sacha, Reis	519	(16)
Software Quality
Quality-Based Software Reuse
Julio Cesar Sampaio do Prado Leite, Yijun Yu, Lin Liu, Eric S.K. Yu, John Mylopoulos	535	(16)
On the Lightweight Use of Goal-Oriented Models for Software Package Selection
Xavier Franch	551	(16)
Measuring IT Infrastructure Project Size: Infrastructure Effort Points
Joost Schalken, Sjaak Brinkkemper, Hans van Vliet	567	(16)
Author Index	583