Objects as Observable Processes.
Isidro Ramos, O. Estrada Pastor, José Cuevas, Jaume Devesa · UPCommons institutional repository (Universitat Politècnica de Catalunya) · 1993
Research on the integration of the 00 and the deductive approac for design ing Information Systems an.d Databases has been a major topic of interest in the last years. The 00 and deductíve environment represented by Oasis ([1] [2] [3] [5] [4] [9] [8]) as 00 Specifi.cation Language, arid 00-METHOD ([6] [7]) as a methodological extension covering the Analysis and Design Soft ware Productíon phases within an Automated Programming Paradigm, is the result of a research effort tackled during the last two years in the DSIC-UPV. This Oasis environment used to be formalized using first order theories that _evolve in time. This lead us to a Logic Programming environment with the complement of a monitor tci