B. L. Bass, P. Clements, and R. Kazman, Software Architecture in Pratice, 1998.

F. [. Bencomo, F. Losavio, A. Marchena, and . Matteo, Java implementations of userinterface frameworks, Proceedings TOOLS USA'97, 1997.

R. F. Buschmann, H. Meunier, P. Rohnert, M. Sommerlad, and . Stal, Pattern-Oriented Software Architecture, a System of Patterns, 1996.

C. [. Ciancarini and . Mascolo, A catalog of architectural styles for mobility, 1998.

]. Fer89 and . Fernandez, Aldebaran: A tool for verification of communicating processes, 1989.

. Fgm-92-]-j-c, H. Fernandez, L. Garavel, A. Mounier, C. Rasse et al., A toolbox for the verification of lotos programs, Proceedings of the 14th International Conference on Software Engineering ICSE'14, pp.246-259, 1992.

R. [. Gamma, R. Helm, J. Johnson, and . Vlissides, Design Patterns -Elements of Reusable Object-Oriented Software, 1995.

]. A. Gol84 and . Goldberg, Smalltalk-80: The Interactive Programming Environment, 1984.

N. [. Heisel and . Lévy, Using LOTOS patterns to characterize architectural styles, Proc. 7th International Joint Conference on the Theory and Practice of Software Development, 1997.
DOI : 10.1007/BFb0030643
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.799

N. [. Heisel, F. Lévy, A. Losavio, . [. Matteo, R. Keshav et al., Formalizing communication aspects of design patterns using LOTOS 97-R-202 Towardds a taxonomy of architecture integration strategies Comparing architectural styles: Broker specializes mediator Multiagent models for designing object-oriented distributed systems, Proceedings of the Third International Software Architecture Workshop (ISAW 3) Proceedings of the Third International Software Architecture Workshop To appear in Journal of Object-Oriented Programming, 1999. ISYS, RI. [LOT87] ISO. LOTOS. A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. Draft international standard 8807, International Organization for Standardization -Information Processing Systems -Open Systems InterconnectionMik98] T. Mikkonen. Formalizing design patterns Proc. of the 20 th International Conference on Software Engineering, ICSE'98 IEEE. [Mil86] R. Milner. A calculus of communicating systems, pp.93-96, 1986.

R. Helm, I. M. Holland, and D. Gangopadhyay, Contracts: specifying behavioral compositions in object-oriented systems, Proc. OOPS- LA'90SG96] M. Shaw and D. Garlan. Software Architecture , perspectives on an emerging discipline, 1990.
DOI : 10.1145/97945.97967