Contextual Coordination between Objects
Resumo
Notwithstanding the promises it provides for the future of software engineering, the object paradigm suffers from a lack of development methods focusing on the coordination between objects. The distinction of coordination and computation mechanisms is an important separation principle for increasing the management and understanding of the interactions among objects and the configurations of objects on the target systems. This paper shows that contextual coordination must be introduced during the object oriented analysis in order to early take into account the inevitable constraints of the concrete implementation. This contextual coordination leads to a hierarchical model composed of imbricated execution contexts of objects.
Palavras-chave:
Coordination, Object-Oriented Systems, Software Engineering, Formal Methods, Distributed Systems
Referências
M. Aksit and L. Bergmans. Obstacles in object oriented software development. In Proceedings of OOPSLA'92, 1992.
F.Arbab. The iwim model for the coordination of concurrent activities. In P. Ciancarini and C. Hankin, editors, Coordination Languages and Models, volume 1061 of LNCS, pages 34-56. Springer-Verlag, 1996.
J. Bergstra and P. Klint. The toolbus coordination architecture. In P. Ciancarini and C. Hankin, editors, Coordination Languages and Models, volume 1061 of LNCS, pages 75-88. Springer-Verlag, 1996.
G. Berry and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96:217-248, 1992.
O. Biberstein and D. Buchs. Structured Algebraic Nets with Object-Orientation. In Proceedings of the "Application and Theory of Petri Nets 1995" workshop on "Object-Oriented Programming and Models of Concurrency", Torino, Italy, June 1995.
D. Buchs, P. Racloz, M. Buffo, J. Flumet, and E. Urland. Deriving parallel programs using sands tools. Transputer Communications, 3(1):23-32, Jan. 1996.
M. Buffo and D. Buchs. From object-oriented specifications to distributed systems using hierarchical contexts. Submitted for the HICSS-30 conference, 1997.
P. Ciancarini, K. K. Jensen, and D. Yankelevich. On the operational semantics of a coordination language. In O. Nierstrasz, P. Ciancarini, and A. Yonezawa, editors, Object-Based Models and Languages for Concurrent Systems, Proceedings of the ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, LNCS 924, pages 77-106. Springer-Verlag, 1995.
D. de Champeaux, D. Lea, and P. Faure. The process of object-oriented design. In Proceedings of OOPSLA'92, 1992.
D. Garlan and D. Pery. Software architecture: Practice, potential and pitfalls. In Proceedings of the 16th International Conference on Software Engineering. IEEE Computer Society Press, May 1994.
B.B. Kristensen. Complex associations: Abstractions in object-oriented modeling. In Proceedings of OOPSLA'94, pages 272-283, Portland, Oregon, USA, 1994.
J. Magee, N. Dulay, and J. Kramer. Structuring parallel and distributed programs. Software Engineering Journal, pages 73-82, Mar. 1993.
T. W. Malone and K. Crowston. The interdisciplinary study of coordination. ACM Computing Surveys, 26(1):87-119, Mar. 1994.
R. Milner. A Calculus of Communicating Systems, volume 92 of LNCS. Springer-Verlag, 1980.
R. Milner. The polyadic pi-calculus: a tutorial. Technical Report ECS-LFCS-91--180, Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, UK, Oct. 1991. Proceedings of the International Summer School on Logic and Algebra of Specification, Marktoberdorf, August 1991. Reprinted in Logic and Algebra of Specification, ed. F. L. Bauer, W. Brauer, and H. Schwichtenberg, Springer-Verlag, 1993.
J.M. Purtilo. The polilith software bus. ACM Transcations on Programming Languages and Systems, 16(1):151-174, Jan. 1994.
Webster. Webster's New Encyclopedic Dictionary. Black Dog & Leventhal, New York, 1994 edition, 1994.
F.Arbab. The iwim model for the coordination of concurrent activities. In P. Ciancarini and C. Hankin, editors, Coordination Languages and Models, volume 1061 of LNCS, pages 34-56. Springer-Verlag, 1996.
J. Bergstra and P. Klint. The toolbus coordination architecture. In P. Ciancarini and C. Hankin, editors, Coordination Languages and Models, volume 1061 of LNCS, pages 75-88. Springer-Verlag, 1996.
G. Berry and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96:217-248, 1992.
O. Biberstein and D. Buchs. Structured Algebraic Nets with Object-Orientation. In Proceedings of the "Application and Theory of Petri Nets 1995" workshop on "Object-Oriented Programming and Models of Concurrency", Torino, Italy, June 1995.
D. Buchs, P. Racloz, M. Buffo, J. Flumet, and E. Urland. Deriving parallel programs using sands tools. Transputer Communications, 3(1):23-32, Jan. 1996.
M. Buffo and D. Buchs. From object-oriented specifications to distributed systems using hierarchical contexts. Submitted for the HICSS-30 conference, 1997.
P. Ciancarini, K. K. Jensen, and D. Yankelevich. On the operational semantics of a coordination language. In O. Nierstrasz, P. Ciancarini, and A. Yonezawa, editors, Object-Based Models and Languages for Concurrent Systems, Proceedings of the ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, LNCS 924, pages 77-106. Springer-Verlag, 1995.
D. de Champeaux, D. Lea, and P. Faure. The process of object-oriented design. In Proceedings of OOPSLA'92, 1992.
D. Garlan and D. Pery. Software architecture: Practice, potential and pitfalls. In Proceedings of the 16th International Conference on Software Engineering. IEEE Computer Society Press, May 1994.
B.B. Kristensen. Complex associations: Abstractions in object-oriented modeling. In Proceedings of OOPSLA'94, pages 272-283, Portland, Oregon, USA, 1994.
J. Magee, N. Dulay, and J. Kramer. Structuring parallel and distributed programs. Software Engineering Journal, pages 73-82, Mar. 1993.
T. W. Malone and K. Crowston. The interdisciplinary study of coordination. ACM Computing Surveys, 26(1):87-119, Mar. 1994.
R. Milner. A Calculus of Communicating Systems, volume 92 of LNCS. Springer-Verlag, 1980.
R. Milner. The polyadic pi-calculus: a tutorial. Technical Report ECS-LFCS-91--180, Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, UK, Oct. 1991. Proceedings of the International Summer School on Logic and Algebra of Specification, Marktoberdorf, August 1991. Reprinted in Logic and Algebra of Specification, ed. F. L. Bauer, W. Brauer, and H. Schwichtenberg, Springer-Verlag, 1993.
J.M. Purtilo. The polilith software bus. ACM Transcations on Programming Languages and Systems, 16(1):151-174, Jan. 1994.
Webster. Webster's New Encyclopedic Dictionary. Black Dog & Leventhal, New York, 1994 edition, 1994.
Publicado
14/10/1996
Como Citar
BUFFO, Mathieu; BUCHS, Didier.
Contextual Coordination between Objects. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 10. , 1996, São Carlos/SP.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1996
.
p. 341-356.
DOI: https://doi.org/10.5753/sbes.1996.24452.
