Modeling of Dynamic Object Systems: A Logic-Based Approach (Vieweg Advanced Studies Of Computer Science) (Vieweg Advanced Studies in Computer Science) - Softcover

Jungclaus, Ralf

 
9783528053864: Modeling of Dynamic Object Systems: A Logic-Based Approach (Vieweg Advanced Studies Of Computer Science) (Vieweg Advanced Studies in Computer Science)
Softcover
ISBN 10: 3528053860 ISBN 13: 9783528053864
Verlag: Friedrich Vieweg & Sohn Verlagsgesellschaft mbH, 1993

Inhaltsangabe

This volume presents an approach to the formal object-oriented specification of information systems. The approach focuses on the early phases of system development where existing systems have to be described or systems to be developed have to be prescribed (requirements specification or conceptional modeling). Systems are considered to be reactive systems composed from objects that evolve concurrently in a discrete, event-driven way. Based on a temporal logic framework, the language Troll is defined. Troll supports the integrated specification of structural and behavioural properties of objects, as well as abstractions like roles, specifications and composite objects. Furthermore, concepts for constructing systems specifications from parts are introduced. Finally, the approach is related to similar ones and discussed.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

This book is concerned with conceptual modeling, design and specification of in­ formation systems. Conventional information systems design starts with separating data from op­ erations, designing each with its own collection of concepts, methods, tools - and people: conceptual modeling for the imformation structure, and program design for the application programs. The separation carries through until the final implemen­ tation: data are collected in databases and managed with database management systems, and application programs are implemented with programming languages. This approach tends to suffer from a problem known as impedance mismatch. The basic paradigms underlying databases and programs - modeling, design, languages, and systems - do not fit easily together: there are incompatible type systems, data formats, operation modes, etc. The object-oriented paradigm promises to overcome these problems: a system is viewed as a community of interacting objects, each incorporating data and oper­ ations. While we still have object-oriented programming languages incompatible with object-oriented database systems, ideas and approaches seem to converge to­ wards homogeneous software systems dealing with both data and operations in a uniform way. Viewing a system as a community of interacting objects does not solve all prob­ lems. Beyond the object concept, abstraction and structuring principles are needed, together with languages and methods to work with them.

Reseña del editor

This volume presents an approach to the formal object-oriented specification of information systems. The approach focuses on the early phases of system development where existing systems have to be described or systems to be developed have to be prescribed (requirements specification or conceptional modeling). Systems are considered to be reactive systems composed from objects that evolve concurrently in a discrete, event-driven way. Based on a temporal logic framework, the language TROLL is defined. TROLL supports the integrated specification of structural and behavioural properties of objects, as well as abstractions like roles, specifications and composite objects. Furthermore, concepts for constructing systems specifications from parts are introduced. Finally, the approach is related to similar ones and discussed.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Friedrich Vieweg & Sohn Verlagsgesellschaft mbH
Erscheinungsdatum
1993
Sprache
Deutsch
ISBN 10 
3528053860
ISBN 13 
9783528053864
Einband
Tapa blanda
Anzahl der Seiten
252
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar