Keynotes

• Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research

  Antoni Olivé i Tomàs

  págs. 1-15

  

• A MDA-Compliant Environment for Developing User Interfaces of Information Systems

  Jean Vanderdonckt

  págs. 16-31

  

• Toward Semantic Interoperability of Heterogeneous Biological Data Sources

  Sudha Rama Ram

  págs. 32-33

  

Conceptual Modeling

• The Association Construct in Conceptual Modelling � An Analysis Using the Bunge Ontological Model

  Joerg Evermann

  págs. 33-47

  

• Computing the Relevant Instances That May Violate an OCL constraint

  Jordi Cabot, Ernest Teniente

  págs. 48-62

  

• Event-Based Modeling of Evolution for Semantic-Driven Systems

  Sven Casteleyn, Peter Plessers, Olga De Troyer

  págs. 63-76

  

Metamodeling

• Interoperability in Meta-environments: An XMI-Based Approach

  Domenico Ursino, Harald Kühn, D. Karagiannis, Roberto Riggio

  págs. 77-89

  

• On the Notion of Consistency in Metadata Repository Systems

  Ilia Petrov, Stefan Jablonski, Marc Holze

  págs. 90-104

  

• Using Text Editing Creation Time Meta Data for Document Management

  Klaus Dittrich, Thomas B. Hodel, Roger Hacmac

  págs. 105-118

  

Databases

• An Object-Relational Approach to the Representation of Multi-granular Spatio-Temporal Data

  Elisa Bertino, Dolores Cuadra Fernández, Paloma Martínez Fernández

  págs. 119-134

  

• Managing Inheritance Hierarchies in Object/Relational Mapping Tools

  Luca Cabibbo, Antonio Carosi

  págs. 135-150

  

• BInXS: A Process for Integration of XML Schemata

  Carlos A. Heuser, Ronaldo dos Santos Mello

  págs. 151-166

  

Query Processing

• Query Processing Using Ontologies

  Chokri Ben Necib, Johann-Christoph Freytag

  págs. 167-186

  

• Estimating Recall and Precision for Vague Queries in Databases

  Carlos A. Heuser, Raquel Kolitski Stasiu, Roberto da Silva

  págs. 187-200

  

• Querying Tree-Structured Data Using Dimension Graphs

  Theodore Dalamagas, Dimitri Theodoratos

  págs. 201-215

  

Process Modeling and Workflow Systems

• Workflow Resource Patterns: Identification, Representation and Tool Support

  Nick Russell, Wil M. P. van der Aalst, A. H. M. ter Hofstede, D. Edmond

  págs. 216-232

  

• A Declarative Foundation of Process Models

  Birger Andersson, Maria Bergholtz, Ananda Edirisuriya, Tharaka Ilayperuma, Paul Johannesson

  págs. 233-247

  

• Synchronizing Copies of External Data in Workflow Management Systems

  Johann Eder, Marek Lehmann

  págs. 248-261

  

Requirements Engineering

• Understanding the Requirements on Modelling Techniques

  S.J.B.A. Hoppenbrouwers, H.A. Proper, Th.P. van der Weide

  págs. 262-276

  

• A Process for Generating Fitness Measures

  Anne Etien, Colette Rolland

  págs. 277-293

  

• A Concern-Oriented Requirements Engineering Model

  Ana Moreira, João Araújo, Awais Rashid

  págs. 293-308

  

Model Transformation

• Generating Transformation Definition from Mapping Specification: Application to Web Service Platform

  Jean Bézivin, Denivaldo Lopes, Slimane Hammoudi, Frédéric Jouault

  págs. 309-325

  

• A General Approach to the Generation of Conceptual Model Transformations

  Nikolaos Rizopoulos, Peter McBrien

  págs. 326-341

  

• Building a Software Factory for Pervasive Systems Development

  Vicente Pelechano Ferragud, Javier Muñoz Ferrara

  págs. 342-356

  

Knowledge Management and Verification

• Alignment and Maturity Are Siblings in Architecture Assessment

  Johan F. Hoorn, Bas van der Raadt, Hans van Vliet

  págs. 357-371

  

• Verification of EPCs: Using Reduction Rules and Petri Nets

  B.F. van Dongen, Wil M. P. van der Aalst, H. M. W. Verbeek

  págs. 372-386

  

• Measurement Practices for Knowledge Management: An Option Perspective

  Anping Chen, Mu-Yen Chen

  págs. 387-399

  

Web Services

• An Ontological Approach for Eliciting and Understanding Needs in e-Services

  Ziv Baida, Jaap Gordijn, Hans Akkermans, Hanne Sæle, Andrei Z. Morch

  págs. 400-414

  

• Developing Adapters for Web Services Integration

  Fabio Casati, Daniela Grigori, Boualem Benatallah, Hamid R. Motahari Nezhad, Farouk Toumani

  págs. 415-429

  

• Efficient: A Toolset for Building Trusted B2B Transactions

  Nicolas Guelfi, Amel Mammar

  págs. 430-445

  

Web Engineering

• Separation of Structural Concerns in Physical Hypermedia Models

  Silvia Gordillo, Gustavo Rossi, Daniel Schwabe

  págs. 446-459

  

• Integrating Unnormalised Semi-structured Data Sources

  Peter McBrien, Sasivimol Kittivoravitkul

  págs. 460-474

  

• Model Transformations in the Development of Data�Intensive Web Applications

  Davide Di Ruscio, Alfonso Pierantonio

  págs. 475-490

  

Software Testing

• Automated Reasoning on Feature Models

  David Benavides, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés

  • Texto completo

  págs. 491-503

  

• A Method for Information Systems Testing Automation

  Pedro Santos Neto, Rodolfo Resende, Clarindo Pádua

  págs. 504-519

  

• Model-Based System Testing of Software Product Families

  Klaus Pohl, Andreas Reuys, Erik Kamsties, Sacha Reis

  págs. 519-534

  

Software Quality

• Quality-Based Software Reuse

  Júlio César do Prado Leite, Yikun Yu, John Mylopoulos, Lin Liu, Eric S.K. Yu

  págs. 535-550

  

• On the Lightweight Use of Goal-Oriented Models for Software Package Selectiom

  X. Franch

  págs. 551-566

  

• Measuring IT Infrastructure Project Size: Infrastructure Effort Points

  Sjaak Brinkkemper, Hans van Vliet, Joost Schalken

  págs. 567-582

  

Author Index