17. CAiSE 2005: Porto, Portugal

Keynotes

• Antoni Olivé:
  Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research. 1-15
  
• Jean Vanderdonckt:
  A MDA-Compliant Environment for Developing User Interfaces of Information Systems. 16-31
  
• Sudha Ram:
  Toward Semantic Interoperability of Heterogeneous Biological Data Sources. 32-32
  

Conceptual Modeling

• Joerg Evermann:
  The Association Construct in Conceptual Modelling - An Analysis Using the Bunge Ontological Model. 33-47
  
• Jordi Cabot, Ernest Teniente:
  Computing the Relevant Instances That May Violate an OCL Constraint. 48-62
  
• Peter Plessers, Olga De Troyer, Sven Casteleyn:
  Event-Based Modeling of Evolution for Semantic-Driven Systems. 63-76
  

Metamodeling

• Roberto Riggio, Domenico Ursino, Harald Kühn, Dimitris Karagiannis:
  Interoperability in Meta-environments: An XMI-Based Approach. 77-89
  
• Ilia Petrov, Stefan Jablonski, Marc Holze:
  On the Notion of Consistency in Metadata Repository Systems. 90-104
  
• Thomas B. Hodel, Roger Hacmac, Klaus R. Dittrich:
  Using Text Editing Creation Time Meta Data for Document Management. 105-118
  

Databases

• Elisa Bertino, Dolores Cuadra, Paloma Martínez:
  An Object-Relational Approach to the Representation of Multi-granular Spatio-Temporal Data. 119-134
  
• Luca Cabibbo, Antonio Carosi:
  Managing Inheritance Hierarchies in Object/Relational Mapping Tools. 135-150
  
• Ronaldo dos Santos Mello, Carlos A. Heuser:
  BInXS: A Process for Integration of XML Schemata. 151-166
  

Query Processing

• Chokri Ben Necib, Johann Christoph Freytag:
  Query Processing Using Ontologies. 167-186
  
• Raquel Kolitski Stasiu, Carlos A. Heuser, Roberto da Silva:
  Estimating Recall and Precision for Vague Queries in Databases. 187-200
  
• Dimitri Theodoratos, Theodore Dalamagas:
  Querying Tree-Structured Data Using Dimension Graphs. 201-215
  

Process Modeling and Workflow Systems

• Nick Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond:
  Workflow Resource Patterns: Identification, Representation and Tool Support. 216-232
  
• Birger Andersson, Maria Bergholtz, Ananda Edirisuriya, Tharaka Ilayperuma, Paul Johannesson:
  A Declarative Foundation of Process Models. 233-247
  
• Johann Eder, Marek Lehmann:
  Synchronizing Copies of External Data in Workflow Management Systems. 248-261
  

Requirements Engineering

• Stijn Hoppenbrouwers, Henderik Alex Proper, Theo P. van der Weide:
  Understanding the Requirements on Modelling Techniques. 262-276
  
• Anne Etien, Colette Rolland:
  A Process for Generating Fitness Measures. 277-292
  
• Ana M. D. Moreira, João Araújo, Awais Rashid:
  A Concern-Oriented Requirements Engineering Model. 293-308
  

Model Transformation

• Denivaldo Lopes, Slimane Hammoudi, Jean Bézivin, Frédéric Jouault:
  Generating Transformation Definition from Mapping Specification: Application to Web Service Platform. 309-325
  
• Nikolaos Rizopoulos, Peter McBrien:
  A General Approach to the Generation of Conceptual Model Transformations. 326-341
  
• Javier Muñoz, Vicente Pelechano:
  Building a Software Factory for Pervasive Systems Development. 342-356
  

Knowledge Management and Verification

• Bas van der Raadt, Johan F. Hoorn, Hans van Vliet:
  Alignment and Maturity Are Siblings in Architecture Assessment. 357-371
  
• Boudewijn F. van Dongen, Wil M. P. van der Aalst, H. M. W. Verbeek:
  Verification of EPCs: Using Reduction Rules and Petri Nets. 372-386
  
• An-Pin Chen, Mu-Yen Chen:
  Measurement Practices for Knowledge Management: An Option Perspective. 387-399
  

Web Services

• Ziv Baida, Jaap Gordijn, Hanne Sæle, Hans Akkermans, Andrei Z. Morch:
  An Ontological Approach for Eliciting and Understanding Needs in e-Services. 400-414
  
• Boualem Benatallah, Fabio Casati, Daniela Grigori, Hamid R. Motahari Nezhad, Farouk Toumani:
  Developing Adapters for Web Services Integration. 415-429
  
• Amel Mammar, Sophie Ramel, Bertrand Grégoire, Michael Schmitt II, Nicolas Guelfi:
  Efficient: A Toolset for Building Trusted B2B Transactions. 430-445
  

Web Engineering

• Silvia E. Gordillo, Gustavo Rossi, Daniel Schwabe:
  Separation of Structural Concerns in Physical Hypermedia Models. 446-459
  
• Sasivimol Kittivoravitkul, Peter McBrien:
  Integrating Unnormalised Semi-structured Data Sources. 460-474
  
• Davide Di Ruscio, Alfonso Pierantonio:
  Model Transformations in the Development of Data-Intensive Web Applications. 475-490
  

Software Testing

• David Benavides, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés:
  Automated Reasoning on Feature Models. 491-503
  
• Pedro de Alcântara dos Santos Neto, Rodolfo F. Resende, Clarindo Isaías Pereira da Silva e Pádua:
  A Method for Information Systems Testing Automation. 504-518
  
• Andreas Reuys, Erik Kamsties, Klaus Pohl, Sacha Reis:
  Model-Based System Testing of Software Product Families. 519-534
  

Software Quality

• Julio Cesar Sampaio do Prado Leite, Yijun Yu, Lin Liu, Eric S. K. Yu, John Mylopoulos:
  Quality-Based Software Reuse. 535-550
  
• Xavier Franch:
  On the Lightweight Use of Goal-Oriented Models for Software Package Selection. 551-566
  
• Joost J. P. Schalken, Sjaak Brinkkemper, Hans van Vliet:
  Measuring IT Infrastructure Project Size: Infrastructure Effort Points. 567-581