S. Schwiderski, T. Hartmann, and G. Saake. Monitoring temporal preconditions in a behaviour oriented object model. Technical Report Informatik Berichte 93-07, Technische Universitaet Braunschweig, November 1993. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Non-Exhaustive Model-Checking in Component Based Systems - Geilen (2000) (1 citation) (Correct)
....search which is required when looking for reachable cycles in the state space. They do not focus in particular on the aspects of simulations. Integration of temporal logic properties in object orientation methods is practiced in the field of temporal constraints on object oriented databases in [34]. The focus is on expressing temporal preconditions for database transactions using a pasttime variant of LTL, in the context of the modelling language TROLL. A distributed temporal logic for objects in TROLL is introduced in [13] focussing on locality and encapsulation of objects, but not on ....
S. Schwiderski, T. Hartmann, and G. Saake. Monitoring temporal preconditions in a behaviour oriented object model. Technical Report Informatik Berichte 93-07, Technische Universitaet Braunschweig, November 1993.
Model-Checking In Simulations Of Distributed Systems - Geilen (2000) (Correct)
....search which is required when looking for reachable cycles in the state space. They do not focus in particular on the aspects of simulations. Integration of temporal logic properties in objectorientation methods is practiced in the field of temporal constraints on object oriented databases in (Schwiderski et al. 1993). The focus is on expressing temporal preconditions for database transactions using a past time variant of LTL, in the context of the modelling language TROLL. Verification of complex and object oriented systems specified in a formalisation of the Fusion methodology, FUS , is discussed in ....
Schwiderski, S., Hartmann, T., and Saake, G. (1993). Monitoring temporal preconditions in a behaviour oriented object model. Technical Report Informatik Berichte 93-07, Technische Universitaet Braunschweig.
Applying Verification Methods to Non-Exhaustive.. - Geilen, Dams, Voeten (1998) (1 citation) (Correct)
....the same separation of requirements on the current system state and the future execution is used, formulas are manipulated directly during simulation, rather than using tableau automata. There are also some connections to checking temporal preconditions in object oriented databases, as in [10]. Here, a precondition for a database transaction can be expressed as a pasttime temporal logic expression. It is similar to simulation because it is evaluated in a single forward run of the system. The difference is, that it only deals with finite traces, since the preconditions are about the ....
S. Schwiderski, T. Hartmann, and G. Saake, "Monitoring temporal preconditions in a behaviour oriented object model," Tech. Rep. Informatik Berichte 93-07, Technische Universitaet Braunschweig, November 1993.
Goal-Driven Operational Semantics of Temporal.. - Caleiro, Saake, Sernadas (1994) Self-citation (Saake) (Correct)
....system, temporal logic specification, tableau, eventuality, goal, G automaton, monitoring. 1 Introduction The use of temporal logic has been widely explored both on the fields of specification and certification of properties of reactive systems [2, 8, 10, 22, 24, 26, 32, 33] and in monitoring [14, 15, 18, 29]. The advantages are known to lie on the clear declarative formalisation of the system at hand and on the use of temporal verification techniques to prove properties of the specified systems. Temporal logic specification has also given an important contribution towards the establishment of ....
....of temporal logic specifications into G automata is their use for monitoring systems with respect to a given temporal specification. Monitoring of temporal logic constraints is a way to ensure dynamic integrity for example in the database area [7, 15, 16, 17, 18] or in object systems [29]. In [14, 18, 28, 29] a special kind of automaton, called transition graph, is constructed from temporal logic constraints to be used for monitoring dynamic integrity in databases. Compared to G automata, transition graphs take no advantage of explicit goals such only distinguishing the situations ....
[Article contains additional citation context not shown here]
S. Schwiderski, T. Hartmann, and G. Saake. Monitoring temporal preconditions in a behaviour oriented object model. Data and Knowledge Engineering, 14:143--186, 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC