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
|