I. Partie and U. La-structuration-dans, 47 II.1, 48 II.2. PROPOSITIONS POUR, p.62

V. Partie, 168 VII.3, 179 VII.7. LES INFORMATIONS, p.180

.. Oo-intégré-dans-un-système-réparti, 50 II.1.2.1. Concernant la transmission de messages, II.1.2. Les limitations du paradigme, p.52

I. 2. Propositions, . Les, . Du, and I. Oo, 52 II.2.1. Motivations et choix, p.52

I. 1. La, .. Des-diagrammes-uml, and .. Et-non-traités, 92 IV.1.3. Principe du processus de dérivation1. Quelques problèmes pour la dérivation des diagrammes de séquence, p.96
URL : https://hal.archives-ouvertes.fr/hal-00324975

V. 1. Verification, . Ct-a-l-'aide, . Du, and C. De, 120 V.1.2. Transformation des, p.125

V. Des, C. La-logique-linéaire, and .. , 131 V.2.4. Difficultés pour le calcul de la durée d'un scénario incomplètement spécifié, 126 V.2.2. Le couplage entre la logique linéaire et..................... 133 V.2.6. Algorithme UML/PNO utilisant la logique, p.134

M. Paludetto, J. Delatour, and . De-petri, Vers une sémantique des modèles dynamiques et une méthodologie de développement des systèmes temps réels, L'objet, numéro spécial "Objet et méthodes formelles, pp.443-467, 1999.

M. Paludetto, J. Delatour, and A. Benzina, Validation and verification of temporal constraints within a component-based development of embedded real-time systems, SoSyM, Journal of Software and System Simulation

A. Benzina, M. Paludetto, and J. Delatour, About the suitability of Petri nets for describing, validating and evaluating SA-RT specifications, Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference
DOI : 10.1109/APSEC.1997.640182

A. Benzina, M. Paludetto, and J. Delatour, Translation of Structured Specifications into Object- Oriented Specifications by Means of Petri Nets, 2nd IMACS/IEEE Int. Conf. CESA'98

J. Delatour, M. Paludetto, and A. Benzina, Modélisation par la méthode HOOD/PNO (Objets à réseaux de Petri), RTS 98, Real-Time Systems, pp.14-16, 1998.

A. Benzina, M. Paludetto, and J. Delatour, Spécification à objets à partir d'une analyse de type SA- RT, RTS 98, Real-Time Systems, pp.14-16, 1998.

J. Delatour, M. Paludetto, and U. /. Pno, a way to merge UML and Petri Net Objects for the analysis of real-time systems, Object-Oriented Technology and Real Time Systems Workshop, ECOOP'98, pp.511-514

R. Van-paassen, J. Delatour, and C. Pronk, Middleware for real-time distributed simulation systems, Joint Modular Languages Conference, 2000.

R. Van-paassen, C. Pronk, and J. Delatour, DUECA -Data-drive activation in distributed real-time computation, AIAA Modeling and Simulation Technologies Conference, 2000.

F. Taiani, M. Paludetto, J. Delatour, and T. Cros, Vérification d'objets temps réel à l'aide des réseaux de Petri et de la logique linéaire, RTS'2001, Real-Time Systems -9th Edition, pp.6-8, 2001.

F. Taiani, M. Paludetto, and J. Delatour, Composing real-time objects: a case for Petri nets and Girard's linear logic, Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001, 2001.
DOI : 10.1109/ISORC.2001.922853

J. Delatour and F. De-lamotte, ArgoPN : A CASE Tool Merging UML and Petri Nets, 1st International Workshop on Validation and Verification of software for Enterprise Information Systems in ICEIS, 2003.

J. Delatour, M. Paludetto, H. De, U. Pno, and . Pno, une méthode pour les systèmes temps réels basée UML et objets à réseau de Petri, MSR'99, Modélisation des Systèmes Réactifs, édition Hermes, 1999.

]. M. Références-bibliographique, L. Abadi, and . Cardelli, A Theory of Object, 1996.

M. Aksit, J. Bosch, W. Van-der-sterren, and L. Bergmans, Real-time specification inheritance anomalies and real-time filters, p.94, 1994.
DOI : 10.1007/BFb0052193

]. S. Alhir, Extending the Unified Modeling Language, 1999.

J. F. Allen, Maintaining knowledge about temporal intervals, Communications of the ACM, vol.26, issue.11, pp.832-843, 1983.
DOI : 10.1145/182.358434

]. J. Alvarez, A. Evans, and P. Sammut, MML and the Metamodel Architecture, WTUML: Workshop on Transformations in UML in ETAPS 2001, 2001.

]. P. America, Inheritance and Subtyping in a Parallel Object-Oriented Language, 1987.

A. Andre, Méthodes formelles et à objets pour le développement du logiciel : Etudes et propositions, 1995.

A. Andre, F. Barbier, and J. C. Royer, Une expérimentation de développement formel à objet, Techniques et Sciences Informatiques, pp.973-1005, 1995.

A. André, J. Romanczuk, A. Royer, and . Vascon-celos, Checking the Consistency of UML Class Diagrams Using Larch Prover, BCS eWics, 2000.

]. J. Babau, Modélisation par la méthode OMT et SDL, Real Time System'98, 1998.

H. Bachatène and H. Coriat, PAM : a Petri net-based Abstract Machine for the Specification of Concurrent Systems, 1st W. on OO Programming and Models of Concurrency in the 16th Int

. Conf, on Application and Theory of Petri Nets, 1995.

B. Bako, Mise en oeuvre et simulation du niveau coordination de la commande des ateliers flexibles: une approche mixte réseaux de Petri et système de règles, PhD, 1990.

. Baresi-2001a-]-l, M. Baresi, and . Pezzé, Improving UML with Petri Net, Electronic Notes in Theorical Computer Science, vol.44, pp.1-13, 2001.

. Baresi-2001b-]-l, M. Baresi, and . Pezzè, On Formalizing UML with High-Level Petri Nets A special volume in the Advances in Petri Nets series, Concurrent Object-Oriented Programming and Petri Nets Lecture Notes in Computer Science, pp.271-300, 2001.

M. Pezzè, A Toolbox for Automating Visual Software Engineering, Proceedings of 5th International Conference FASE 2002 Grenoble (Francia), 2002.

]. T. Basten and W. M. , Van der aalst A process-Algebraic Approach to Life-Cycle Inheritance : Inheritance = Encapsulation + Abstraction, Dep. of Mathematics and Computing Science, p.5, 1996.

]. E. Battiston, A. Chizzoni, and F. De-cindio, Inheritance and Concurrency in CLOWN, Workshop on Object-Oriented Programming and Models of Concurrency, 1995.

]. J. Beauvais, Une modélisations de Statecharts et Activitycharts en Signal, Modélisation des Systémes Réactifs, 1999.
DOI : 10.1145/384189.384191

]. A. Benveniste and P. Leguernic, Hybrid dynamical systems theory and the Signal language, IEEE Transactions on Automatic Control, vol.35, issue.5, pp.534-546, 1990.
DOI : 10.1109/9.53519
URL : https://hal.archives-ouvertes.fr/inria-00075715

A. Benzina, M. Paludetto, and J. Delatour, About the suitability of Petri nets for describing, validating and evaluating SA-RT specifications, Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference, 1997.
DOI : 10.1109/APSEC.1997.640182

S. Bernardi, S. Donatelli, and J. Merseguer, From UML sequence diagrams and statecharts to analysable petri net models, Proceedings of the third international workshop on Software and performance , WOSP '02, 1992.
DOI : 10.1145/584369.584376

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711

]. G. Berthelot, C. Johnen, and L. Petrucci, Papetri : Environment for the analysis of PETRI nets, LNCS, vol.531, 1991.
DOI : 10.1007/BFb0023715

]. O. Biberstein, D. Buchs, and N. Guelfi, Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism, Advances in Petri Nets on Object-Orientation, 2001.
DOI : 10.1007/3-540-45397-0_3

L. Blair and G. Blair, The Impact of Aspect-Oriented Programming on Formal Methods, 1998.
DOI : 10.1007/3-540-49255-0_133

P. V. Boas, Formalizing UML: Misson Impossible?, OOPSLA'98 Workshop on Formalizing UML. Why? How, 1998.

C. Bock, Unified behavior models, Jounal of Object Oriented Programming, vol.12, issue.5, 1999.

T. Bodeveix, C. Millan, C. L. Percebois, P. Camus, L. Bazex et al., Extending OCL for verifying UML models consistency, Workshop on Consistency Problems in UML-based Software Development in UML 2002, 2002.

]. T. Bolognesi and E. Brinksma, Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, vol.14, issue.1, 1987.
DOI : 10.1016/0169-7552(87)90085-7

A. Bondavalli, I. Majzik, and I. Mura, Automated dependability analysis of UML designs, Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702), 1999.
DOI : 10.1109/ISORC.1999.776367

G. Booch, J. Rumbaugh, and I. Jacobson, The Unified Modeling Language User Guide, 1998.

E. Börger, A. Cavarra, and E. Riccobene, Modeling the Dynamics of UML State Machines, Abstract State Machine. Theory and Application, vol.1912, 2000.
DOI : 10.1007/3-540-44518-8_13

]. E. Börger, A. Cavarra, and E. Riccobene, Solving Conflicts in UML State Machines Concurrent States, Concurrency Issues in UML (CIUML) at UML'2001, 2001.

R. Breu, U. Hinkel, C. Hofmann, C. Klein, B. Paech et al., Towards a formalization of the Unified Modeling Language, ECOOP'97 --Object-Oriented Programming, 11th European Conference, 1997.
DOI : 10.1007/BFb0053386

J. Briot, Objets, parallélisme et répartition, Techniques et Sciences Informatiques, pp.765-799, 1996.

J. Bruel, Transforming UML Models to Formal Specifications, OOPSLA'98, Workshop on Formalizing UML. Why? How, 1998.

]. W. Bruyn, R. Jensen, D. Keskar, and P. Ward, An extended systems modeling language (ESML), ACM SIGSOFT Software Engineering Notes, vol.13, issue.1, pp.58-67, 1988.
DOI : 10.1145/43857.43866

]. G. Bucci, M. Campanai, and P. Nesi, Tools for specifying real-time systems, Real-Time Systems, vol.12, issue.2, pp.117-172, 1995.
DOI : 10.1007/BF01094341

]. J. Calvez, Spécification et conception des systèmes, une méthodologie, 1990.

J. Cardoso, C. Sibertin-blanc, and C. Soule-dupuy, Une sémantique formelle des diagrammes d'interaction d'UML via les réseaux de Petri, Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'2001), 2001.

]. P. Carreira and M. E. Costa, Automatically verifying an object-oriented specification of the steamboiler system, Proceedings of the 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'2000), 2000.

]. F. Cassez and O. Roux, Compilation of the ELECTRE reactive language into finite transition systems, Theoretical Computer Science, vol.146, issue.1-2, pp.1-2, 1995.
DOI : 10.1016/0304-3975(94)00136-7

]. S. Chang, A. Perkusich, J. De-figueiredo, B. Ehrenberger, and M. J. Yu, The Design of Real-Time Distributed Information System with Object-Oriented and Fault-Tolerant Characteristics, SEKE'93 The 5th International Conference on Software Engineering and Knowledge Engineering, 1993.

R. G. Clark and A. M. Moreira, Use of E-LOTOS in Adding Formality to UML, Journal of Universal Computer Science, vol.6, issue.11, pp.1071-1087, 2000.

. Clarke-1996a-]-e, M. Clarke, and . Wing, Formal methods: state of the art and future directions, ACM Computing Surveys, vol.28, issue.4, pp.626-643, 1996.
DOI : 10.1145/242223.242257

. M. Clarke-1996b-]-e, R. Clarke, and . Kurshan, Computer-aided verification, IEEE Spectrum, vol.33, issue.6, pp.61-67, 1996.
DOI : 10.1109/6.499951

W. Cook, W. Hill, and P. Canning, Inheritance is not subtyping, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '90, 1990.
DOI : 10.1145/96709.96721

]. E. Corsetti, Dealing with different time scales in formal specifications, Proceedings of the Sixth International Workshop on Software Specification and Design, 1991.
DOI : 10.1109/IWSSD.1991.213072

J. Courtiat, C. A. Santos, C. Lohr, and B. Outtaj, Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique, Computer Communications, vol.23, issue.12, pp.1104-1123, 2000.
DOI : 10.1016/S0140-3664(99)00240-6

I. Huszerl, Z. Majzik, A. Pap, D. Pataricza, and . Varró, VIATRA -Visual Automated Transformations for Formal Verification of UML Models, ASE 2002, International Conference on Automated Software Engineering, 2002.

I. Darvas, B. Majzik, and . Benyó, Verification of UML Statechart Models of Embedded Systems, 5th IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop, 2002.

J. Delatour, Introduction à la notation UML 1.3, LAAS-CNRS, 2000.

]. J. Delatour and F. De-lamotte, ArgoPN : A CASE Tool Merging UML and Petri Nets, 1st International Workshop on Validation and Verification of software for Enterprise Information Systems in ICEIS 2003, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00105537

]. J. Delatour and M. Paludetto, UML/PNO: A Way to Merge UML and Petri Net Objects for the Analysis of Real-Time Systems, Object-Oriented Technology and Real Time Systems Workshop, ECOOP 98, 1998.
DOI : 10.1007/3-540-49255-0_169

]. A. Stefano and O. Mirabella, A fast sequence control device based on enhanced Petri nets, Microprocessors and Microsystems, vol.15, issue.4, pp.179-186, 1991.
DOI : 10.1016/0141-9331(91)90117-X

]. D. Dolev, S. Kramer, and D. Malki, Total ordering of messages in broadcast domains The Hebrew University of Jerusalem CS-92-9, 1992.

D. and X. He, Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets, Lecture Notes in Informatics, vol.7, pp.99-112, 2001.

]. A. Dorseuil and P. Pillot, Le temps réel en milieu industriel, 1991.

]. B. Douglass, Real-Time UML, 1998.
DOI : 10.1007/3-540-45739-9_4

[. Souza and A. Wills, Objects, Components and Frameworks With UML: The Catalysis Approach, 1998.

]. R. Duke, G. Rose, and G. Smith, ObjectZ: a Specification Language Advocated for the Description of Standards, pp.94-95, 1994.

]. M. Dumas and A. T. Hofstede, UML Activity Diagrams as a Workflow Specification Language, International Conference on the Unified Modeling Language (UML), 2001.
DOI : 10.1007/3-540-45441-1_7

E. Dürr and S. Goldsack, The Development of Concurrent and Real-Time Systems using VDM ++, Cap Volmac AFRO, 1995.

]. J. Ebert and G. Engels, Observable or Invocable Behaviour -You Have to Choose, pp.94-132, 1994.

P. V. Eijk, Tools for LOTOS Specification Style Transformation, p.89, 1989.

]. T. Eirich and F. Hauck, Inheritance by Aggregation, 1991.

A. Ek, The SOMT Method, 1995.

M. Elkoutbi and R. K. Keller, User Interface Prototyping based on UML Scenarios and High-level Petri Nets Application and Theory of Petri Nets, Proc. of 21st Intl. Conf. on ATPN), pp.166-186, 2000.

J. P. Elloy, Une approche intégrée des outils de conception des applications temps réels répartis, Habilitation à diriger des recherches, 1989.

]. R. Eshuis and R. Wieringa, A Formal Semantics for UML Activity Diagrams, 2001.

]. A. Evans, Making UML Precise, OOPSLA'98, Workshop on Formalizing UML. Why? How, 1998.

]. A. Evans, R. B. France, K. C. Lano, and B. Rumpe, Meta-Modelling Semantics of UML, Behavioural Specifications for Businesses and Systems, H. Kilov, Ed.: Kluwer, p.4, 1999.
DOI : 10.1007/978-1-4615-5229-1_4

]. F. Feldbruge and K. Jensen, Computer Tools for High-level Petri Nets, 1991.
DOI : 10.1007/978-3-642-84524-6_28

]. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier et al., Cadp (caesar/aldebaran development package): A protocol validation and verification toolbox, The 8th Conference on Computer-Aided Verification, 1996.

]. J. Fernández and J. Ambrosiotoval, Seamless Formalizing the UML Semantics through Metamodels, Unified Modeling Language: System Analysis, Desing and Development Issues, U. o. N.-L, 2001.
DOI : 10.4018/978-1-930708-05-1.ch014

]. J. Fernández and A. Toval, Can Intuition Become Rigorous? Foundations for UML Model Verification Tools, International Symposium on Software Reliability Engineering, 2000.

]. S. Flake-2002a, W. Flake, and . Mueller, An OCL Extension for Real-Time Constraints, Object Modeling with the OCL, 2002.

]. S. Flake-2002b, W. Flake, and . Mueller, Specification of Real-Time Properties for UML Models, Hawai'i International Conference on System Sciences (HICSS-35), 2002.

]. H. Fleischhack and U. Lichtblau, MOBY-a tool for high level Petri nets with objects, Proceedings of IEEE Systems Man and Cybernetics Conference, SMC, 1993.
DOI : 10.1109/ICSMC.1993.390788

R. France, J. Bruel, M. Larrondo-petrie, and M. Shroff, Exploring The Semantics of UML Type Structures with Z, Proc. 2nd IFIP Conf. Formal Methods for Open Object-Based Distributed Systems (FMOODS'97, 1997.
DOI : 10.1007/978-0-387-35261-9_17

]. R. France and M. Larrondo-petrie, From structured analysis to formal specifications, Proceedings of the 22nd annual ACM computer science conference on Scaling up : meeting the challenge of complexity in real-world computing applications meeting the challenge of complexity in real-world computing applications, CSC '94, 1994.
DOI : 10.1145/197530.197634

]. M. Fraser, K. Kumar, and V. K. Vaishnavi, Informal and formal requirements specification languages: bridging the gap, IEEE Transactions on Software Engineering, vol.17, issue.5, pp.454-466, 1991.
DOI : 10.1109/32.90448

K. Fraser, V. K. Kumar, and . Vaishnavi, Strategies for incorporating formal specifications in software development, Communications of the ACM, vol.37, issue.10, pp.74-86, 1994.
DOI : 10.1145/194313.194399

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

]. S. Gaubert and J. Mairesse, Asymptotic analysis of heaps of pieces and application to timed Petri nets, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331), 1999.
DOI : 10.1109/PNPM.1999.796562

]. T. Gehrke, U. Goltz, and H. Wehrheim, The Dynamic Models of UML: Towards a Semantics and its Application in the Development Process, 1998.

. Gehrke-1999-]-t, U. Gehrke, H. Goltz, and . Wehrheim, Zur semantischen Analyse der dynamischen Modelle von UML mit Petri-Netzen, Proceedings of The 6th Symposium on Development and Operation of Complex Automation Systems, 1999.

]. R. Geisler, Precise UML Semantics Through Formal Metamodeling, Proceedings of the OOPSLA'98 Workshop on Formalizing UML. Why? How, 1998.

]. H. Genrich, Predicate/Transition Nets, Lecture Notes in Computer Science, vol.254, pp.207-247, 1986.
DOI : 10.1007/978-3-540-47919-2_9

. Ghezzi-1991-]-c, M. Ghezzi, D. Jazayeri, and . Mandrioli, Fundamentals of Software Engineering, 1991.

]. H. Giese, J. Graf, and G. Wirtz, Closing the Gap between Object-Oriented Modeling of Structure and Behavior, 1999.
DOI : 10.1007/3-540-46852-8_38

. Y. Girard-1987-]-j and . Girard, Linear Logic, Theoritical Computer Science, vol.50, 1987.

]. J. Girard, La logique linéaire, Pour la science, vol.150, 1990.

]. J. Girard, Introduction à la logique linéaire, Logique et informatique : une introduction, 1991.

F. Girault, Formalisation en logique linéaire du fonctionnement des réseaux de Petri, PhD, 1997.

M. Gogolla and F. P. Presicce, State Diagrams in UML: A Formal Semantics using Graph Transformations, Proceedings PSMT'98 Workshop on Precise Semantics for Modeling Techniques, p.9803, 1998.

M. Gogolla, O. Radfelder, R. Kollmann, and M. Richters, Analysing Atomic Dynamic UML Notions by Surfing through the UML Metamodel, WORKSHOP Dynamic Behaviour in UML Models: Semantic Questions, 2000.

. Guerraoui-1995-]-r and . Guerraoui, Modular Atomic Objects, Theory and Practice of Object Systems (TAPOS), vol.1, issue.2, pp.89-99, 1995.

]. R. Guerraoui and A. Schiper, Fault-tolerance by replication in distributed systems, Reliable Software Technologies -Ada-Europe'96, 1996.
DOI : 10.1007/BFb0013477

]. N. Halbwachs, P. Caspi, P. Ratmond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, pp.1305-1321, 1991.
DOI : 10.1109/5.97300

A. A. Hanisch and T. S. Dillon, Object-oriented behaviour modelling for real-time design, Proceedings Third International Workshop on Object-Oriented Real-Time Dependable Systems, 1997.
DOI : 10.1109/WORDS.1997.609928

A. Harel and . Pnuelli, On the development of Reactive Systems, in Logic and Models of Concurrent Systems, NATO ASI in Computer Science, pp.447-498, 1985.

D. Hay, UML Misses the Boat, Workshop on Formalizing UML. Why? How? in OOPSLA'98, L

X. He, Formalizing Class Diagrams Using Hierarchical Predicate Transition Nets, the 24th International Computer Software and Application Conference (COMPSAC'2000), Taiwan, 2000.

W. Ho, J. M. Jézéquel, A. L. Guenec, and F. Pennaneach, UMLAUT : an Extensible UML Transformation Framework, Automated Software Engineering, ASE'99, 1999.

]. C. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.
DOI : 10.1145/359576.359585

]. C. Hoare, An Overview of Some Formal Methods for Program Design, Computer, vol.20, issue.9, pp.85-91, 1987.
DOI : 10.1109/MC.1987.1663697

]. T. Holvoet and P. Verbaeten, PN-TOX : a Paradigm and Develpment Environment for Object Concurrency Specifications, 1st W. on OO Programming and Models of Concurrency in the 16th Int. Conf. on Application and Theory of Petri Nets, 1995.

]. G. Holzmann, The model checker SPIN, n° Special issues on Formal Methods in Software Practice, 1997.
DOI : 10.1109/32.588521

]. B. Hoogeboom and W. A. Halang, The Concept of Time in Software Engineering for Real-Time Systems, Proc. 3rd Int. Conf. On Software engineering for Real-Time systems, 1991.

I. Huszerl, A. Majzik, K. Pataricza, M. D. Kosmidis, and . Cin, Quantitative Analysis of UML Statechart Models of Dependable Systems, The Computer Journal, vol.45, issue.3, pp.260-277, 2002.
DOI : 10.1093/comjnl/45.3.260

]. F. Jahanian and A. K. Mok, Safety analysis of timing properties in real-time systems, IEEE Transactions on Software Engineering, vol.12, issue.9, pp.890-904, 1986.
DOI : 10.1109/TSE.1986.6313045

]. F. Jahanian and D. A. Stuart, A Method for Verifying Properties of Modechart Specifications, Proceedings of 9th IEEE Real-Time Systems Symposium, 1988.

]. K. Jensen, Coloured Petri Nets and the Invariant-Method, DAIMI Report Series, vol.8, issue.104, pp.317-336, 1981.
DOI : 10.7146/dpb.v8i104.6519

C. B. Jones, VDM, une méthode rigoureuse pour le développement du logiciel, 1993.

]. J. Jørgensen, Coloured Petri Nets in UML-Based Software Development -Designing Middleware for Pervasive Healthcare, Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 2002.

]. R. Keller, X. Shen, and G. Bochman, Macronet-a Simple, Yet, Expressive and Flexible Formalism for Business Modeling, WCSCW in 15th Int. Conf. on Application and theory of Petri Nets, 1994.

]. R. Kemmerer, Integrating formal methods into the development process, IEEE Software, vol.7, issue.5, pp.37-50, 1990.
DOI : 10.1109/52.57891

S. Khalfaoui, E. Guilhem, H. Demmou, and R. Valette, Une méthode pour obtenir des scénarios critiques dans les systèmes mécatroniques, 2002.

P. King and R. Pooley, Using UML to Derive Stochastic Petri Nets Models, Fifteenth UK Performance Engineering Workshop (UKPEW '99), 1999.

L. Kuzniarz, G. Reggio, J. Sourrouille, and Z. Huzar, Workshop on Consistency Problems in UML-based Software Development, Research Report, pp.6-168, 2002.

. Lakos-1995a-]-c and . Lakos, Pragmatic Inheritance Issues for Object Petri Nets, TOOLS'95 Pacific conference

. A. Lakos-1995b-]-c and . Lakos, From Coloured Petri nets to Object Petri nets " , in Application and Theory of Petri Nets, pp.278-297, 1995.

C. A. Lakos, Object Oriented Modelling with Object Petri nets Advances in Petri nets, 1997.

]. L. Lamport, The temporal logic of actions, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.768-775, 1994.
DOI : 10.1145/177492.177726

K. Lano, an Object-Oriented Extensions to Z, Computing, 1991.

K. Lano and J. Bicarregui, Formalising the UML in Structured Temporal Theories, Proceedings Second ECOOP Workshop on Precise Behavioral Semantics, pp.105-121, 1998.
DOI : 10.1007/978-1-4615-5229-1_11

K. Lano and S. Goldsack, Formalising Real-time System Design, 1997.
DOI : 10.1007/3-540-69687-3_81

]. P. Laplante, Real-Time Systems Design and Analysis, an Engineer's handbook, pp.0-8186, 1991.

. C. Laprie-1995-]-j and . Laprie, Guide de la sureté de fonctionnement, Cépaduès edition, pp.2-85428, 1995.

]. L. Lavazza, G. Quaroni, and M. Venturelli, Combining UML and Formal Notations for Modeling Real-Time Systems, Joint 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, 2001.

]. A. Guennec, Génie Logiciel et Méthodes Formelles avec UML : Spécification, Validation et Génération de tests, 2001.

]. Guernic, Projet EP-ATR : Environnement de programmation d'applications temps réels, IRISA, Rennes Rapport d'activités scientifiques, 1997.

]. G. Le-lann, P. Minet, and D. Powell, Systémes répartis, Informatique tolérante aux fautes, ARAGO, pp.55-71, 1994.

]. P. Leblanc and V. Encontre, Object-Oriented Real-Time Techniques : Method Guidelines, 1996.

J. Lilius and I. P. Paltor, Digital Sound Recorder: A Case Study On Designing Embedded Systems Using the UML Notation, 1998.

]. J. Lilius-1999a, I. P. Lilius, and . Paltor, The Semantics of UML State Machines, TUCS, Turku Centre for Computer Science Tecnical report, vol.273, 1999.

D. Lime and O. H. Roux, State class Timed Automaton of a Time Petri Net The 10th International Workshop on Petri Nets and Performance Models, PNPM'03:), 2003.

]. B. Liskov and J. M. Wing, A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, vol.16, issue.6, pp.1811-1841, 1994.
DOI : 10.1145/197320.197383

]. B. Liskov and J. M. Wing, Behavioural Subtyping Using Invariants and Constraints " , MIT Lab, Cambridge CMU-CS-99-156, 1999.

M. Löwe, D. Wikarski, and Y. Han, Higher-Order Object Nets and their Application to Workflow Modelling, FB Informatiks, 1995.

R. Machado, J. Fernandes, and H. Santos, A Methodology for Complex Embedded Systems Design, Architecture and Design of Distributed Embedded Systems, pp.1-10, 2001.
DOI : 10.1007/978-0-387-35409-5_1

]. C. Maier and D. Moldt, Object Coloured Petri Nets : a Formal Techniques for OO Modelling, Petri Nets in System Engineering, Modelling, Verification and Validation, M. O. Steher, pp.11-19, 1997.

]. I. Majzik and A. Bondavalli, Automatic Dependability Modelling of Systems Described in UML, 9th International Symposium on Software Reliability Engineering (ISSRE-98), 1998.

]. D. Mandrioli, The Specification of Real-Time Systems: a Logical Object Oriented Approach, p.92, 1992.

]. M. Marti-oliet and J. Meseguer, FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY, International Journal of Foundations of Computer Science, vol.02, issue.04, pp.297-399, 1991.
DOI : 10.1142/S0129054191000182

]. S. Matsuoka, K. Wakita, and A. Yonezawa, Synchronization Constraints with Inheritance: What is not Possible -so What is ?, 1990.

]. S. Matsuoka and A. Yonezawa, Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages, Research Directions in Object-Based Concurrency, pp.107-150, 1993.

[. D. Mc-gregor and D. M. Dyer, A note on inheritance and state machines, ACM SIGSOFT Software Engineering Notes, vol.18, issue.4, pp.61-69, 1993.
DOI : 10.1145/163626.163635

]. P. Merlin and D. J. Farber, Recoverability of Communication Protocols--Implications of a Theoretical Study, IEEE Transactions on Communications, vol.24, issue.9, pp.1036-1043, 1976.
DOI : 10.1109/TCOM.1976.1093424

J. Merseguer, S. Bernardi, J. Campos, and S. Donatelli, A compositional semantics for UML state machines aimed at performance evaluation, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., 2002.
DOI : 10.1109/WODES.2002.1167702

J. Merseguer, J. Campos, and E. Mena, Performance analysis of internet based software retrieval systems using Petri Nets, Proceedings of the 4th ACM international workshop on Modeling, analysis and simulation of wireless and mobile systems , MSWIM '01, 2001.
DOI : 10.1145/381591.381604

]. B. Meyer, The Significance of Components, 1999.

]. E. Meyer, Développements formels par objets : Utilisation Conjointes de B et d'UML, PhD, vol.2, 2001.

]. L. Mikhajlov and E. Sekerinski, The Fragile Base Class Problem and its solution, Turku center for computer Science, vol.117, 1997.

]. R. Milner, A Calculus of Communicating System, LNCS, vol.92, 1980.
DOI : 10.1007/3-540-10235-3

]. S. Mitchell and A. J. Wellings, Synchronisation, concurrent object-oriented programming and the inheritance anomaly, Computer Languages, vol.22, issue.1, pp.115-141, 1996.
DOI : 10.1016/0096-0551(96)00002-1

O. Framingham and A. , Object Meta Object Facility (MOF) Specification, pp.97-105, 1997.

. Omg-1997b-] and . Omg, UML Notation Guide version 1,1 " , www.rational.com, 1997.

. Omg-1999a-] and . Omg, UML Semantic Guide version 1.3, 1999.

. Omg-1999b-] and . Omg, UML version 1.3, 1999.

]. J. Ostroff and W. Wonham, Modeling and Verifying Real-Time Embedded Computer Systems, IEEE Real-Time Symposium, 1987.

]. B. Paech and B. Rumpe, A new concept of refinement used for behaviour modelling with automata, Formal Methods Europe'94, 1994.
DOI : 10.1007/3-540-58555-9_94

]. J. Palsberg and M. Schwartzbach, Three discussions on object-oriented typing, ACM SIGPLAN OOPS Messenger, vol.3, issue.2, pp.31-38, 1992.
DOI : 10.1145/130943.130949

]. M. Paludetto and J. Delatour, UML et les réseaux de Petri : vers une sémantique des modèles dynamiques et une méthodologie de développement des systèmes temps réel, pp.3-4, 1999.

]. M. Paludetto and S. Raymond, A methodology based on objects and Petri nets for development of real-time software, Proceedings of IEEE Systems Man and Cybernetics Conference, SMC, 1993.
DOI : 10.1109/ICSMC.1993.384958

M. Papathomas, J. Hernandez, J. M. Murillo, and F. Sanchez, Inheritance and Expressive power in Concurrent Object-Oriented Programming, Proceedings of Langages et Modèles à Objets '97, 1997.

C. A. Petri, Kommunikation mit Automate, 1962.

R. G. Pettit and H. Gomaa, Validation of Dynamic Behavior in UML Using Colored Petri Nets, Workshop on Dynamic Behaviour in UML Models: Semantic Questions, UML 2000 Conference, 2000.

R. G. Pettit and H. Gomaa, Modeling State-Dependent Objects using Coloured Petri Nets, MOCA'01, Workshop on Modelling of Objects, Components, and Agents, 2001.

]. L. Pomello and G. Rozenberg, A survey of equivalence notions for net based systems, Advances in Petri Net 92, pp.410-472, 1992.
DOI : 10.1007/3-540-55610-9_180

]. R. Pooley and C. Kabajunga, Simulation of UML Sequence Diagrams, UK PEW '98 -14th UK Performance Engineering Workshop, 1998.

L. A. Künzle, F. Girault, and R. Valette, Evaluation temporelle de scénario de réseau de Petri incluant du parallélisme, Congrès sur la Modélisation des Systèmes Réactifs (MSR'99), 1999.

R. Pradin-chézalviel and . Valette, Accessibilité de marquage et logique linéaire dans un réseau de Petri t-temporel, Journées Formalisation des Activités Concurrentes, 2000.

R. Chézalviel and . Valette, Réseaux de Petri et Logique Linéaire, Vérification et mise en oeuvre des réseaux de Petri, S. l. d. d. M. Diaz, Editions Hermès, pp.209-229, 2003.

R. Valette and L. A. Künzle, Formalisation de scénarios, réseaux de Petri et logique linéaire, FAC, vol.99, 1999.

R. Valette and L. A. Künzle, Scenario duration characterization of ttimed Petri nets using linear logic, EEE PNPM'99, 8th International Workshop on Petri Nets and Performance Models, 1999.

C. Ramchandani, Analysis of Asynchronous Concurrent Systems using Petri Nets, Laboratory for Computer Science, vol.120, 1974.

M. Cerioli and E. Astesiano, Towards a Rigorous Semantics of UML Supporting its Multiview Approach, Proc. FASE 2001, 2001.

]. G. Reggio and R. J. Wierenga, Thirty One Problems in the Semantics of UML 1.3 DynamicsRigourous Modeling and Analysis of the UML Challenges and Limitations, OOPSLA'99, 1999.

N. Rivière, B. Pradin-chézalviel, and R. Valette, Reachability and temporal conflicts in t-time Petri nets, Proceedings 9th International Workshop on Petri Nets and Performance Models, 2001.
DOI : 10.1109/PNPM.2001.953372

]. J. Robbins, ArgoUML, 1998.

]. E. Roubtsova, J. V. Katwijk, and W. J. , Transformation of UML Specification to XTG, the Andrei Ershov Fourth International Conference, 2001.
DOI : 10.1007/3-540-45575-2_25

]. J. Saldhana, S. M. Shatz, and Z. Hu, FORMALIZATION OF OBJECT BEHAVIOR AND INTERACTIONS FROM UML MODELS, International Journal of Software Engineering and Knowledge Engineering, vol.11, issue.06, 2001.
DOI : 10.1142/S021819400100075X

]. J. Saldhana and S. M. Shatz, UML diagrams to Object Petri Net Models: An Approach for Modeling and Analysis, International Conference on Software Engineering and Knowledge Engineering, 2000.

L. Sannes, C. Apvrille, P. Lohr, J. Sénac, and . Courtiat, UML et RT-LOTOS : Vers une intégration informel/formel au service de la validation de systèmes temps réel, Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'2001), 2001.

P. D. Saqui-sannes, J. Courtiat, C. Lohr, and P. Sampaio, TURTLE: A Timed UML and RTLotos Environment, Workshop on Formal Methods for Real Time UML, 2000.

A. Knapp and S. Merz, Model Checking Timed UML State Machines and Collaborations, Electronics Notes in Theorical Computer Science, vol.47, pp.1-13, 2001.
DOI : 10.1007/3-540-45739-9_23

M. Sonnenschein and R. Wieting, Efficient Simulaton of THOR Nets, 16th Int. Conf. on Application and Theory of Petri Nets, 1995.

M. Stumptner, Behavior Consistent Extension of Object Life Cycles, Object- Oriented and Entity-Relationship Modelling, pp.133-145, 1995.

B. Selic, G. Gullekson, and P. Ward, Real-Time Object Oriented Modelling, 1994.

B. Selic and J. Rumbaugh, Using UML for modeling complex real-time systems, ObjecTime Limited, 1998.
DOI : 10.1007/BFb0057795

]. P. Sénac, Contribution à la modélisation des systèmes multimédias et hypermédias, PhD, 1996.

]. S. Sendall and A. Strohmeier, Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML " , UML 2001 -The Unified Modeling Language: Modeling Languages, Concepts and Tools, Fourth International Conference, 2001.

K. Shin and P. Ramanathan, Real-time computing: a new discipline of computer science and engineering, Proceedings of the IEEE, p.1, 1994.
DOI : 10.1109/5.259423

R. Blanc and . Bastide, Object-Oriented Structuring using High-Level Petri Nets Advances in Petri Nets'91, Lecture Notes in Computer Science, pp.1-24, 1991.

]. A. Simons, On the Compositional Properties of UML Statecharts Diagrams, Electronic Workshops in Computing: Rigorous Object-Oriented Methods, 2000.

]. A. Simons and I. M. Graham, 37 Things That Don't Work in Object Modelling with UML, Proc. 2nd. ECOOP Workshop on Precise Behavioural Semantics, 1998.

]. A. Simons and I. Graham, 30 Things that Go Wrong in Object Modelling with UML 1.3, Precise Behavioral Specification of Businesses and Systems, pp.237-257, 1999.
DOI : 10.1007/978-1-4615-5229-1_17

]. Sourrouille, Modélisation par la méthode OMT-2 avec UML, Real-Time System'98, 1998.

]. J. Spivey, The Z Notation : a Reference Manual, 1989.

]. J. Stankovic, Misconception about Real-Time Systems -a serious problem for next generation systems, IEEE Computer, pp.10-19, 1988.

L. A. Stein, Delegation is inheritance, 1987.
DOI : 10.1145/38807.38820

G. Sunyé, A. Leguennec, and J. Jézéquel, Using UML Action Semantics for model execution and transformation, Information Systems, vol.27, issue.6, pp.445-457, 2002.
DOI : 10.1016/S0306-4379(02)00014-5

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

H. Toetenel, E. Roubtsova, and J. V. Katwijk, A timed automata semantics for real-time UML specifications, Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587), 2001.
DOI : 10.1109/HCC.2001.995243

J. J. Tsai, S. J. Yang, and Y. Chang, Timing constraint Petri nets and their application to schedulability analysis of real-time system specifications, IEEE Transactions on Software Engineering, vol.21, issue.1, pp.32-49, 1995.
DOI : 10.1109/32.341845

. Valette-1979-]-r and . Valette, Analysis of petri nets by stepwise refinements, Journal of Computer and System Sciences, vol.18, issue.1, pp.35-46, 1979.
DOI : 10.1016/0022-0000(79)90050-3

R. Valette, Cours sur les réseaux de Petri, LAAS, 2000.

]. R. Valette, V. Thomas, and S. Bachmann, SEDRIC, un simulateur à événements discrets basés sur les réseaux de Petri, RAIRO/APII, vol.19, issue.5, pp.423-436, 1985.

R. Valk, On Processes of Object Petri Net, University of Hamburg FBI-HH-B-185/96, 1996.

R. Valk, Relating Different Semantics for Object Petri nets, 2000.

W. M. Van-der-aalst, Inheritance of Dynamic Behaviour in UML, MOCA'02 , Second Workshop on Modelling of Objects, Components, and Agents, 2002.

W. M. Van-der-aalst and T. Basten, Life-Cycle Inheritance : A Petri Net Based Approach " , 18th ICATPN, Application and Theory of Petri Nets, 1997.

]. P. Verkoulen, Integrated Information systems Design, 1998.

. Wegner-1988-]-p, S. B. Wegner, and . Zdonik, Inheritance as an Incremental Modification Mechanism or What like is and isn't like, p.88, 1988.

]. B. Wilson, Systems : Concepts, Methodologies and Applications, 1988.

G. Wirtz and H. Giese, Using UML and object-coordination-nets for workflow specification, SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166), 2000.
DOI : 10.1109/ICSMC.2000.886482

H. Yu, X. He, Y. Deng, and L. Mo, A Formal Method for Analyzing Software Architecture Models in SAM, COMPSAC2002, 2002.

M. Zapf and A. Heinzl, Techniques for integrating Petri Nets and Object-Oriented Concepts, 1999.

V. Partie, règles de dérivation des diagrammes de séquence Partie VII Annexe : règles de dérivation des diagrammes de séquence, p.167

V. 1. Processus and .. De-passage, 168 VII.2 168 VII.2.2. Règles de dérivation des communications sortantes, p.169

L. Contraintes and T. , 172 VII.4.2. Ambiguïtés d'interprétation des CT qualitatives, ., p.176

S. La-communication, la consommation du jeton est modélisée par une transition puits (Eat_mX) de traitement supposé, Cette transition est complétée par d'autres places et transitions si cette communication à des effets observables

S. La-communication-est-synchrone, acquittement (pour une communication synchrone faible) ou la réponse (pour une communication synchrone forte) doivent être modélisés Une communication asynchrone (opération m1) et des communications synchrones faible (m2) et forte (m3) sont données en Figure VII.1, . La dénomination des différentes places et transitions générées automatiquement dans ce processus de traduction suit toujours les mêmes règles, C'est par ces conventions de nommage que sont effectués les liens entre les places et les transitions du diagramme à RdP durant les différentes étapes de traduction

. La-seconde-stratégie-consiste, en quelque sorte, à d'abord lever les ambiguïtés en questionnant l'analyste-concepteur puis, en fonction des réponses apportées, à ensuite enrichir le diagramme de séquence avec des barres d'activation, Nous nous ramenons ainsi à la première stratégie

. Afin-de-ne-pas-complexifier-inutilement-le-rdp, nous proposons une représentation simplifiée de ce type de mécanisme d'activation de la place CTA. Nous parlons alors de places modulo. Par conséquent, le RdP de la Figure VII.9 peut être remplacé par celui donné en Figure VII

V. Figure, Représentation d'une place CTA modulo Cependant, d'autres CT sont rencontrées dans les diagrammes de séquence et ne sont pas représentables sur les eBPN des CO, car elles ne concernent pas le comportement des CO. Ce sont des CT : ?

L. Figure and V. , 11 propose différentes représentations courantes d'un stimulus ou d'une réponse suivant sa fréquence d'apparition, le protocole de communication utilisé (synchrone/asynchrone)

V. Figure, Représentations des stimuli et réponses dans un EPN Les bornes de l'intervalle temporel de la transition d'apparition du stimulus (App_Stimulus) ou de la réponse (App_Response) dépendent : ? De la périodicité