A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
On the relation of programs and computations to models of temporal logic
[chapter]
1989
Lecture Notes in Computer Science
Preserved Fulltext
In this paper we propose a number of extensions for object-oriented models in order to describe dynamic aspects of applications. These extensions enable the specification of objects that modify their behavior dynamically and the control of the dynamic evolution of objects by means of constraints expressed in the language of propositional temporal logic. We shall point out what differentiates our proposal from existing models and give examples to illustrate our arguments. We also present an
doi:10.1007/3-540-51803-7_23
fatcat:bj43y552uvbcle5zsec6lpb2gy