9. CAiSE 1997: Barcelona, Catalonia, Spain

Invited Paper

• Stefano Ceri, Piero Fraternali:
  The Story of the IDEA Methodology. 1-17
  

Requirements Engineering I

• Roel Wieringa, Eric Dubois, Sander Huyts:
  Integrating Semi-formal and Formal Requirements. 19-32
  
• Oscar Díaz, Norman W. Paton:
  Stimuli and Business Policies as Modelling Constructs: Their Definition and Validation Through the Event Calculus. 33-46
  
• Despina Filippidou, Pericles Loucopoulos:
  Using Scenarios to Validate Requirements in a Plausibility Centred Approach. 47-60
  

Information Systems Design

• Mark W. W. Vermeer, Peter M. G. Apers:
  Behaviour Specification in Database Interoperation. 61-74
  
• Sushil Jajodia, Indrakshi Ray, Paul Ammann:
  Implementing Semantic-Based Decomposition of Transactions. 75-88
  
• Juha Puustjärvi:
  Negotiation Transactions: An Approach to Increase the Automation of Workflows. 89-102
  

Requirements Engineering II

• Klaus Pohl, Ralf Dömges, Matthias Jarke:
  Towards Method-Driven Trace Capture. 103-116
  
• Silvana Castano, Valeria De Antonellis:
  A Multi-Perspective Framework for the Analysis of Legacy Information Systems. 117-130
  
• Luís Carriço, Nuno Guimarães:
  Facilitating Analysis and Diagnosis in Organisations. 131-144
  

Methods, Environments and Tools I

• Oscar Pastor, Emilio Insfrán, Vicente Pelechano, José Raúl Romero, José Merseguer:
  OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. 145-158
  
• Joachim Altmeyer, Jan Peter Riegel, Bernd Schürmann, Martin Schütze, Gerhard Zimmermann:
  Application of a Generator-Based Software Development Method Supporting Model Reuse. 159-172
  
• Raul Ruggia, Ana Paula Ambrosio:
  A Toolkit for Reuse in Conceptual Modelling. 173-186
  

Methods, Environments and Tools II

• Gunnar Brataas, Peter H. Hughes, Arne Sølvberg:
  Performance Engineering of Human and Computerised Workflows. 187-202
  
• Jürgen Ebert, Roger Süttenbach, Ingar Uhe:
  Meta-CASE in Practice: a Case for KOGGE. 203-216
  
• Janne Kaipala:
  Augmenting CASE Tools with Hypertext: Desired Functionality and Implementation Issues. 217-230
  

Conceptual Modelling I

• Toshimi Tagashira, Toshiyuki Amagasa, Masayoshi Aritsugi, Yoshinari Kanamori:
  Interval-Based Representation of Spatio-Temporal Concepts. 231-244
  
• Andreas Steiner, Moira C. Norrie:
  Temporal Object Role Modelling. 245-258
  
• Chabane Oussalah, Christelle Urtado:
  Complex Object Versioning. 259-272
  

Distributed Information Systems I

• Guido Poncia, Barbara Pernici:
  A Methodology for the Design of Distributed Web Systems. 273-288
  
• Pedro Falcão Gonçalves, Ana Carolina Salgado, Silvio Romero de Lemos Meira:
  Digital Neighbourhoods: Partitioning the Web for Information Indexing and Searching. 289-302
  
• Marnix Klooster, Sjaak Brinkkemper, Frank Harmsen, Gerard Wijers:
  Intranet Facilitated Knowledge Management: A Theory and Tool for Defining Situational Methods. 303-317
  

Conceptual Modelling II

• Eladio Domínguez, María Antonia Zapata, Julio Rubio:
  A Conceptual Approach to Meta-Modelling. 319-332
  
• Fabienne Cathala, Pascal Poncelet:
  Preserving Behaviour: Why and How. 333-346
  
• Nectaria Tryfona, Dieter Pfoser, Thanasis Hadzilacos:
  Modeling Behavior of Geographic Objects: An Experience with the Object Modeling Technique. 347-359
  

Distributed Information Systems II

• Peter McBrien:
  Design of Distributed Applications based on the OSI Model. 363-373
  
• P. Klimathianakis, Pericles Loucopoulos:
  DELOS - A Repository Based Environment for Developing Network Centric Applications. 375-388
  
• Antero Taivalsaari, Sami Vaaraniemi:
  TDE: Supporting Geographically Distributed Software Design with Shared, Collaborative Workspaces. 389-408
  

Workflow Systems

• Dimitris Tombros, Andreas Geppert, Klaus R. Dittrich:
  Semantics of Reactive Components in Event-Driven Workflow Execution. 409-422
  
• Peter Bichler, Günter Preuner, Michael Schrefl:
  Workflow Transparency. 423-436
  
• Alistair P. Barros, Arthur H. M. ter Hofstede, Henderik Alex Proper:
  Towards Real-Scale Business Transaction Workflow Modelling. 437-450