Artículos relacionados a Modeling of Dynamic Object Systems: A Logic-Based Approach...
Modeling of Dynamic Object Systems: A Logic-Based Approach (Vieweg Advanced Studies Of Computer Science) (Vieweg Advanced Studies in Computer Science) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialFriedrich Vieweg & Sohn Verlagsgesellschaft mbH
- Año de publicación1993
- ISBN 10 3528053860
- ISBN 13 9783528053864
- EncuadernaciónTapa blanda
- IdiomaAlemán
- Número de páginas252
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 54,99
EUR 11,00 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Modeling of Dynamic Object Systems: A Logic-Based Approach...
Imagen de archivo
Modeling of Dynamic Object Systems : A Logic-based Approach
Publicado por
Vieweg+Teubner Verlag, 1993
ISBN 10: 3528053860
ISBN 13: 9783528053864
Antiguo o usado
Tapa blanda
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Sehr gut. Zustand: Sehr gut | Seiten: 252 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 24360277/202
Cantidad disponible: 2 disponibles
Imagen del vendedor
Modeling of Dynamic Object Systems
Publicado por
Vieweg+Teubner Jan 1993, 1993
ISBN 10: 3528053860
ISBN 13: 9783528053864
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 232 pp. Englisch. Nº de ref. del artículo: 9783528053864
Cantidad disponible: 2 disponibles
Imagen de archivo
Modeling of Dynamic Object Systems: A Logic-based Approach (Vieweg Advanced Studies in Computer Science) (German Edition)
Publicado por
Vieweg+Teubner Verlag, 1993
ISBN 10: 3528053860
ISBN 13: 9783528053864
Nuevo
Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783528053864_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Modeling of Dynamic Object Systems : A Logic-based Approach
Publicado por
Vieweg+Teubner Verlag, 1993
ISBN 10: 3528053860
ISBN 13: 9783528053864
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Nº de ref. del artículo: 9783528053864
Cantidad disponible: 1 disponibles
Imagen de archivo
Modeling of Dynamic Object Systems : A Logic-based Approach
Publicado por
Vieweg+Teubner Verlag 1993-01, 1993
ISBN 10: 3528053860
ISBN 13: 9783528053864
Nuevo
PF
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783528053864
Cantidad disponible: 10 disponibles
Imagen del vendedor
Modeling of Dynamic Object Systems
Publicado por
Vieweg+Teubner Verlag, 1993
ISBN 10: 3528053860
ISBN 13: 9783528053864
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 1 Introduction.- 2 Information Systems Development.- I Foundations.- 3 Basic Notions of System Specification and Modeling Approaches.- 4 Semantic Concepts.- Language Definition.- 5 Basic Constructs in Troll.- 6 Template, Object, and Class Specifications.- 7. Nº de ref. del artículo: 4866718
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Modeling of Dynamic Object Systems: A Logic-based Approach (Vieweg Advanced Studies in Computer Science) (German Edition)
Publicado por
Vieweg+Teubner Verlag, 1993
ISBN 10: 3528053860
ISBN 13: 9783528053864
Nuevo
Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783528053864
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Modeling of Dynamic Object Systems
Publicado por
Vieweg+Teubner Verlag, Vieweg+Teubner Verlag Jan 1993, 1993
ISBN 10: 3528053860
ISBN 13: 9783528053864
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Neuware -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.Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 252 pp. Deutsch. Nº de ref. del artículo: 9783528053864
Cantidad disponible: 2 disponibles
Imagen del vendedor
Modeling of Dynamic Object Systems | A Logic-based Approach
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Modeling of Dynamic Object Systems | A Logic-based Approach | Ralf Jungclaus | Taschenbuch | xv | Deutsch | 1993 | Vieweg & Teubner | EAN 9783528053864 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Nº de ref. del artículo: 102241434
Cantidad disponible: 5 disponibles
Imagen de archivo
Modeling of Dynamic Object Systems: A Logic-based Approach (Vieweg Advanced Studies in Computer Science) (German Edition)
Publicado por
Vieweg+Teubner Verlag, 1993
ISBN 10: 3528053860
ISBN 13: 9783528053864
Nuevo
Tapa blanda
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020148376
Cantidad disponible: Más de 20 disponibles