Scarlet Schwiderski, Thorsten Hartmann, Gunter Saake  Home/Search
Context Related
| wwwiti.cs.unimagdeburg.d...shs93.ps.gz cs.tubs.de/idb/publicati...shs93.ps.gz wwwiti.cs.unimagdeburg.d...shs93.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: wwwiti.cs.unimagdeburg.de...iois (more) From: cs.tubs.de/idb...is_publications (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Modern database applications require advanced means for modelling system structure and dynamics. Temporal logic has been proven to be a suitable vehicle for specifying the possible evolution of objects to be stored in databases. Past-directed temporal logic, as a means to describe the influence of the historical evolution of a database on applicable state changes, is one facet for the specification of object behaviour. The conceptual modelling language TROLL emphasizes the behaviour of objects... (Update)
Context of citations to this paper: More
.... 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...
...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...
Cited by: More
Non-Exhaustive Model-Checking in Component Based Systems - Geilen (2000) (Correct)
Model-Checking In Simulations Of Distributed Systems - Geilen (2000) (Correct)
Applying Verification Methods to Non-Exhaustive.. - Geilen, Dams, Voeten (1998) (Correct)
Active bibliography (related documents): More All
0.2: KORSO Reference Languages - Concepts and Application Domains - (ed.) (1994) (Correct)
0.2: UML for the Impatient - Gogolla (1998) (Correct)
0.2: Animation Support for a Conceptual Modelling Language - Hartmann, Jungclaus, Saake (1993) (Correct)
Similar documents based on text: More All
1.8: Object-Oriented Specification of Information.. - Jungclaus, Saake, .. (1991) (Correct)
1.1: Object-Oriented Specification of Information.. - Jungclaus, Saake, .. (1991) (Correct)
0.7: Abstract Specification of Object Interaction - Hartmann, al. (1993) (Correct)
Related documents from co-citation: More All
3: The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
3: Simple on-the-fly automatic verification of linear temporal logic - Gerth, Peled et al. - 1995
3: Protocol Validation in Complex Systems (context) - West - 1989
BibTeX entry: (Update)
S. Schwiderski, T. Hartmann, and G. Saake. Monitoring temporal preconditions in a behaviour oriented object model. Data and Knowledge Engineering, 14:143--186, 1994. http://citeseer.ist.psu.edu/schwiderski93monitoring.html More
@article{ schwiderski94monitoring,
author = "Scarlet Schwiderski and Thorsten Hartmann and Gunter Saake",
title = "Monitoring Temporal Preconditions in a Behaviour Oriented Object Model",
journal = "Data Knowledge Engineering",
volume = "14",
number = "2",
pages = "143-186",
year = "1994",
url = "citeseer.ist.psu.edu/schwiderski93monitoring.html" }
Citations (may not include all citations):74 Object Specification Logic - Sernadas, Sernadas et al. - 1992
69 Object-Oriented Specification of Databases: An Algebraic App.. (context) - Sernadas, Sernadas et al. - 1987
19 The Identification of Objects and Roles---Object Identifiers.. - Wieringa, Jonge - 1991
6 Object-Oriented Database Systems: Concepts and Perspectives (context) - Unland, Schlageter - 1990
5 A Conceptual Model Specification Language (context) - Wieringa - 1991
Documents on the same site (http://wwwiti.cs.uni-magdeburg.de/iti_db/forschung/iois.html): More
Gaining a Uniform View of Different Integration.. - Kusch, Härtel.. (1995) (Correct)
Combining TROLL with the Object Modeling Technique - Jungclaus, Wieringa.. (1994) (Correct)
Revised Version of the Conceptual Modeling and Design Language .. - Hartmann, al. (1994) (Correct)
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