MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Group behavior patterns in an object-oriented methodology for distributed applications (1996) [2 citations — 2 self]

Download:
pdf | ps
by Lionel Seinturier, Laurence Duchien
In Workshop on Methodologies for Distributed Objects at the 11th Annual ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'96
http://www-src.lip6.fr/homepages/Lionel.Seinturier/papers/cedric/RRC-96-20.ps.gz
Add To MetaCart

Abstract:

In [3] and [4] we propose a design methodology and a semiformal proof system for distributed object-oriented applications. In this paper we propose some group behavior patterns to be used with this methodology. In the introduction we compare our approach with existing methodologies. In the second section we introduce three methodological levels and the notion of group behavior. Then we present three patterns frequently used in the design of distributed applications. In the fourth section we report some experiences lead with this methodology. Then we conclude and give some trends for future works. 1

Citations

796 Distributed snapshots: Determining global states of distributed systems – Chandy, Lamport - 1985
737 The temporal logic of actions – Lamport - 1994
414 Knowledge and common knowledge in a distributed environment – Halpern, Moses - 1984
243 A metaobject protocol for C – Chiba - 1995
230 Introduction to Distributed Algorithms – Tel - 1994
125 The B-Book – Abrial - 1996
61 Inheritance in Actor Based Concurrent Object-Oriented Languages – Kafura, Lee - 1989
40 Knowledge-based programs – Fagin, Halpern, et al. - 1997
18 Architecture and implementation of Guide, an object-oriented distributed system – Balter, Bernadat, et al. - 1991
4 Sp'ecification et preuves d'algorithmes distribu'es en approche orient'ee objet – Bonnet - 1994
1 Some specication steps of a spanning tree algorithm with an object-oriented approach – Bonnet, Duchien, et al. - 1996
1 Conception et sp#cication d'algorithmes distribu#s : la vague r#cursive. Th#se de doctorat – Cardenas - 1995
1 A language for distributed behavior design of cooperative applications – Seinturier - 1996