G. Denker and H.-D. Ehrich. Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic. In H. Bowman and J. Derrick, editors, Proc. FMOODS'97, Volume 2, 21-23 July, Canterbury, Kent, UK, pages 89--104. Chapman & Hall, 1997. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Research Directions in Rewriting Logic - Meseguer (1998) (10 citations) (Correct)
....a version of the modal calculus proposed by Ulrike Lechner [92, 90, 91] for reasoning about object oriented Maude specifications. Another is Denker s object oriented distributed temporal logic Dtl [45, 42] that extends the Dtl and D 1 distributed object temporal logics of Ehrich and Denker [49, 43, 48]. Lechner [90, 91] uses her version of the modal calculus to identify a number of safety properties of Maude object oriented specifications that can be characterized as special classes of formulas. She has also done a fine analysis of how certain reuse properties such as inheritance, ....
G. Denker and H.-D. Ehrich. Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic. In H. Bowman and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), Volume 2, IFIP TC6 WG6.1 Intern. Workshop, 21-23 July, Canterbury, Kent, UK, pages 89--104. Chapman & Hall, 1997.
Towards a Toolkit for Actor System Specification - Talcott (2 citations) (Correct)
....approaches to reasoning about distributed object based systems include process algebras for objects and distributed temporal logics. A process algebra for actors is presented in [8] with axioms for equivalence based on a bisimulation relation, which does not account for fairness requirements. DTL [4] is a temporal logic for reasoning about events in a distributed object system. In [5] proof theory for a branching time temporal logic is developed and used to axiomatize actor computation. A general rely guarantee style principle for compositional reasoning is derived. The temporal logic ....
G. Denker and H.-D. Ehrich. Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic. In H. Bowman and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), Volume 2, IFIP TC6 WG6.1 Intern. Workshop, 21-23 July, Canterbury, Kent, UK, pages 89--104. Chapman & Hall, 1997.
A Component-based Framework for the Specification.. - Diagne, Estraillier (1997) (Correct)
....way. 2. Open distributed systems are built from parts which have been tailored separately. The verification activities can not therefore be performed on the whole system. Its is necessary to be able to split the proof obligations on the parts and run the verification in a compositional way (see [Denker 97] Fisher 97] and [Kindler 97] The properties of the system are inferred from the properties proved on its components. 3. The validation of open distributed systems also enforces the need of a compositional approach. Parts of the systems should be validated isolated against the requirements ....
Denker G. & Ehrich H.-D., "Specifying Distributed Information Systems : Fundamentals of an Object-oriented Approach using Distributed Temporal Logic", In Proceedings of FMOODS'97, Canterbury, UK, July 1997, Bowman H. & Derrick J. Eds., Chapmann & Hall, pages 89-106.
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000) (1 citation) Self-citation (Ehrich) (Correct)
No context found.
G. Denker and H.-D. Ehrich. Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic. In H. Bowman and J. Derrick, editors, Proc. FMOODS'97, Volume 2, 21-23 July, Canterbury, Kent, UK, pages 89--104. Chapman & Hall, 1997.
On the Development and Use of a Formal Object Oriented.. - Kowsari (2002) Self-citation (Ehrich) (Correct)
No context found.
G. Denker and H.-D. Ehrich. Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic. In H. Bowman and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), Volume 2, IFIP TC6 WG6.1 Intern. Workshop, 21-23 July, Canterbury, Kent, UK, pages 89--104. Chapman & Hall, 1997.
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