Towards Reliable Information Systems: The KorSo Approach

Within the compound project KorSo our team is concerned with the research on techniques and methods for the development of reliable information systems on the basis of formal specifications. Our work focuses on the specification language TROLL light which allows to describe the part of the world which is to be modeled as a community of concurrently existing and communicating objects by determining their structure as well as their behavior. Moreover we develop and implement a computer aided specification environment for TROLL light which permits a prototyping animation as well as the proof of properties of specifications.

[1]  P Rhodes,et al.  Publication. , 1983, Encyclopedic Dictionary of Archaeology.

[2]  Rudi Studer.  Informationssysteme und Künstliche Intelligenz: Modellierung , 1992, Informatik-Fachberichte.

[3]  Roger King,et al.  Semantic database modeling: survey, applications, and research issues , 1987, CSUR.

[4]  Grady Booch,et al.  Object-Oriented Design with Applications , 1990 .

[5]  François Banciihon.  Object-oriented database systems , 1988, PODS 1988.

[6]  François Bancilhon.  Object-oriented database systems , 1988, PODS '88.

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

[8]  Christophe Lécluse,et al.  Modeling complex structures in object-oriented logic programming , 1989, PODS.

[9]  Henk Sol,et al.  Information Systems Design Methodologies: A Comparative Review , 1983 .

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

[11]  José Meseguer,et al.  A logical theory of concurrent objects and its realization in the Maude language , 1993 .

[12]  Ruth Breu,et al.  Algebraic Specification Techniques in Object Oriented Programming Environments , 1991, Lecture Notes in Computer Science.

[13]  Christophe Lécluse,et al.  Modeling complex structures in object-oriented logic programming , 1989, PODS '89.

[14]  Robert Meersman,et al.  Object-Oriented Databases: Analysis, Design & Construction (DS-4), Proceedings of the IFIP TC2/WG 2.6 Working Conference on Object-Oriented Databases: Analysis, Design & Construction, Windermere, UK, 2-6 July, 1990 , 1991 .

[15]  Gunter Saake,et al.  Concepts of Object-Orientation , 1992, IS/KI.

[16]  Martin Gogolla,et al.  Objects and their Specification , 1991, COMPASS/ADT.

[17]  Michael Schrefl,et al.  USING AN OBJECT-ORIENTED DIAGRAM TECHNIQUE FOR THE DESIGN OF INFORMATION SYSTEMS , 1991 .

[18]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 2 , 1990, EATCS Monographs on Theoretical Computer Science.

[19]  Peter Gabriel,et al.  The Object-Based Specification Language PI: Concepts, Syntax, and Semantics , 1991, COMPASS/ADT.

[20]  John Mylopoulos,et al.  Information systems development as knowledge engineering - a review of the DAIDA project , 1990 .

[21]  Martin Wirsing,et al.  Algebraic Specification , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[22]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[23]  Stephen J. Mellor,et al.  Object lifecycles: modeling the world in states , 1992 .

[24]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[25]  Matthias Jarke,et al.  The DAIDA Demonstrator: Development Assistance for Database Applications , 1989 .

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

[27]  Richard Hull,et al.  Four Views of Complex Objects: A Sophisticate's Introduction , 1987, NF².

[28]  G. Engels,et al.  CADDY: a highly integrated environment to support conceptual database design , 1992, [1992] Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering.

[29]  José Meseguer,et al.  Multiparadigm Logic Programming , 1992, ALP.

[30]  William Kent,et al.  Object-Oriented Databases: Analysis, Design and Construction , 1991 .

[31]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

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

[33]  Fernando Orejas,et al.  Semantic Constructions in the Specification Language GLIDER , 1992, COMPASS/ADT.

[34]  G. Engels,et al.  CADDY : Computer-Aided Design of Non-Standard Databases , 2022 .

[35]  Martin Gogolla,et al.  TROLL light: A Core Language for Specifying Objects , 1992 .

[36]  Olaf Owe,et al.  Formal Development with ABEL , 1991, VDM Europe.

[37]  Elisabeth Métais,et al.  A Design Tool for Object Oriented Databases , 1990, CAiSE.

[38]  Cristina Sernadas,et al.  Object Specification Logic , 1995, J. Log. Comput..

[39]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[40]  Thomas Käufl.  The Program Verifier Tatzelwurm , 1993, STACS.

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

[42]  Jack A. Orenstein,et al.  The ObjectStore database system , 1991, CACM.

[43]  John Mylopoulos,et al.  IRIS - A Mapping Assistant for Generating Designs from Requirements , 1990, CAiSE.

[44]  Lawrence C. Paulson,et al.  Isabelle: The Next 700 Theorem Provers , 2000, ArXiv.

[45]  Stephen J. Mellor,et al.  Object Oriented Systems Analysis: Modeling the World in Data , 1988 .

[46]  Dines Bjørner,et al.  VDM '90 VDM and Z — Formal Methods in Software Development , 1990, Lecture Notes in Computer Science.

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

[48]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 2: Module Specifications and Constraints , 1990 .

[49]  Roel Wieringa.  Equational Specification of Dynamic Objects , 1990, DS-4.

[50]  José Meseguer,et al.  Conditioned Rewriting Logic as a United Model of Concurrency , 1992, Theor. Comput. Sci..

[51]  J. J. V. R. Wintraecken,et al.  The NIAM Information Analysis Method , 1990, Springer Netherlands.