R. S. Bird, Logic of Programming and Calculi of Discrete Design, M. Broy, e d i t o r, p.3342, 1987.

L. Dami, Software Composition: Towards an Integration of Functional and Object-Oriented A p p r oaches, 1994.

L. Dami and D. Vallet, Higher-order functional composition in visual form. Object applications, Centre Universitaire d'Informatique, University of Geneva, 1996.

P. Desfray, Automation of design pattern: Concepts, tools and practices, Proceedings of UM-L'98 International Workshop, p.1077114, 1998.

A. Evans, Reasoning with the Uniied Modeling Language, Proc. Workshop on Industrial-Strength Formal Speciication Techniques (WIFT'98), 1998.

J. Fernandez, H. Garavel, A. Kerbrat, L. Mounier, R. Mateescu et al., Cadp: a protocol validation and veriication toolbox, In Computer Aided V eriication, pp.1-9

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software. A ddison Wesley, 1995.

M. Gogolla and M. Richters, Equivalence rules for UML class diagrams, Proceedings of UML'98 International Workshop, p.87796, 1998.

, Object Management Group. UML version 1.1, 1997.

, Object Management Group. UML proole for enterprise distributed object computing (edoc) rfp, ad/99-03-10, 1999.

, Object Management Group. UML proole for scheduling, performance, and time rfp, pp.99-102, 1999.

J. Jjzzquel, A. L. Guennec, F. Pennaneac, and &. , Validating distributed software modeled with UML, Proceedings of UML'98 International Workshop, p.3311340, 1998.

J. Jjzzquel and J. Pacherie, Object-Oriented Application Frameworks, c hapter EPEE: A Framework for Supercomputing, 1998.

T. Kkhne, Internal iteration externalized, Rachid Guerraoui, editor, ECOOP '99 O b j e ct-Oriented P r ogramming 13th European Conference, p.3299350, 1999.

K. Lano and J. Bicarregui, Formalising the UML in structured temporal theories, Proceedings Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Speciications), pages 1055121. Technische Universittt MMnchen, TUM-I9813, 1998.

K. Laufer, A framework for higher-order functions in C++, Proceedings of the USENIX Conference on Object-Oriented T echnologies (COOTS), p.1033116, 1995.

J. Pacherie, Systtme de motifs pour l'expression et la parallllisation des traitements d''nummrations dans un contexte de gnie logiciel, 1997.