Describing Distributed Real-Time Objects with Logic

초록

An active environment has been modeled as a set of real-time objects each consisting of a set of attributes, states and methods that can be changed or executed spontaneously or triggered by demands (via messages) in real-time. The semantics of such a distributed, real-time object system can be described completely by a formal logical foundation called Distributed Real-time Object Oriented Logic System (DROLS) that is the ordinary first order language (that is time-invariant) plus a set of time-varying constructs. The DROLS can be used to describe the constraints on top of the real-time objects, or it can be used as a specification language that defines the semantics of a dynamic environment. Our research is aimed at providing a complete software engineering framework that covers specification, execution, management and validation of a real-time active environment. This paper summarizes the key features of the DROLS.