OO and Active Formal Information System Specification

  • Isidro Ramos
  • Oscar Pastor
  • Vicente Casado
Conference paper


Formal methods for Information System Specification is a field with a wide work background. Using an Object-Oriented model with a well-defined logical framework it is possible to execute the specifications as deductions in the formal first order theory equivalent to each specification, as was shown by Ramos [2]. The system implemented there is a powerful tool for rapid prototyping and constitutes a useful environment for open and passive IS that we call MOL (Micro-ObjectLogic). Using ideas for graphical object oriented design from [4], a wide spectrum OO specification language is presented in Bearing et al.[S] dealing with Open and Active Specification of IS (OASIS). The present paper is a first working version of this enhanced OASIS, built by adding to MOL active capabilities for expressing active relationships between objects by means of the triggering relationships. By active we mean that the objects involved are necessary for changes of state to take place, which is done by defining triggering conditions.

We then present what we mean by OO model. The third section states our class definition. The fourth presents the provided interaction mechanisms between objects and finally we present the prototype as it has been implemented, giving the syntactic language constructions and commenting on the most relevant implementation features.


Variable Attribute Conceptual Schema Order Theory Class Instance Constant Attribute 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Y. Wand. “A Proposal for a Formal Model of Objects” Object-Oriented Concepts, Databases and Applications Kim,W.Lochovski,S. eds.: pp.537–559 ACM Press Addison-Wesley 1989Google Scholar
  2. [2]
    I. Ramos “Logics and 00-Data Bases: A Declarative Approach.” DEXA 90 Springer Verlag 1990.Google Scholar
  3. [3]
    F. Barbic, R. Maiocchi, B. Pemici “Automatic Deduction of Temporal Information.” Universidad Politécnica de Milano. Interim report. 1990Google Scholar
  4. [4]
    S. Bear, P. Allen, D. Coleman, F. Hayes. “Graphical Specification of Object Oriented Systems” OOPSLA 90Google Scholar
  5. [5]
    S. Bear, D. Coleman, P. Hayes, O. Pastor: “OASIS: An Object-Oriented Specification Language” (submitted to DOOD 91)Google Scholar
  6. [6]
    P. Lindgreen ed. “A framework of Information Systems Concepts” FRISCO Interim Report. IFIP WG8.1 1990.Google Scholar
  7. [7]
    I. Ramos et al. “A Conceptual Schema Specification for Rapid Prototyping” XI-IASTED Conference on Applied Informatics.Insbruck 1990Google Scholar

Copyright information

© Springer-Verlag Wien 1991

Authors and Affiliations

  • Isidro Ramos
    • 1
  • Oscar Pastor
    • 1
  • Vicente Casado
    • 1
  1. 1.DSIC (Departamento de Sistemas Informaticos Y Computacion)Universidad Politecnica de ValenciaValenciaSpain

Personalised recommendations