Advanced Information Systems Engineering: 5th International Conference, Caise '93, Paris, France, June 8-11, 1993. Proceedings (lecture Notes In Computer Science)

"This volume presents the proceedings of the fifth Conference on Advanced Information Systems Engineering, CAiSE '93, held at the University of Paris-Sorbonne in June 1993. Initiated by J. Bubenko from the Swedish Institute for Systems Development in Stockhom, Sweden, and A. Solvberg from the Norwegian Institute of Technology in Trondheim, Norway, this series of conferences evolved from a Nordic audience to a truly European one. All the conferences have attracted international papers of high quality, indicating the needfor an international conference on advanced information systems engineering topics. The spectrum of contributions contained in the present proceedings extends from inevitable and still controversial issues regarding modeling of information systems, via development environments and experiences, to various novel views forsome specific aspects of information systems development such as reuse, schema integration, and evolution.'--PUBLISHER'S WEBSITE Consistent structural updates for object database design....Pages 1-21 A procedural approach to schema evolution....Pages 22-38 An active meta-model for knowledge evolution in an object-oriented database....Pages 39-53 Schema integration in object-oriented databases....Pages 54-70 Schema transformations as an aid in view integration....Pages 71-92 Towards a model for persistent data integration....Pages 93-117 Using explanations to improve the validation of executable models....Pages 118-142 Visualisation for validation....Pages 143-164 Validating conceptual models by transformational prototyping....Pages 165-183 Partial evaluation and symbolic computation for the understanding of Fortran programs....Pages 184-198 A multi-model approach for deriving requirements specifications for a mega-project....Pages 199-220 The BOS-method architecture: An improved structured approach for the development of distributed information systems....Pages 221-233 Dealing with security requirements during the development of information systems....Pages 234-251 Elicitating and formalising requirements for C.I.M. information systems....Pages 252-274 The three dimensions of requirements engineering....Pages 275-292 Object-oriented analysis in practice....Pages 293-308 Concepts for real-world modelling....Pages 309-327 An abstraction-based rule approach to large-scale information systems development....Pages 328-351 The semantics of parts versus aggregates in data/knowledge modelling....Pages 352-373 Object interaction in object-oriented deductive conceptual models....Pages 374-396 An object-oriented temporal model....Pages 397-415 From object-oriented design towards object-oriented programming....Pages 416-431 Automated mapping of conceptual schemas to relational schemas....Pages 432-448 Normalization of object-oriented conceptual schemes....Pages 449-462 Towards reliable information systems: The KorSo approach....Pages 463-482 Similarity for analogical software reuse: A conceptual modelling approach....Pages 483-503 Temporal aspects in reuse of requirement specifications....Pages 504-520 Computer-aided verification of software process model properties....Pages 521-546 An animation facility to simulate an information and communication system....Pages 547-568 Design of user-driven interfaces using Petri nets and objects....Pages 569-585 Perspectives on Software development Environments....Pages 586-600 An object oriented database approach for supporting hypertext....Pages 601-628 Estimation process of performance constraints during the design of Real-Time & Embedded systems....Pages 629-648 Panel: Will is development methods be completely incorporated in CASE tools in the future?....Pages 649-650

this Volume Presents The Proceedings Of The Fifth Conference On Advanced Information Systems Engineering, Caise '93, Held At The University Of Paris-sorbonne In June 1993.
initiated By J. Bubenko From The Swedish Institute For Systems Development In Stockhom, Sweden, And A. Solvberg From The Norwegian Institute Of Technology In Trondheim,
norway, This Series Of Conferences Evolved From A Nordic Audience To A Truly European One. All The Conferences Have Attracted International Papers Of High Quality, Indicating The Needfor An International Conference On Advanced Information Systems Engineering Topics.
the Spectrum Of Contributions Contained In The Present Proceedings Extends From Inevitable And Still Controversial Issues Regarding Modeling Of Information Systems, Via Development Environments And Experiences, To Various Novel Views Forsome Specific Aspects Of Information Systems Development Such As Reuse, Schema Integration, And Evolution.