Acosta bermejo, Raul (2003) Rejo Langage d'Objects Réactifs et d'Agents. PhD thesis Informatique Temps Réel, Robotique et Automatique, ENSMP - CMA Centre de Mathématiques Appliquées, ENSMP.

Full text available as: - These-Raul_ACOSTA.pdf ( 2492 Kb )

Licence: Copyright

Abstract

This thesis presents Rejo a new high level language for programming reactive systems. Rejo, which means REactive Java Objets, is an extension of Java that creates Reactive Objets, i.e., objects that encapsulate data and a mix of Java instructions and reactive instructions. The execution model is the one of the Reactive Synchronous Approach which executes the Java instructions in an atomic way. The Rejo compiler generates 100% Java code where reactive instructions are implemented with the Junior library. The influence of Junior on Rejo is important, and performance, advantages, and drawbacks are herited from the model and implementation of Junior. Junior programming and several implementations of it are studied in the thesis . The Rejo reactive objects may be considered as mobile agents because they can migrate using a platform, called ROS, that provides the functionalities they need. ROS, which means Reactive Operating System, is a Mobile Agent System similar to an operating system because it is based on a modular micro-kernel and on a set of services, and it provides a graphical interface (Ricobjs), a shell (Rsh), and an API.

References

[ACM 87] Lustre, a declarative language for programming synchronous systems. In 14th ACM Symposium on Principles of programming Languages, POPL'87, Munchen, January 1987.
[ACO 00a] REJO/ROS, Ra´ul Acosta-Bermejo, Rapport de DEA RSD à l'ESSI, Sophia Antipolis France, Septembre 2000.
[ACO 00b] Reactive Operating System, REactive Java Objects, Ra´ul Acosta-Bermejo, Notere'2000, ENST Paris, Novembre 2000.
[ACO 02] La programmation en Rejo, Ra´ul Acosta-Bermejo, Les intergiciels, développements récents dans CORBA, Java RMI et les agents mobiles, Publications Hermes Sience Lavoisier 2002, http://www.hermes-science.com.
[ACO 03] Quelle méthode et quel langage choisir?, Ra´ul Acosta-Bermejo, L'informatique professionnelle, Publications Gartner, Dossier développement, Numéro 210, janvier 2002,
[AHO 86] Compilers: Principles, Techniques, and Tools, A.V. Aho, R. Sethi, J.D. Ullman, Addison-Wesley, 1986.
[AND 95] SyncCharts: a visual representation of reactive behaviors, C. André, Technical Report RR 95-52, I3S, Sophia-Antipolis, France, October 1995.
[AND 96] Representation and Analysis of Reactive Behaviors: A Synchronous Approach, C. André, CESA'96, IEEE-SMC, Lille(F), July 9-12, 1996.
[ARI 82] Principles of Concurrent and Distributed Programming, M. Ben-Ari, C.A.R. Hoare Prentice Hall International Series in Computer Science, Series Editor 1982.
[AUG 99a] Objets à contrôle réactif: Un modèle de conception pour applications concurrentes, M. Augeraud, F. Bertrand, Technique et science informatiques, janvier 1999.
[AUG 99b] BDL: A Specialized Language for per-Object Reactive Control, M. Augeraud, F. Bertrand, IEEE Transactions on Software Engineering, a paraˆıtre, 1999.
[BER 87] Programmation synchrone des systèmes réactifs: le langage Esterel, G. Berry, P. Couronné, et G. Gonthier. Techniques et Sciences Informatiques, 6(4), 1987.
[BER 92] The Esterel Synchronous Language: Design, Semantics Implementation, G. Berry, G. Gonthier. Science of Computer Programming, 19(2), 1992.
[BER 96] Un modèle de contrôle réactif pour les langages à objets concurrents, F. Bertrand, Thèse de doctorat, Université de La Rochelle, L3I, Avenue Marillac, 17042 La Rochelle Cedex, janvier 1996.
[BOU 91] Reactive-C: An extention of C to Program Reactive Systems, F. Boussinot, Software Practice and Experience, 21(4), 401-428, 1991.
[BOU 96a] Reactive Scripts, F. Boussinot, L. Hazard, Proc. International Conference on Real-Time Computing Systems and Applications, RTCSA, Seoul, IEEE, October 1996.
[BOU 96b] Reactive Scripts, F. Boussinot, L. Hazard, INRIA Research Report 2868, May 1996.
[BOU 96c] Icobj programming, F. Boussinot, INRIA Research Report 3028, October 1996, ou le rapport 2796 en français.
[BOU 96d] Reactive objects, F. Boussinot, G. Doumenc, et J.B. Stefani. INRIA Research Report 2664, October 1995. Ou dans Annales des Télécommunications, 51(9-10), 1996.
[BOU 96e] La programmation réactive: Applications aux systèmes communicants, F. Boussinot, Masson, Collection Technique et Scientifique des Télécommunications, 1996.
[BOU 96f] The SL Synchronous Language, F. Boussinot, and R. de Simone, IEEE Transactions on Software Engineering, vol. 22(4), p. 256-266, April 1996.
[BOU 97] The SugarCubes Tool Box - Rsi-Java implementation, F. Boussinot, J-F. Susini, INRIA Research Report 3247, 1997. http://www-sop.inria.fr/mimosa/rp/RapportsRecherche/RR-3247.pdf
[BOU 98a] Distributed Reactive Machines, F. Boussinot, J.F. Susini, L. Hazard, INRIA Research Report 3376, March 1998.
[BOU 98b] SugarCubes Implementation of Causality, F. Boussinot, Research Report 3487, September 1998.
[BOU 98c] The SugarCubes Tool Box: A Reactive Java Framework, F. Boussinot, J-F. Susini, Software Practice and Experience, 28(14), 1531-1550, 1998.
[BOU 00a] Java threads and SugarCubes, F. Boussinot, J-F. Susini, Software Practice and Experience, 30(5), 545-566, 2000.
[BOU 00b] Junior Automata, F. Boussinot, Research Report RR-4031 Octobre 2000, at http://www-sop.inria.fr/mimosa/rp/ et and http://www.inria.fr/rrrt/rr-4031.html.
[BOU 00c] Pickling threads state in the Java system, S. Bouchenak, D. Hagimont, Proceedings of 33rd International Conference on Technology of Object-Oriented Languages (TOOLS Europe/2000), Mont-Saint-Michel, France, juin 2000. http://sirac.inrialpes.fr/#bouchena.
[BOU 00d] Junior semantics, F. Boussinot, J-F. Susini, Draft of Research Report October 2000, founded at http://www-sop.inria.fr/mimosa/rp/.
[BOU 02] FairThreads, F. Boussinot, http://www-sop.inria.fr/mimosa/rp/.
[BRA 93] An Efficient Object-Oriented Variation of the Statecharts Formalism for Distributed Real-Time Systems, Bran Selic, Computer Hardware Description Languages and their Applications (CHDL) 1993: 335-344.
[BRI 96] Objets, parallélisme et répartition, J. Briot, R. Guerraoui, Technique et science informatiques, vol. 15, no 6, p. 765-800, 1996.
[BRU 01] Rapport de DEA: Etude de la cohérence dans les jeux en réseaux distribués Christian Brunette Rapport de DEA RSD à l'ESSI, Sophia Antipolis France, juin 2001.
[BRU 02] A Visual Reactive Framework for Dynamic Behavior Creation, Christian Brunette, OOPSLA Second Workshop on Domain Specific Visual Languages October, 2002.
[CAB 98] Reactive Tuple Spaces for Mobile Agent Coordination, G. Cabri, L. Leonardi, F. Zambonelli, Lecture Notes in Computer Science, vol. 1477, 1998.
[CAS 87] A functional extention to Lustre. Paul. Caspi, Marc Pouzet, In 8th International Symposium on Languages for Intensional Programming, Sydney, May 1995.
[CAS 95] Compilation of the ELECTRE reactive language into finite transition systems, F. Cassez, O. Roux, Theoretical Computer Science, vol. 146, juillet 1995.
[CAS 96] SynchronousKahn networks, P. Caspi, M.Pouzet. In Proceedings of the International Conference on Functional Programming. ACM Press, 1996.
[CHE 95] Itinerant Agents for Mobile Computing, Chess, David, et al., IBM T.J. Watson Research Center, Yorktown Heights, New York, 1995.
[COL 98] Design and implementation of Triveni: A process-algebraic API for threads + events. C. Colby, L. J. Jagadeesan, et al., In Proceedings of the 1998 IEEE International Conference on Computer Languages. IEEE Computer Press, 1998. To appear.
[COL 99] Semantics of Triveni: A process-algebraic API for threads + events, C. Colby, et al., Electronic Notes in Theoretical Computer Science, 14, 1999.
[Coroutines] Coroutines in C Simon Tatham, http://www.chiark.greenend.org.uk/#sgtatham/coroutines.html.
[DEM 01] Programmation réactive fonctionnelle avec Senior, Julien Demaria, Rapport de DEA Informatique à l'ESSI, Sophia Antipolis France, September 2001. http://www.inria.fr/mimosa/rp/Senior
[DER 92] Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design, Derek Coleman, Fiona Hayes, Stephen Bear, IEEE Transactions on Software Engineering (TSE), Volume 18, number 1, pages 9-18, 1992.
[DIJ 65] Solution of a Problem in Concurrent Programming Control, Edsger W. Dijkstra, Communications of the ACM, 8(9):569, September 1965.
[ELL 97] Functional reactive animation C. Elliott and P. Hudak.. In Proceedings of the International Conference on Functional Programming. ACM Press, 1997.
[FEL 87] A Reduction Semantics for Imperative Higher-Order Languages, In Proc. Conf. on Parallel Architecture and Languages Europe, pages 206-223. Lecture Notes 259 in Computer Science. Springer-Verlag, 1987.
[FRA 92] Program Verification, Nissim Francez, Addison-Wesley, Reading, MA, 1992.
[FRA 96] Is it an Agent, or just a Program?: A Taxonomy for Autonomous Agents, S. Franklin, A. Graesser, Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages, Springer-Verlag, 1996, http://www.msci.memphis.edu/#franklin/AgentProg.html.
[FUG 98] Understanding Code Mobility, A. Fugette, G-P. Picco, G. Vigna, IEEE Transactions on Software Engineering, vol. 24, No 5, 1998, pp.342-361.
[FUN 98] Transparent Migration of Java-based Mobile Agents(Capturing and Reestablishing the State of Java Programs) S. F¨unfrocken, Proceedings of Second International Workshop Mobile Agents 98 (MA'98), Stuttgart, Allemagne, septembre 1998. http://www.informatik.tu-darmstadt.de/#fuenf.
[FUR 95] Parallélisme et distribution en C++: une revue des langages existants, N. Furmenton, Y. Roudier, G. Siegel, Rapport technique RR 95-02, I3S, Sophia-Antipolis, FRANCE, 1995.
[GAM 95] Design Patterns: Elements of Reusable Object Oriented Software, Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides, Addison-Wesley, 1995.
[GUE 91] Programming realtime applications with SIGNAL, P. Le Guernic, T. Gautier, M. Le Borgne, et M. Le Maire. Rapport Technique 1446, INRIA-Rennes, 1991 apparu aussi en Proceedings of the IEEE, 79, 9, p 1321-1336.
[GUE 96] Un environnement opérationnel de conception et de réalisation de systèmes multi-agents, Z. Guessoum, Thèse de doctorat, LAFORIA, Université Paris VI, mai 1996.
[GON 79] Graphes et algorithmes, M. Gondran, M. Minoux, Eyrolles, 1979. Collection de la Direction des études et Recherches d?électricité de France.
[HAL 91] The Synchronous dataflow Programming Language Lustre. N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud. Proceedings f the IEEE, 79(9):1305-1320, September 1991.
[HAL 93a] Synchronous programming of reactive systems. N. Halbwachs, Kluwer Academic Publishers, 1993.
[HAL 93b] The Synchronous languages Twelve Years later A. Benveniste et al. Proceedings of the , VOL. 91, NO. 1, January 2003.
[HAL 02] A tutorial of Lustre. N. Halbwachs, P. Raymond, January 2002.
[HAR 85] On the Development of Reactive Systems. D. Harel, A. Pnueli. In Logic and Models of Concurrent Systems, NATO Advanced Study Institute on Logics and Models for Verification and Specification of Concurrent Systems, Springer Verlag, Vol. 13, pp 477-498, New York, 1985.
[HAR 87] Statecharts: A visual formalism for complex systems., D.Harel. Science of Computer programming, 8:231-274, 1987.
[HAR 96] The Statemate Semantics of Statecharts, D. Harel, A. Naamad, ACM Transactions on Software Engineering and Methodology, 5(4):292-333, 1996.
[HAZ 99] The Junior reactive kernel, L. Hazard, J-F. Susini, F. Boussinot, INRIA Research Report 3732, July 1999.
[HAZ 00a] Programming with Junior, L. Hazard, J-F. Susini, F. Boussinot, INRIA Research Report 4027, July 2000.
[HOR 73] An Axiomatic Definition of the Programming Language Pascal, C. A. R. Hoare and Niklaus Wirth, Acta Informatica, 2, 1973, pp. 335?355.
[HPC 03] Cours et TD de compilation, Henri-Pierre Charles http://www.prism.uvsq.fr/#hpc/Enseignement/Compilation/Cours/.
[GRI 96] The Icon Programming Language, R. Griswold and M. Griswold. Peer-to-Peer Communications, Inc., third edition, 1996.
[JavaDocs] http://java.sun.com/docs/.
[JavaEmbed] Design and Specification of Embedded Systems in Java using Succesive Formal Refinement, J.S. Young, et al. In Design Automation Conference, 1998. http://java.sun.com/products/embeddedjava/.
[JavaLang] http://java.sun.com/docs/books/jls/.
[JavaThreads] Why JavaSoft is Deprecating Thread.stop, Thread.suspend, Thread.resume, JavaSoft
Documentation, http://java.sun.com/products/, http://java.sun.com/products/jdk/1.2/docs/guide/misc/threadsPrimitiveDeprecation.html.
[Jona] Jonathan Dans le site http://www.objectweb.org/jonathan/download/index.html se trouve toute l'information.
[KAN 87] Natural Semantics, Giles Kahn, In Fourth Annual Symposium on Theoretical Aspects of Computer Science, edited by F. Bandenburg, G. VidalNaquet, and M. Wirsing, Lecture Notes in Computer Science, 247, Springer-Verlang, Berlin, 1987, pp. 22?39.
[LAU] Pour l'instant il n'y a aucun document officiel sur Rhum, néanmoins le lecteur intéressé peut consulter http://users.info.unicaen.fr/#eoulaoun/Projets/Corba/Moorea.htm, ou contacter Laurent Hazard par e-mail mailto:laurent.hazard@francetelecom.com.
[LAV 99] ECL: A Specification Environment for System-Level Design, Luciano Lavagno, Ellen Senrovich, apparu en DAC 99.
[LIM 01] Projet de fin d'études réalisé par Benjamin LIM chez France Télécom R&D. Pour plus d'information consulter http://membres.lycos.fr/benjaminlim/cv.html ou Anne Gerodolle mailto:anne.gerodolle@rd.francetelecom.fr.
[MAN 02] Aspects dynamiques dans les langages synchrones: le cas des SugarCubes, Louis Mandel, Rapport de DEA Programmation: Sémantique, Preuves et Langages, Laboratoire d'Informatique Paris 6, Septembre 2002.
[MAR 89] Argos: an Automaton-Based Synchronous Language, F. Maraninchi, Y. Remond, Computer Languages, Elsevier, No. 27, pags.61-92, 2001.
[MASIF] Mobile Agent System Interoperability Facility Dans le site http://www.fokus.gmd.de/research/cc/ecco/masif/ se trouve toute l'information.
[MEY 93] Introduction to the Theory of Programming Languages, Bertrand Meyer, Prentice Hall, Hemel Hempstead, UK, 1990.
[MEY 93] Systematic concurrent object-oriented programming, B. Meter, Communications of the ACM, vol. 36, no 9, p. 56-80, 1993.
[MOOR 00] Moorea, a Service Execution Environment for Telecommunication Application, B. Dillenseger, A-M Tagant, H. Tran-Viet, L. Hazard. http://users.info.unicaen.fr/#eoulaoun/Projets/Corba/Index.htm.
[MOS 99] Foundations of Modular SOS, Peter D. Mosses, BRICS Report Series RS-99-54, December 1999.
[NIK 99] RAMA: Reactive Autonomous Mobile Agent, Navid Nikaein, Rapport de DEA RSD à l'ESSI, Sophia Antipolis France, Septembre 1999.
[PAR 03] Programmation réactive sur systèmes embarqués Olivier Parra, Rapport de DEA Informatique à l'ESSI, Sophia Antipolis France, juillet 2003.
[PLO 81] A Structural Approach to Structural Semantics, G. Plotkin, Rapport Technique DAIMI FN-19, Université de Aarhus,1981.
[PNU 91] What is a step: On the semantics of Statecharts, A. Pnueli, M Shalev. Lecture Notes in Computer Science, 525, Springer Berlin 1991 pp244-464.
[POT 96] Etude et prototypage en ESTEREL de la gestion de processus d'un micronoyau de système d'exploitation réparti avec garantie de service, Olivier Potonniée, Thèse faite à l'université Paris VI, Spécialité en informatique, avril 1996.
[PUC 98] Reactive Programming in Standard ML, Riccardo R. Pucella. IEEE International Conference on Computer Language 1998. Vous pouvez trouver plus d'information sur sa page web: http://www.cs.cornell.edu/riccardo/.
[REP 95] The SL Synchronous Language, INRIA Research Report 2510, March 1995.
[RIC 01] Description de comportements d'agents autonomes évoluant dans des mondes virtuels, Nadine Richard, Thèse de doctorat, école Nationale Supérieure des Télécommunications, octobre 2001. http://www.inviwo.org, http://www.infres.enst.fr/#richard/Recherche/These/.
[ROS 02] ECOMOBILE: A network Agent Ecosystem for Distributed Network Management D. Rossier, R. Scheurer, in Proc. of ECUNM'02, 2nd European Conference on Universal Multiservice Networks, pp. 141-149, Colmar, France, April 8-10, 2002.
[SAK 00] Bytecode Transformation for Portable Thread Migration in Java T. Sakamoto, T. Sekiguchi, A. Yonezawa, Proceedings of Second International Workshop Mobile Agents 2000 (MA'2000), Zurich, Suisse, septembre 2000.
[SAM 02] Application de la programmation réactive à la modélisation physique Alexander Samarin Rapport de DEA RSD à l'ESSI, Sophia Antipolis France, juille 2002.
[SCH 88] Denotational Semantics: A Methodology for Language Development, David Schmidt, Wm. C. Brown Publishers, Dubuque, IA, 1988.
[SCH 00] A verified hardware synthesis for Esterel K. Schneider.. In F. Rammig, editor, International IFIP Workshop on Distributed and Parallel Embedded Systems, pages 205-214, Schlo Ehringerfeld, Germany, 2000. Kluwer Academic Publishers.
[SCH 01] A new method for compiling schizophrenic synchronous programs, K. Schneider, M. Wenz, International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), (Atlanta, Georgia), Nov. 2001.
[STO 77] Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, Joseph Stoy, MIT Press, Cambridge, MA, 1977.
[SUS 96] J.F. Susini, Rapport de DEA RSD à l'ESSI, Sophia Antipolis France, Juin 1996.
[SUS 01] L'Approche Réactive au dessus de Java: sémantique et implémentation des SugarCubes et de Junior, Jean-Ferdinand Susini, Thèse faite à l'Ecole de Mines de Paris, Spécialité en Informatique temps-réel Robotique Automatique, septembre, 2001.
[TAN 95] Distributed Operating Systems A.S. Tanenbaum, Prentice Hall 1995.
[TRU 00] Portable support for transparent thread migration in Java, E. Truyen, B. Robben, B. Vanhaute, T. Coninx, W. Joosen, P. Verbaeten, Proc. ASA/MA 2000, Lecture Notes in Computer Science 1882, Springer, pp. 29-43.
[WEB Agents] http://www.cetus-links.org/oo mobile agents.html, http://agents.umbc.edu/.
[WEB AgentX] http://www.ietf.org/html.charters/OLD/agentx-charter.html.
[WEB Aglets] http://aglets.sourceforge.net/.
[WEB AgMail] http://www.mobility-list.org/.
[WEB AgSoc] http://www.agent.org/.
[WEB AgWeb] http://www.agentweb.net/, http://agents.umbc.edu/.
[WEB Concordia] http://www.merl.com/projects/concordia/WWW/.
[WEB FIPA] http://leonardo.telecomitalialab.com/fipa/, http://www.fipa.org/
[WEB Icobj] Introduction to Icobjs, http://www-sop.inria.fr/mimosa/rp/Icobjs/IntroToIcobjs/index.html.
[WEB JavaCC] JavaCC, Distributed by the WebGain company. http://www.webgain.com/products/java cc/.
[WEB Jester] http://www.parades.rm.cnr.it/projects/jester/jester.html.
[WEB Mole] http://mole.informatik.uni-stuttgart.de/
[WEB RejoRos] Page web sur Rejo/Ros: http://www-sop.inria.fr/mimosa/rp/ROS/.
[Web Synch] http://www.inrialpes.fr/synalp/.
[Web SynEifel] http://ais.gmd.de/EES/synchronie/Doc/lang.html.
[Web synERJY] http://www.ais.fhg.de/#ap/sE/.
[WEB Voyager] http://www.recursionsw.com/products/voyager/.
[WEB W3C] http://www.w3.org/TR/2002/REC-UAAG10-20021217/, http://www.w3.org/WAI/UA/.
[WEL 96] A Taxonomy for Distributed Object-Oriented Real-Time Systems, L. Welch, D.K. Hammer, O. Van Roosmalen, OOPS Messenger, vol. 7, no 1, p. 78-85, janvier 1996.
[WHI 97] Telescript Technology: Mobile Agents White, J., In Bradshaw, J. (ed.) Software Agents. MIT Press, 1997.

Table of content

1 Introduction
1.1 L'approche synchrone
1.1.1 Description du modèle
.1.2 Langages Synchrones
1.2 Le paradigme d'agents mobiles
1.2.1 Etat de l'art
1.2.2 Conception d'un SAM .
1.2.3 Normes et SAM .
1.3 Objectifs de la thèse et réalisations .
1.4 Structure du document .
2 Junior: modèle, programmation et sémantique
2.1 Introduction
2.2 Modèle d'exécution .
2.3 Programmation et API .
2.3.1 Les wrappers et les identifiers .
2.3.2 Les configurations événementielles .
2.3.3 Les instructions réactives
2.3.4 La machine réactive .
2.3.5 Construction et exécution d'un programme Junior .
2.4 Exemples .
2.5 Sémantique .
2.6 Conclusions
3 Junior: implémentations et expérimentations
3.1 Implémentations .
3.2 Analyse de Junior .
3.2.1 Implémentation du parallélisme
3.2.2 Les instructions primitives
3.2.3 Scanner, Callback ou Interrupt
3.2.4 Run et Dynapar .
3.2.5 Par et Seq n-aires .
3.3 Travaux similaires
3.4 Pistes .
3.4.1 D'autres façons de voir l'environnement
3.4.2 La QoS en Junior
3.4.3 Les exceptions
3.5 Conclusions
4 Workbench
4.1 Le problème de la pile
4.2 L'instruction Par n-aire
4.3 L'instruction Seq n-aire
4.4 L'attente d'événements
4.5 Les cascades inverse et directe
4.6 Les cascades inverses avec Stops
4.7 L'impact de l'expressivité du langage
4.8 Structure de contrôle
4.9 Conclusion
5 Rejo: modèle et programmation 1ère partie
5.1 Modèle d'exécution
5.2 Programmation 1ère partie
5.2.1 Structure des programmes Rejo
5.2.2 Méthodes réactives et instructions réactives de base
5.2.3 Instructions atomiques
5.2.4 L'instruction Call et les macros avec inline
5.2.5 Le système à Runtime
5.2.6 Instruction Par
5.2.7 Instruction Loop
5.2.8 Instruction Repeat
5.2.9 Variables réactives
5.2.10 Instruction If
5.2.11 Evénements et conditions événementielles
5.2.12 Instruction Generate
5.2.13 Instruction Wait
5.2.14 Instruction When
5.2.15 Instruction Until
5.2.16 Instruction Control
5.2.17 Instruction Local
5.3 Compilation et exécution
5.4 Exemples
5.4.1 Le problème des philosophes
5.4.2 Producteurs/Consommateurs
5.5 Conclusion
6 Rejo: programmation 2ème partie et implémentation
6.1 Programmation - 2ème partie
6.1.1 Instruction Freezable
6.1.2 Instruction Link
6.1.3 Instruction Scanner
6.1.4 Instruction Try-catch
6.1.5 Instruction Dynapar
6.1.6 Macros
6.1.7 Héritage et Polymorphisme
6.1.8 Les philosophes avec événements
6.2 Implémentation
6.2.1 Code Généré
6.3 Analyse du compilateur
6.4 Version en C de Rejo: RAUL
6.5 Difficultés de la programmation réactive
6.6 Travaux similaires
6.7 Conclusion
7 ROS: architecture et agents
7.1 Introduction
7.2 Architecture
7.3 Les Agents
7.3.1 Implémentation
7.3.2 Migration
7.3.3 Deuxième implémentation des agents
7.4 Exemples
7.4.1 Shell réactif
7.4.2 Ricobj
7.5 Travaux similaires
7.6 Conclusions
8 Conclusion et perspectives
A Grammaire formelle de Rejo

Statistiques de consultation

Repository Staff Only: edit this item