A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Formal Development of Object-Based Systems in a Temporal Logic Setting
[chapter]
1999
Formal Methods for Open Object-Based Distributed Systems
This paper presents TLO, an approach to the formal development of objectbased systems in a temporal logic framework. The behavior of an object-based system is viewed as derivable from the behaviors of its constituent component objects. Temporal logic is a formalism well suited for specifying behavior of concurrent systems; it also provides conceptually simple notions of composition and refinement: Composition of objects is expressed as conjunction of the associated component specifications. The
doi:10.1007/978-0-387-35562-7_33
fatcat:eqtnm2keejfyllz3hhz7c6yuvq