C. Annexe, Intégration des SyncClass à UML

[. Bibliographie, I. Arevalo, and . Borne, Architectural description of object oriented frameworks : An approach, Langages et Modèles à Objets -L'Objet, pp.183-198, 2001.

F. André, M. Boulanger, J. Péraldi, G. Rigault, and . Vidal-naquet, Objects and synchronous programming, European Journal of Automation, issue.3, pp.31417-432, 1997.

[. Agerbo and A. Cornils, How to preserve the benefits of design patterns, Proceedings of the 13th Conference on Object-Oriented Programming , Systems, Languages, and Applications (OOPSLA-98), pp.134-143, 1998.

R. Allen and D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997.
DOI : 10.1145/258077.258078

URL : https://hal.archives-ouvertes.fr/hal-00444067

A. Aguiar, A minimalist approach to framework documentation, Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum) , OOPSLA '00, 2000.
DOI : 10.1145/367845.368050

[. Alhir, UML in a Nutshell, 1998.

C. André, Representation and analysis of reactive behaviors : a synchronous approach, CESA, pp.19-29, 1996.

C. André, Synccharts a visual representation of reactive behaviors, p.3, 1996.

[. Berry and G. Boudol, The chemical abstract machine, ACM, éditeur, POPL '90. Proceedings of the seventeenth annual ACM symposium on Principles of programming languages, pp.81-94, 1990.
URL : https://hal.archives-ouvertes.fr/inria-00075426

[. Butler and P. Dénommée, Documenting frameworks. Dans Building Application Frameworks, pp.495-503, 1999.

K. Beck, Extreme Programming Explained : Embrace Change, 1999.

B. Berry, The esterel language primer. Rapport technique, 2000.

G. Berry and . Proof, Language and Interaction : Essays in Honour of Robin Milner, chapitre The foundations of Esterel, 2000.

L. Berger, Mise en oeuvre des interactions en environnements distribués , compilés et fortement typés : le modèle MICADO, Thèse de doctorat, 2001.

J. Brant, B. Foote, R. E. Johnson, and D. Roberts, Wrappers to the rescue, Eric Jul, éditeur, ECOOP '98?Object-Oriented Programming, pp.396-41787, 1992.
DOI : 10.1007/BFb0054101

K. Beck and E. Gamma, TEST-INFECTED: PROGRAMMERS LOVE WRITING TESTS, Java Report, vol.3, issue.2, pp.37-50, 1998.
DOI : 10.1017/CBO9780511550881.029

K. Beck and R. Johnson, Patterns generate architectures, Tokoro et R. Pareschi, éditeurs, Proc. European Conf. on Object Oriented Programming, pp.139-149, 1994.
DOI : 10.1007/BFb0052180

A. Bouali, J. Marmorat, R. D. Simone, and E. H. Toma, Verifying synchronous reactive systems programmed in ESTEREL, Bohrer. Architecture of the San Francisco frameworks. IBM Systems Journal, pp.463-483156, 1996.
DOI : 10.1007/3-540-61648-9_57

URL : https://hal.archives-ouvertes.fr/hal-00504846

A. Bouali and . Xeve, An esterel verification environment (version v1.3) Rapport technique RT-214, INRIA, BR99] Isabelle Borne et Nicolas Revault. Comparaison d'outils de mise en oeuvre de design patterns. L'objet, 1997.
URL : https://hal.archives-ouvertes.fr/inria-00069957

M. John, . Brant, G. Hotdraw, J. Booch, . Rumbaugh et al., Master's thesis The Unified Modeling language User Guide From regular expressions to deterministic automata, Theoretical Computer Science, vol.48, issue.1, pp.117-126, 1986.

M. John, . Carroll, . Czarnecki, W. Ulrich, . H. Eisenecker-roy et al., The Nurnberg Funnel : Designing Minimalist Instruction for Practical Computer Skill Generative Programming - Methods, Tools, and Applications The Specification of Process Synchronization by Path Expressions, Proc. Int. Symp. on Operating Systems de Lecture Notes in Computer Science, pp.89-102, 1974.

S. Chiba, Load-Time Structural Reflection in Java, European Conference on Object-Oriented Programming, pp.313-336, 2000.
DOI : 10.1007/3-540-45102-1_16

[. Coad, E. Lefebvre, J. De-luca, and T. Prentice-hall, Java Modeling in Color with UML, P, 1999.

[. Deremer, H. Hans, and . Kron, Programming-in-the-large versus programming-in-the-small, IEEE Transactions on Software Engineering, issue.22, pp.80-86, 1976.

S. Demeyer, T. D. Meijler, O. Nierstrasz, and P. Steyaert, Design guidelines for ???tailorable??? frameworks, Communications of the ACM, vol.40, issue.10, pp.60-64, 1997.
DOI : 10.1145/262793.262805

F. Brito-e-abreu, G. Poels, H. A. Sahraoui, and H. Zuse, Quantitative approaches in object-oriented software engineering, Hermes, vol.7, 2001.

A. [. Eden, E. J. Yehudai, and . Gil, Precise specification and automatic application of design patterns, Proceedings 12th IEEE International Conference Automated Software Engineering, pp.143-152, 1997.
DOI : 10.1109/ASE.1997.632834

[. Froehlich, H. J. Hoover, L. Liu, and P. Sorenson, Hooking into object-oriented application frameworks, Proceedings of the 19th international conference on Software engineering , ICSE '97, pp.491-502, 1997.
DOI : 10.1145/253228.253432

G. Froehlich, H. J. Hoover, L. Liu, and P. Sorenson, Requirements for a hooks tool, 1998.

G. Florijn, M. Meijers, and . Et-pieter-van-winsen, Tool support for objectoriented patterns, Mehmet Ak¸sitAk¸sit et Satoshi Matsuoka, éditeurs, ECOOP'97?Object-Oriented Programming, volume 1241 de Lecture Notes in Computer Science, pp.472-495, 1997.

[. Fontoura, W. Pree, and B. Rumpe, Framework development an adaptation with uml-f -the uml profile for framework architectures, Tutorial Notes, 2000.

B. Fontoura, W. Pree, and B. Rumpe, UML-F : A modeling language for object-oriented frameworks Application frameworks . Dans Building Application Frameworks, LNCS, vol.1850, issue.1, pp.63-82, 1999.

D. Garlan, Encyclopedia of Software Engineering, chapitre Software Architecture, 2001.

[. Gamma and K. Beck, Junit a cook's tour

A. Gargantini and C. Heitmeyer, Using model checking to generate tests from requirements specifications, Lecture Notes in Computer Science, vol.99, issue.1687, pp.146-162, 1999.

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

[. Gil, S. Kent, [. Garlan, and A. J. Kompanek, Three dimensional software modelling Reconciling the needs of architectural description with object-modeling notations, Proceedings of the 1998 International Conference on Software EngineeringThe Unified Modeling Language. Advancing the Standard. Third International Conference Proceedings, volume 1939 de LNCS, pp.105-114, 1998.

D. Garlan, R. T. Monroe, and D. Wile, Acme, CASCON First Decade High Impact Papers on, CASCON '10, pp.169-183, 1997.
DOI : 10.1145/1925805.1925814

[. Halbwachs, Conception de systèmes réactifs. les langages synchrones, 1991.

D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9

D. Harel, On the Behavior of Complex Object-Oriented Systems, pp.324-329, 2000.
DOI : 10.1007/3-540-46852-8_23

[. Helm, I. M. Holland, . Et-dipayan, and . Gangopadhyay, Contracts: specifying behavioral compositions in object-oriented systems, Proceedings OOPSLA/ECOOP'90 Published as Proceedings OOPSLA/ECOOP'90, pp.169-180, 1990.
DOI : 10.1145/97946.97967

J. Hautamäki, K. Koskimies, J. Paakki, A. Viljamaa, and J. Viljamaa, Generating application development environments for java frameworks, Generative and Component-Based Software Engineering, 2001.

M. Hakala, J. Hautamäki, J. Tuomi, A. Viljamaa, J. Viljamaa et al., Managing object-oriented frameworks with specialization templates, Object technology for Product-line Architectures, 1999.

]. C. Hoa78 and . Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.

I. M. Holland, Specifying reusable components using contracts, European Conference on Object-Oriented Programming, pp.287-308, 1992.
DOI : 10.1007/BFb0053043

P. Inverardi, A. L. Wolf, and D. Yankelevich, Static checking of system behaviors using derived component assumptions, ACM Transactions on Software Engineering and Methodology, vol.9, issue.3, pp.239-272, 2000.
DOI : 10.1145/352591.352593

C. Gransart and P. Geib, CORBA : Des concepts à la pratique, 1997.

[. Ralph and E. Johnson, Documenting Frameworks using Patterns, Proceedings of the OOPSLA '92 Conference on Object-oriented Programming Systems, Languages and Applications, pp.63-76, 1992.

[. Johnson, How to design frameworks. Notes for OOPSLA 93, 1993.

[. Ralph and E. Johnson, Components, frameworks, patterns, ACM SIG- SOFT Symposium on Software Reusability, pp.10-17, 1997.

R. E. Johnson, Frameworks = (components + patterns), Communications of the ACM, vol.40, issue.10, pp.39-42, 1997.
DOI : 10.1145/262793.262799

A. Jolin, Usability and framework design. Dans Building Application Frameworks, pp.153-162, 1999.

[. Klarlund, J. Koistinen, and M. I. Schwartzbach, Formal design constraints, OOPSLA '96 Conference Proceedings : Object-Oriented Programming Systems, Languages, and Applications, pp.370-383, 1996.

G. Kwon, Rewrite Rules and Operational Semantics for Model Checking UML Statecharts, p.18
DOI : 10.1007/3-540-40011-7_39

. Bibliographie-Éditeurs and . Uml, The Unified Modeling Language Advancing the Standard, Third International Conference Proceedings, volume 1939 de LNCS, pp.528-540, 2000.

J. , D. C. Luckham, J. L. Kenney, L. M. Augustin, J. Vera et al., Typing the specialization interface Specification and analysis of system architecture using rapide, Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, pp.201-214336, 1993.

D. Lea and J. Marlowe, Interface-Based Protocol Specification of Open Systems using PSL, Olthoff, éditeur, ECOOP'95?Object- Oriented Programming, 9th European ConferenceLor93] Mark Lorenz. Object-Oriented Software Development, pp.374-398, 1993.
DOI : 10.1007/3-540-49538-X_18

J. Lilius-et-ivan-porres and . Paltor, Formalising UML state machines for model checking éditeurs, UML'99 -The Unified Modeling Language, Beyond the Standard. Second International Conference Proceedings, volume 1723 de LNCS, pp.430-445, 1999.

P. Maes, Concepts and experiments in computational reflection, ACM SIGPLAN Notices, vol.22, issue.12, pp.147-155, 1987.
DOI : 10.1145/38807.38821

F. , M. Mattsson, and J. Bosch, ARGOS : un langage pour la conception, la description et la validation des systèmes réactifs Framework composition : Problems, causes and solutions, Thèse de doctorat Proceedings of TOOLS USA '97McI68] D. McIlroy. Mass-produced software components. Dans Proceedings of the 1st International Conference on Software Engineering, Garmisch Pattenkirchen, pp.88-98, 1968.

M. Meusel, K. Czarnecki, and W. Köpf, A model for structuring user documentation of object-oriented frameworks using patterns and hypertext Object-Oriented Software Construction, Second Edition. The Object-Oriented SeriesMic97a] Sun MicroSystems. The abstract window toolkit, Mehmet Ak¸sitAk¸sit et Satoshi Matsuoka, éditeurs, ECOOP'97?Object-Oriented Programming, volume 1241 de Lecture Notes in Computer Science, pp.496-510, 1997.

]. R. Mil89 and . Milner, Communication and Concurrency, 1989.

H. Naftaly and . Minsky, Law-governed regularities in object systems. part 1 : An abstract model, Theory and Practice of Object Systems, vol.2, issue.4, pp.283-301, 1996.

S. Moser and O. Nierstrasz, The effect of object-oriented frameworks on developer productivity, Computer, vol.29, issue.9, pp.45-51, 1996.
DOI : 10.1109/2.536783

[. Moriconi, X. Qian, and R. A. Riemenschneider, Correct architecture refinement, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.356-372, 1995.
DOI : 10.1109/32.385972

S. Moisan, A. Ressouche, and J. Rigault, BLOCKS, a Component Framework with Checking Facilities for Knowledge-Based Systems. Informatica, Special Issue on Component Based Software Development, 2001.

[. Mili and H. Sahraoui, Describing and using object frameworks. Dans Building Application Frameworks, pp.523-561, 1999.

P. Muller, Modelisation Object avec UML. Eyrolles, 1997.

[. Nierstrasz, Regular types for active objects, Proceedings OOPSLA '93, pp.1-15, 1993.

O. Nierstrasz, Regular types for active objects Dans Oscar Nierstrasz et Dennis Tsichritzis, éditeurs, Object-Oriented Software Composition, pp.99-121, 1995.

[. Nierstrasz and T. D. Meijler, Research directions in software composition, ACM Computing Surveys, vol.27, issue.2, pp.262-264, 1995.
DOI : 10.1145/210376.210389

A. Ortigosa, M. Campo, and R. Moriyõn, Towards agentoriented assistance for framework instantiation, Proceedings of the Conference on Object-Oriented Programming, Systems, Languages and Application (OOPSLA-00), pp.253-263, 2000.

. Omg and . Omg, Uml action semantics consortium

[. Omg, Object constraint language specification [OMG01a] OMG. Corba component model, 1997.

. [. Bibliographie, J. Prieto-diaz, and . Neighbors, Module interconnection languages, Journal of Systems and Software, vol.6, issue.4, pp.307-334, 1986.

X. Pintado, Gluons and the cooperation between software components

D. Oscar, N. , and D. Tsichritzis, Object-Oriented Software Composition, pp.321-349, 1995.

[. Pree, G. Pomberger, A. Schappert, and P. Sommerlad, Active guidance of framework development, Software?Concepts and Tools, pp.94-103, 1995.

[. Pree, M. Tokoro, and R. Pareschi, Meta patterns ??? A means for capturing the essentials of reusable object-oriented design, Proc. European Conf. on Object Oriented Programming, pp.150-162, 1994.
DOI : 10.1007/BFb0052181

W. Pree, Hot-spot-driven development. Dans Building Application Frameworks, pp.379-393, 1999.

W. Pree, A l'occasion du "workshop on methods and tools for objectoriented framework development" -oopsla. Communication personnelle, 2000.

[. Rapicault and M. Fornarino, Instanciation et vérification de patterns de conception : un méta-protocole, Langages et Modèles à Objets, 2000.

[. Roberts and R. Johnson, Evolving frameworks : A pattern language for developing object-oriented frameworks, Proceedings of Pattern Languages of Programs, 1996.

[. Rumpe and C. Klein, Specification of behavioral semantics in object-oriented information modeling. chapitre Automata Describing Object Behavior, pp.265-286, 1996.

[. Ruby, T. Gary, and . Leavens, Safely creating correct subclasses without seeing superclass code, OOPSLA 2000 Conference on Object-Oriented Programming, Systems, Languages, and Applications) de ACM SIGPLAN Notices, pp.208-228, 2000.

[. Rapicault and A. Napoli, Evolution d'une hiérarchie de classes par interclassement, Langages et Modèles à Objets, 2001.

A. Rüping, Managing class dependencies. Dans Building Application Frameworks, pp.325-344, 1999.

[. Rigault, Open implementation of uml metamodel(s ) making meta-modeling and meta-programming meet, 2001.

[. Sparks, K. Benner, and C. Faris, Managing object oriented framework reuse, Computer, vol.29, issue.9, pp.52-61, 1996.
DOI : 10.1109/2.536784

J. Sousa and D. Garlan, Formal modeling of the enterprise JavaBeans component integration framework, Proceedings of FM'99, 1999.

[. Selic, G. Gullekson, and P. T. Ward, Real-Time Object Oriented Modeling, 1994.

[. Sunyé, A. L. Guennec, and J. Jézéquel, Design Patterns Application in UML, Proc. 14th ECOOP : Object-Oriented Programming, pp.44-62, 2000.
DOI : 10.1007/3-540-45102-1_3

[. Steyaert, C. Lucas, K. Mens, D. Et-theo, and . Hondt, Reuse contracts : Managing the evolution of reusable assets, Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, pp.268-285, 1996.

[. Soundarajan, Understanding frameworks. Dans Building Application Frameworks, pp.289-308, 1999.

R. Silva and R. Price, Tool support for helping the use of frameworks, Proceedings SCCC'98. 18th International Conference of the Chilean Society of Computer Science (Cat. No.98EX212), 1998.
DOI : 10.1109/SCCC.1998.730799

A. Schappert, P. Sommerlad, and W. Pree, Automated support for software development with frameworks, Samadzadeh et Mansour K. Zand, éditeurs, Proceedings of the ACM SIGSOFT Symposium on Software Reusability, pp.123-127, 1995.

[. Szyperski, Component Software : Beyond Object-Oriented Programming, 1998.

[. Taligent, Leveraging object-oriented frameworks, 1995.

S. Vauttier, Une étude de la modélisation du comportement des objets composites, Thèse de doctorat, 1997.

A. Weinand, E. Gamma, and R. Marty, ET++---an object oriented application framework in C++, ACM SIGPLAN Notices, vol.23, issue.11, pp.46-57, 1988.
DOI : 10.1145/62084.62089

A. Wienberg, F. Matthes, and M. Boger, Modeling Dynamic Software Components in UML, Proceedings of the Second International Conference. Fort Collins, pp.204-219, 1999.
DOI : 10.1007/3-540-46852-8_15

R. Wuyts, A Logic Meta -Programming Approach to Support the Co -Evolution of Object -Oriented Design and Implementation, Thèse de doctorat, 2001.

[. Bibliographie, W. Wydaeghe, and . Vanderperren, Visual component composition usiing composition patterns, pp.120-129, 2001.

[. Wegner and S. B. Zdonik, Inheritance as an Incremental Modification Mechanism or What Like Is and Isn???t Like, European Conference on Object-Oriented Programming, pp.55-77, 1988.
DOI : 10.1007/3-540-45910-3_4

[. Xanthakis, P. Régnier, and C. Karapoulios, Le test des logiciels, Hermes Sciences, 2000.

M. Daniel, R. E. Yellin, and . Strom, Interfaces, protocols, and the semiautomatic construction of software adaptors, OOPSLA '94 Conference Proceedings : Object-Oriented Programming Systems, Languages, and Applications, pp.176-190, 1994.

A. Moormann, Z. , and J. M. Wing, Specification matching of software components, ACM Transactions on Software Engineering and Methodology, vol.6, issue.4, pp.333-369, 1997.