Advanced Information Systems Engineering: 9th International Conference, CAiSE'97 Barcelona, Catalonia, Spain, June 16–20, 1997 Proceedings

The story of the IDEA Methodology....Pages 1-17
Integrating semi-formal and formal requirements....Pages 19-32
Stimuli and business policies as modelling constructs: Their definition and validation through the event calculus....Pages 33-46
Using scenarios to validate requirements in a plausibility-centred approach....Pages 47-60
Behaviour specification in database interoperation....Pages 61-74
Implementing semantic-based decomposition of transactions....Pages 75-88
Negotiation transactions: An approach to increase the automation of workflows....Pages 89-102
Towards method-driven trace capture....Pages 103-116
A multi-perspective framework for the analysis of legacy information systems....Pages 117-130
Facilitating analysis and diagnosis in organisations....Pages 131-144
OO-Method: An OO software production environment combining conventional and formal methods....Pages 145-158
Application of a generator-based software development method supporting model reuse....Pages 159-172
A toolkit for Reuse in Conceptual Modelling....Pages 173-186
Performance engineering of human and computerised workflows....Pages 187-202
Meta-CASE in practice: A CASE for KOGGE....Pages 203-216
Augmenting CASE tools with hypertext: Desired functionality and implementation issues....Pages 217-230
Interval-based representation of spatio-temporal concepts....Pages 231-244
Temporal object role modelling....Pages 245-258
Complex object versioning....Pages 259-272
A methodology for the design of distributed web systems....Pages 273-288
Digital Neighbourhoods: Partitioning the Web for information indexing and searching....Pages 289-302
Intranet facilitated knowledge management: A theory and tool for defining situational methods....Pages 303-317
A conceptual approach to meta-modelling....Pages 319-332
Preserving behaviour: Why and how....Pages 333-346
Modeling behavior of Geographic Objects: An experience with the Object Modeling Technique....Pages 347-359
Design of distributed applications based on the OSI model....Pages 361-373
DELOS-A repository based environment for developing network centric applications....Pages 375-388
TDE: Supporting geographically distributed software design with shared, collaborative workspaces....Pages 389-408
Semantics of reactive components in event-driven workflow execution....Pages 409-422
Workflow transparency....Pages 423-436
Towards real-scale business transaction workflow modelling....Pages 437-450