Implementation of Information Systems

DFG-Project (German Research Council)

Abschlußbericht / Final Project Report

• DFG Projekt Sa 465: Implementierung objektorientierter Informationssysteme- (PS)

Prototyp-Entwicklung / Prototype-Development

• Kusch, J. and Hartel, P. and Hartmann, T. and Saake, G.
  TBench - A Distributed Integrated Prototyping-Environment based on Troll

Ausgewählte Veröffentlichungen / Selected Publications

• Jungclaus, R. and Saake, G. and Hartmann, T. and Sernadas, C.
  TROLL - A Language for Object-Oriented Specification of Information Systems - (PS).
  to appear: ACM Transactions on Information Systems, 1995.

• Kusch, J. and Hartel, P. and Hartmann, T and Saake, G.
  Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment- (PS)
  To appear: 6th International Conference and Workshop on Database and Expert Systems Applications, Springer-Verlag, 1995.

• Kusch, J. and Hartel, P. and Hartmann, T. and Saake, G.
  TBench - Integration einer Prototyping-Umgebung durch objektorientierte Spezifikation - (PS).
  Preprint 95-05, Fakultät für Informatik, Universität Magdeburg, 1995.

• Hartmann, T.
  spezifikation und Ausführung von Objektinteraktionen in TROLL
  Lipeck, U. and Vossen, G. (eds.), Workshop Formale Grundlagen für den Entwurf von Informationsystemen
  Technical Report 03/94, Pages 89-95, Universität Hannover, 1994.

• Hartel, P. and Hartmann, T. and Kusch, J. and Saake, G.
  Specifying Information System Dynamics in TROLL
  Dubois, E. and Hartel, P. and Saake, G. (eds.) Proceeding Workshop Formal Methods for Information Systems Dynamic
  Technical Report University of Twente, Pages 53-64, 1994.

• Hartmann, T. und Kusch, J. und Saake, G. und Hartel, P.
  Revised Version of the Conceptual Modelling and Design Language TROLL - (PS)
  Proceeding ISCORE Workshop Amsterdam, Vrije Universiteit Amsterdam, 1994.

• Hartmann, T. and Saake, G.
  Prototypische Ausführung von Objektinteraktionen für die Spezifikationssprache TROLL
  Simon, F. (eds.), Workshop Deklarative Programmierung und Spezifikation
  Technical Report Nr.9412, Pages 56-59, Universität Kiel, 1994.

• Hartmann, T. und Saake, G. und Jungclaus, R. und Hartel, P. und Kusch, J.
  Revised Version of the Modelling Language TROLL - (PS)
  Informatik-Bericht 94-03, TU Braunschweig, 1994.

• Jungclaus, R. and Wieringa, R.J. and Hartel, P. and Saake, G. and Hartmann, T.
  Combining TROLL with the Object Modeling Technique - (PS)
  Wolfinger, B. (eds.), Innovationen bei Rechen- und Kommunikationssystemen, GI-Fachgespräch FG 1: Integration von semi-formalen und formalen Methoden für die Spezifikation von Software, Pages 35-42, Springer-Verlag, Informatik aktuell, 1994.

• Saake, G. und Hartmann, T.
  Modelling Information Systems as Object Societies - (PS)
  von Luck, K. and Marburger, H. (eds.), Management and Processing of Complex Data Structures, Proceeding 3rd Workshop on Information Systems and Artificial Intelligence, Pages 157-180, Springer-Verlag, LNCS 777, 1994.

• Saake, G. and Hartel, P. and Jungclaus, R. and Wieringa, R. and Feenstra, R.
  Inheritance Conditions for Object Life Cycle Diagrams
  Lipeck, U. and Vossen, G. (eds.), Workshop Formale Grundlagen für den Entwurf von Informationssystemen
  Technical Report 03/94, Pages 79-89, Universität Hannover, 1994.

• Schwiderski, S. and Hartmann, T. and Saake, G.
  Monitoring Temporal Preconditions in a Behaviour Oriented Object Model
  Data and Knowledge Engineering Journal 02/94, Pages 143-186, 1994.

• Saake, G. and Jungclaus, R.
  Models and Languages for Abstract Objects
  Kent, A. and Williams, J.G. (eds.), Encyclopedia of Computer Science and Technology, Vol.30, Pages 241-255, Marcel Dekker, Inc., 1994.

• Schwiderski, S. and Saake, G.
  Expressing Temporal Behaviour with Extended ECA Rules
  Proceeding of the 12th British National Conference (BNCOD), Springer-Verlag, 1994.

• Saake, G. and Sernadas, A. and Sernadas, C.
  Evolving Object Specifications. - (PS).
  Wieringa, R. and Feenstra, R.; Working papers of the International Workshop on Information Systems - Correctness and Reusability
  Technical Report Universität Amsterdam Nr. IR-357, Pages 311-320, 1994.

• Hartmann, T.
  Operationalisierung von Objektspezifikationen
  Thalheim, B. (eds.); Grundlage von Datenbanken, Universität Rostock, Bericht 03/93, Pages 64-68, 1993.

• Hartmann, T. and Jungclaus, R. and Saake, G.
  Animation Support for a Conceptual Modelling Language - (PS)
  Mavrik, V. and Lavzansky, J. and Wagner, R.R. (eds.), Proceedings 4th International Conference on Database and Expert Systems Applications (DEXA), Pages 56-76, Springer-Verlag, LNCS 720, 1993.

• Hartmann, T. and Jungclaus, R. and Saake, G.
  Spezifikation von Informationssystemen als Objektsysteme: Das TROLL-Projekt - (PS)
  EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, Pages 2-18, 1993.

• Hartmann, T. und Saake, G.
  Abstract Specification of Object Interaction - (PS)
  Informatik-Bericht 93-08, TU Braunschweig, 1993.

• Jungclaus, R. und Hartmann, T. und Saake, G.
  Relationships between Dynamic Objects - (PS)
  Informatik Bericht 08/93, Universität Braunschweig, 1993.

• Saake, G.
  Objektorientierte Spezifikation von Informationssystemen
  Habilitationsschrift, Teubner-Verlag, 1993.

• Saake, G. und Hartmann, T. und Jungclaus, R.
  Objektspezifikation von Benutzerschnittstellen in TROLL - (PS)
  Mayr, H.C. and Wagner, R. (eds.), Objektorientierte Methoden fü Informationssysteme, Pages 173-186, Springer-Verlag, Informatik aktuell, 1993.

• Saake, G. and Hartmann, T. and Jungclaus, R. and Ehrich, H.-D.
  Object-Oriented Design of Information Systems: TROLL Language Features
  Paredaens, J. and Tenenbaum, L. (eds.), Advances in Database Systems, Implementations and Applications, Pages 219-245, Springer Verlag, CISM Courses And Lecture no. 347, 1994.

• Schwiderki, S. und Hartmann, T. und Saake, G.
  Monitoring Temporal Preconditions in a Behavior Oriented Object Model - (PS)
  Informatik-Bericht 93-07, TU Braunschweig, 1993.

• Saake, G. und Jungclaus, R. und Hartmann, T.
  Application Modelling in Heterogeneous Environments using an Object Specification Language - (PS)
  Huhns, M. and Papazoglou, M.P. and Schlageter, G. (eds.), International Conference on Intelligent & Cooperative Information Systems (ICICIS'93), Pages 309-318, IEEE Computer Society Press, 1993.

• Saake, G. and Jungclaus, R. and Hartmann, T.
  Application Modelling in Heterogeneous Environments using an Object Specification Language
  International Journal of Intelligent and Cooperative Information Systems 04/93, Vol.2, Nr.4, Pages 425-449, 1993.

• Wieringa, R.J. und Jungclaus, R. und Hartel, P. und Hartmann, T. Saake, G.
  OMTROLL - Object Modeling in TROLL - (PS) Lipeck, U.W. and Koschorreck, G.(eds.), Proceedings International Workshop on Information Systems - Correctness and Reusability (IS-CORE'93)
  Technical Report 01/93, Universität Hannover, Pages 267-283, 1993.
• Ehrich, H.-D. and Saake, G. and Sernadas, A.
  Concepts of Object-Orientation
  Proceeding of the 2nd Workshop of "Informationssysteme und Künstliche Intelligenz: Modellierung", Ulm (Germany), Pages 1-19, Springer-Verlag, 1992.

• Hartmann, T.
  Vom konzeptionellen Modell zur Implementierung: Transformation des TROLL Data-Dictionary
  Kurzfassungen des 4. GI-Workshops "Grundlagen von Datenbanken"
  Technical Report ECRC-92-13, Pages 56-60, 1992.

• Hartmann, T. und Jungclaus, R. und Saake, G.
  Aggregation in a Behavior Oriented Object Model - (PS)
  Lehrmann Madsen (eds.), Proceeding European Conference on Object-Oriented Programming (ECOOP'92), Pages 57-77, Springer-Verlag, LNCS 615, 1992.

• Hartmann, T. und Jungclaus, R. und Saake, G. und Ehrich, H.D.
  Spezifikation von Objektsystemen - (PS)
  Bayer, R. and Härder, T. and Lockemann, P.C. (eds.), Objektbanken für Experten, Pages 220-242, Springer-Verlag, Informatik aktuell, 1992.

• Jungclaus, R. and Hartmann, T. and Saake, G.
  Relationships between Dynamic Objects - (PS)
  Kangassalo, H. and Jaakkola, H. and Hori, K. and Kitahashi, T. (eds.); Information Modelling and Knowledge Bases IV: Concepts, Methods and Systems (Proceeding 2nd European-Japanese Seminar), Pages 425-438, IOS Press, 1992.

• Saake, G.
  Objektorientierte Modellierung von Informationssystemen
  Informatik-Skripten Nr.28, TU Braunschweig, 1992.

• Saake, G. and Jungclaus, R.
  Views and Formal Implementation in a Three-Level Schema Architecture for Dynamic Objects
  Gray, P.M.D. and Lucas, R.J. (eds.); Advanced Database Systems: Proceeding 10th British National Conference on Databases (BNCOD 10), Pages 78-95, Springer-Verlag, LNCS 618, 1992.

• Saake, G. and Jungclaus, R.
  Models and Languages for Abstract Objects
  Kent, A. and Williams, J. G. (eds.), Encyclopedia of Microcomputer, Pages 173-187, Vol.11, Marcel Dekker, Inc, 1992.

• Schwiderski, S. and Saake, G.
  Monitoring Temporal Permissions using Partially Evaluated Transition Graphs
  Lipeck, U. and Thalheim, B. (eds.), Proceeding 4th International Workshop: Modelling Database Dynamics, Workshops in Computing, Pages 196-217, Springer-Verlag, 1992.

• Hartmann, T. und Jungclaus, R.
  Abstract Description of Distributed Object Systems - (PS)
  Tokoro, M. and Nierstrasz, O. and Wegner, P. (eds.), Proceeding Workshop on Object-Based Concurrent Computing (ECOOP'91), Pages 227-244, Springer-Verlag, LNCS 612, 1992.

• Hülsmann, K. and Saake, G.
  Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring
  Journal ACTA Informatica, Vol.28, Fasc 4, Pages 365-407, 1991.

• Jungclaus, R. und Hartmann, T. und Saake, G. und Sernadas, C.
  Introduction to TROLL - (PS)
  Saake, G. and Sernadas, A. (eds.), Informatik-Bericht 91-03, Pages 97-128, TU Braunschweig, 1991.

• Jungclaus, R. und Saake, G. und Hartmann, T.
  Language Features for Object-Oriented Conceptual Modeling - (PS)
  Teory, T.T. (eds.), Proceeding 10th International Conference on the Entity-Relationship-Approach, Pages 309-324, 1991.

• Jungclaus, R. und Saake, G. und Hartmann, T. und Sernadas, C.
  Object-Oriented Specification of Information Systems: The TROLL Language - (PS)
  Informatik-Bericht 91-04, TU Braunschweig, 1991.

• Jungclaus, R. und Saake, G. und Sernadas, C.
  Using Active Objects for Query Processing - (PS)

• Jungclaus, R. und Saake, G. und Sernadas, C.
  Formal Specification of Object Systems - (PS)
  Abramsky, S. and Maibaum, T. (eds.), Proceeding TAPSOFT'91, Pages 60-82, Springer-Verlag, LNCS 494, 1991.

• Saake, G.
  Descriptive Specification of Database Object Behaviour
  Data & Knowledge Engineering, Vol.6, Nr.1, Pages 47-74, North Holland, 1991.

• Saake, G. and Jungclaus, R.
  Konzeptioneller Entwurf von Objektgesellschaften - (PS)
  Appelrath, H.-J. (eds.), Proceeding Datenbanksysteme in Büro, Technik und Wissenschaft (BTW'91), Pages 327-343, Informatik-Fachberichte IFB 270, Springer-Verlag, 1991.

• Saake, G. and Jungclaus, R.
  Specification of Database Applications in the TROLL-Language
  Harper, D. and Norrie, M. (eds.), Proceeding International Workshop Specification of Database Systems, Pages 228-245, Springer-Verlag, 1991.

• Saake, G. and Jungclaus, R. and Ehrich, H.-D.
  Object-Oriented Specification and Stepwise Refinement - (PS)
  de Meer, J. and Heymer, V. and Roth, R. (eds.), Proceeding Open Distributed Processing, (IFIP Transactions C: Communication Systems, Vol.1), Pages 99-121, North Holland, 1991.

• Saake, G. und Jungclaus, R. und Sernadas, C.
  Abstract Data Type Semantics for Many-Sorted Object Query Algebras - (PS)
  Thalheim, B. and Demetrovics, J. and Gerhardt, H.-D. (eds.), Proceeding 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems (MFDBS'91), Pages 291-307, Springer-Verlag, LNCS 495, 1991.

• Saake, G. and Sernadas, A.
  Information Systems - Correctness and Reusability, Workshop IS-CORE '91, ESPRIT BRA WG 3023, Selected Papers
  Informatik-Bericht 91-03, TU Braunschweig, 1991.