Dino Distefano, Joost-Pieter Katoen, Arend Rensink  Home/Search
Context Related
| dcs.qmul.ac.uk/%7E...ods2konline.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: dcs.qmul.ac.uk/%7E...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is based on the branching temporal logic CTL and the Object Constraint Language (OCL), an optional part of the UML standard for expressing static properties over class diagrams. The formal semantics of BOTL is defined in terms of a general operational model that is aimed to be applicable to a wide range of object-oriented... (Update)
Cited by: More
Model Checking Dynamic Allocation and Deallocation - Distefano, Rensink, Katoen (2002) (Correct)
Specification and Formal Verification Of Temporal.. - Flake, Mueller, Pape.. (2004) (Correct)
An OCL Extension for Real-Time Constraints - Flake, Mueller (2001) (Correct)
Similar documents (at the sentence level):
37.4%: On Model Checking the Dynamics of Object-Based Software - a.. - Distefano (2003) (Correct)
30.9%: Towards model checking OCL - Distefano, Katoen, Rensink (2000) (Correct)
15.1%: On a Temporal Logic for Object-Based Systems - Distefano, Katoen, Rensink (Correct)
Active bibliography (related documents): More All
1.3: On A Temporal Logic For Object-Based Systems - Distefano, Katoen, Rensink (2000) (Correct)
0.5: Semantics and Logic of Object Calculi - Reus, Streicher (2002) (Correct)
0.2: Objects and Classes in Algol-like Languages - Reddy (1998) (Correct)
Similar documents based on text: More All
0.3: Model Checking for Dynamic Allocation and Deallocation.. - Distefano, Rensink.. (2002) (Correct)
0.3: Who is Pointing When to Whom: On Model-Checking Pointer.. - Distefano, Rensink.. (2003) (Correct)
0.3: Who is Pointing When to Whom? On the Automated.. - Distefano, Katoen.. (2004) (Correct)
Related documents from co-citation: More All
13: Extending OCL to Support Temporal Operators (context) - Ramakrishnan, McGregor - 1999
10: Temporal OCL: Meeting Specification Demands for Business Components (context) - Conrad, Turowski - 2001
8: An integrated metamodel for OCL types - Baar, Hahnle - 2000
BibTeX entry: (Update)
D. Distefano, J.-P. Katoen, and A. Rensink. On a Temporal Logic for Object-Based Systems. In Proc. of FMOODS' http://citeseer.ist.psu.edu/724857.html More
@inproceedings{ distefano00temporal,
author = "Dino Distefano and Joost-Pieter Katoen and Arend Rensink",
title = "On a Temporal Logic for Object-Based Systems",
booktitle = "Formal Methods for Open Object-Based Distributed Systems {IV} - Proc. {FMOODS}'2000, September, 2000, Stanford, California, {USA}",
publisher = "Kluwer Academic Publishers",
editor = "Scott F. Smith and Carolyn L. Talcott",
year = "2000",
url = "citeseer.ist.psu.edu/724857.html" }
Citations (may not include all citations):681 The Unified Modeling Language User Guide (context) - Booch, Rumbaugh et al. - 1998
397 Design and synthesis of synchronization skeletons using bran.. (context) - Clarke, Emerson - 1981
342 Eiffel: The Language (context) - Meyer - 1992
181 The Object Constraint Language: Precise Modeling with UML (context) - Warmer, Kleppe - 1998
74 Object specification logic - Sernadas, Sernadas et al. - 1995
70 A logic of object-oriented programs - Abadi, Leino - 1997
56 Computer-aided verification (context) - Clarke, Kurshan - 1996
53 TROLL -- a language for object-oriented specification of inf.. (context) - Jungclaus, Saake et al. - 1996
36 On formalizing the UML object constraint language OCL - Richters, Gogolla - 1998
23 Object Constraint Language Specification (context) - Corporation - 1997
22 Grumberg and D (context) - Clarke - 1999
20 Interpreting the Object Constraint Language - Hamie, Howse et al. - 1998
18 On constraints and queries in UML - Gogolla, Richters - 1998
17 Reflections on the Object Constraint Language - Hamie, Civello et al. - 1998
15 OCL: The constraint language of the UML (context) - Warmer, Kleppe - 1999
14 Verification of object-oriented programs using class invaria.. (context) - Huizing, Kuiper - 2000
10 Non-interference properties of a concurrent object-based lan.. (context) - Hodges, Jones - 1996
9 The Unified Modeling Language Reference Guide (context) - Rumbaugh, Jacobson et al. - 1998
7 the expressive power of the Object Constraint Language OCL - Mandel, Cengarle - 1999
5 types and modal logics (context) - Andersen, Pedersen et al. - 1997
3 Decision procedure for temporal logic of concurrent objects (context) - Bahsoun, El-Baida et al. - 1999
2 A proof system for the parallel object-oriented language POO.. (context) - de Boer - 1990
2 Logical foundations for typed objectoriented languages (context) - Poetzsch-Heffter, uller - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dcs.qmul.ac.uk/%7Eddino/publications.html): More
Who is Pointing When to Whom? On the Automated.. - Distefano, Katoen.. (2004) (Correct)
Parametric model checking for Mobile Ambients - Distefano (Correct)
Model Checking Dynamic Allocation and Deallocation - Distefano, Rensink, Katoen (2002) (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