Object-Oriented Design of Information Systems: TROLL Language Features

We present features of the language Troll for the abstract specification of information systems. Information systems are regarded to be reactive systems with a large database. Before we present the constructs of Troll, we briefly explain the basic ideas on which the language relies. The Universe of Discourse is regarded to be a collection of interacting objects. An object is modeled as a process with an observable state. The language Troll allows for the integrated description of structure and behavior of objects. We explain the abstraction mechanisms provided by Troll, namely roles, specialization, and aggregation. To support the description of systems composed from objects, the concepts of relationships and interfaces may be used.

[1]  Gunter Saake,et al.  Formal Specification of Object Systems , 1991, TAPSOFT, Vol.2.

[2]  Amílcar Sernadas,et al.  Object-Oriented Design of Information Systems: Theoretical Foundations , 1993, CISM - Advances in Database Systems.

[3]  Gunter Saake,et al.  Monitoring Temporal Preconditions in a Behaviour Oriented Object Model , 1994, Data Knowl. Eng..

[4]  Gunter Saake,et al.  Specification of Database Applications in the TROLL Language , 1992, Specifications of Database Systems.

[5]  Amílcar Sernadas,et al.  Temporal aspects of logical procedure definiton , 1980, Inf. Syst..

[6]  Amílcar Sernadas,et al.  What is an Object, After All? , 1990, DS-4.

[7]  José Luiz Fiadeiro,et al.  Logics of Modal Terms for Systems Specification , 1990, J. Log. Comput..

[8]  Martin Gogolla,et al.  Conceptual modelling of database applications using extended ER model , 1992, Data Knowl. Eng..

[9]  Roelf J. Wieringa,et al.  Algebraic Foundations for Dynamic Conceptual Models , 1990 .

[10]  John Mylopoulos,et al.  A language facility for designing interactive database-intensive applications , 1978, SIGMOD '78.

[11]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[12]  Won Kim,et al.  Object-Oriented Concepts, Databases, and Applications , 1989 .

[13]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[14]  Grzegorz Rozenberg,et al.  Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness , 1989, Lecture Notes in Computer Science.

[15]  Gunter Saake,et al.  Conceptual Modeling of Database Applications , 1990, IS/KI.

[16]  Amílcar Sernadas,et al.  Algebraic Implementation of Objects over Objects , 1989, REX Workshop.

[17]  Gunter Saake.  Objektorientierte Spezifikation von Informationssystemen , 1993, GI Datenbank Rundbrief.

[18]  Michael L. Brodie.  On conceptual modelling - perspectives from artificial intelligence, databases and programming languages , 1984, Topics in information systems.

[19]  Michael L. Brodie,et al.  On Conceptual Modelling , 1984, Topics in Information Systems.

[20]  Klaus R. Dittrich,et al.  Advances in Object-Oriented Database Systems , 1988, Lecture Notes in Computer Science.

[21]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[22]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .

[23]  Ralf Jungclaus.  Modeling of Dynamic Object Systems , 1993 .

[24]  Martin Gogolla,et al.  Algebraische Spezifikation abstrakter Datentypen , 1989 .

[25]  Gunter Saake,et al.  Konzeptioneller Entwurf von Objektgesellschaften , 1991, BTW.

[26]  John Mylopoulos,et al.  A language facility for designing database-intensive applications , 1980, TODS.

[27]  Alejandro P. Buchmann,et al.  Molecular Objects, Abstract Data Types, and Data Models: A Framework , 1984, VLDB.

[28]  Marinus J. Bouwman.  On conceptual modelling: Perspectives from artificial intelligence, databases, and programming languages: Michael L. BRODIE, John MYLOPOULOS and Joachim W. SCHMIDT (eds.) Topics in Information Systems, Springer, Berlin, 1984, xi + 510 pages, DM89.00 , 1986 .

[29]  Gunter Saake,et al.  Proof-Theoretic Semantics of Object-Oriented Specification Constructs , 1990, DS-4.

[30]  Zohar Manna,et al.  The anchored version of the temporal framework , 1988, REX Workshop.

[31]  Gill Smith,et al.  Object-oriented analysis , 1988, WADAS '88.

[32]  Martin Gogolla,et al.  Towards an Algebraic Semantics for Database Specification , 1986, DS-2.

[33]  Oscar Nierstrasz,et al.  Directions in Object-Oriented Research , 1989, Object-Oriented Concepts, Databases, and Applications.

[34]  Cristina Sernadas,et al.  Object-Oriented Specification of Databases: An Algebraic Approach , 1987, VLDB.

[35]  José Luiz Fiadeiro,et al.  The Basic Building Blocks of Information Systems , 1989, ISCO.

[36]  Gunter Saake,et al.  Aggregation in a Behaviour Oriented Object Model , 1992, ECOOP.

[37]  José Luiz Fiadeiro,et al.  Temporal reasoning over deontic specifications , 1991, J. Log. Comput..

[38]  Ralf Jungclaus.  Modeling of dynamic object systems - a logic-based approach , 1993, Vieweg advanced studies in computer science.

[39]  Dennis de Champeaux,et al.  Object-oriented system development , 1993 .

[40]  Hans-Dieter Ehrich.  Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics , 1985, CTCS.

[41]  Klaus R. Dittrich,et al.  Proceedings on the 1986 international workshop on Object-oriented database systems , 1986 .

[42]  David J. DeWitt,et al.  The Object-Oriented Database System Manifesto , 1994, Building an Object-Oriented Database System, The Story of O2.

[43]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[44]  Alexander Borgida,et al.  Features Of Languages for the Development of Information Systems at the conceptual Level , 1985, IEEE Software.

[45]  John Mylopoulos,et al.  Foundations of Knowledge Base Management , 1989, Topics in Information Systems.

[46]  John D. McGregor,et al.  Introduction—object-oriented design , 1990, CACM.

[47]  D. A Jardine,et al.  Concepts and terminology for the conceptual schema and the information base , 1984 .

[48]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[49]  Joseph A. Goguen,et al.  A Categorial Theory of Objects as Observed Processes , 1990, REX Workshop.

[50]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.