{"id":27,"date":"2015-07-22T17:02:38","date_gmt":"2015-07-22T17:02:38","guid":{"rendered":"http:\/\/pageperso.univ-lr.fr\/frederic.bertrand\/?page_id=27"},"modified":"2015-07-24T15:44:00","modified_gmt":"2015-07-24T15:44:00","slug":"objets-concurrents","status":"publish","type":"page","link":"https:\/\/pageperso.univ-lr.fr\/frederic.bertrand\/recherche\/objets-concurrents\/","title":{"rendered":"Objets concurrents"},"content":{"rendered":"<p>Cette th\u00e9matique a \u00e9t\u00e9 abord\u00e9e durant ma th\u00e8se (1993-1996) qui a \u00e9t\u00e9 encadr\u00e9e par Michel AUGERAUD et Georges LOUIS. L&#8217;id\u00e9e \u00e9tait d&#8217;utiliser les langages\u00a0et les outils de preuve\u00a0d\u00e9velopp\u00e9s pour la programmation des <a href=\"https:\/\/en.wikipedia.org\/wiki\/Reactive_system\">syst\u00e8mes\u00a0r\u00e9actifs<\/a> pour valider et contr\u00f4ler les\u00a0ex\u00e9cutions concurrentes dans un langage \u00e0 objets concurrents.<\/p>\n<p>Ci-dessous les\u00a0publications associ\u00e9es \u00e0 ce travail.<\/p>\n<hr \/>\n<p style=\"text-align: center;\"><strong>Revues<\/strong><\/p>\n<hr \/>\n<ul>\n<li>Fr\u00e9d\u00e9ric BERTRAND and Michel AUGERAUD<br \/>\n<a href=\"http:\/\/perso.univ-lr.fr\/fbertran\/recherche\/publis\/tse1999.pdf\"><strong>BDL: A Specialized Language for per-Object Reactive Control<\/strong><\/a><br \/>\n<em>IEEE Transactions of Software Engineering (special issue on Domain-Specific Languages)<\/em>,<br \/>\npp 1-16, vol. 25 (3), 1999<\/li>\n<li>Michel AUGERAUD et Fr\u00e9d\u00e9ric BERTRAND<br \/>\n<a href=\"http:\/\/perso.univ-lr.fr\/fbertran\/recherche\/publis\/tsi1999.pdf\"><strong>Objets \u00e0 contr\u00f4le r\u00e9actif &#8212; un mod\u00e8le de conception pour applications concurrentes<\/strong><\/a><br \/>\n<em>Technique et science informatiques<\/em><br \/>\npp 871-900, vol. 18 (9), 1999<\/li>\n<\/ul>\n<hr \/>\n<p style=\"text-align: center;\"><strong>Conf\u00e9rences<\/strong><\/p>\n<hr \/>\n<ul>\n<li>Fr\u00e9d\u00e9ric BERTRAND and Michel AUGERAUD<br \/>\n<a href=\"http:\/\/perso.univ-lr.fr\/fbertran\/recherche\/publis\/dsl1997.pdf\"><strong>BDL: A Language to Control the Behavior of Concurrent Objects<\/strong><\/a><br \/>\n<em>Proceedings of USENIX Conference on Domain Specific Languages<\/em>, pp 133-144<br \/>\nSanta-Barbara, CA, USA, October 1997<\/li>\n<li>Fr\u00e9d\u00e9ric BERTRAND et Michel AUGERAUD<br \/>\n<a href=\"http:\/\/perso.univ-lr.fr\/fbertran\/recherche\/publis\/afcet1995.pdf\"><strong>Un mod\u00e8le de contr\u00f4le r\u00e9actif pour les langages \u00e0 objets concurrents<\/strong><\/a><br \/>\n<em>Actes du Congr\u00e8s AFCET 95<\/em>, pp 75-84<br \/>\nToulouse, France, octobre 1995<\/li>\n<li>Fr\u00e9d\u00e9ric BERTRAND and Michel AUGERAUD<br \/>\n<a href=\"http:\/\/perso.univ-lr.fr\/fbertran\/recherche\/publis\/oopsla1994.pdf\"><strong>Asynchronous reactive objects: an attempt to control the object behavior<\/strong><\/a><br \/>\nPoster in\u00a0<em>Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA&#8217;94)<\/em><br \/>\nPortland, OR, USA, October 1994<\/li>\n<li>Fr\u00e9d\u00e9ric BERTRAND et Michel AUGERAUD<br \/>\n<a href=\"http:\/\/perso.univ-lr.fr\/fbertran\/recherche\/publis\/agi1994.pdf\"><strong>Contr\u00f4le du comportement d&#8217;objets : les objets r\u00e9actifs asynchrones<\/strong><\/a><br \/>\n<em>Actes du Colloque Automatique, G\u00e9nie Informatique, Images<\/em>\u00a0, pp 225-228<br \/>\nPoitiers-Futuroscope, France, juin 1994<\/li>\n<li>Fr\u00e9d\u00e9ric BERTRAND and Michel AUGERAUD<br \/>\n<a href=\"http:\/\/perso.univ-lr.fr\/fbertran\/recherche\/publis\/dksme1994.pdf\"><strong>Control of object behavior: asynchronous reactive objects<\/strong><\/a><br \/>\n<em>Proceedings of International Conference on Data and Knowledge Systems for Manufacturing and Engineering<\/em>, pp 539-544<br \/>\nHong-Kong, May 1994<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Cette th\u00e9matique a \u00e9t\u00e9 abord\u00e9e durant ma th\u00e8se (1993-1996) qui a \u00e9t\u00e9 encadr\u00e9e par Michel AUGERAUD et Georges LOUIS. L&#8217;id\u00e9e \u00e9tait d&#8217;utiliser les langages\u00a0et les outils de preuve\u00a0d\u00e9velopp\u00e9s pour la programmation des syst\u00e8mes\u00a0r\u00e9actifs pour valider et contr\u00f4ler les\u00a0ex\u00e9cutions concurrentes dans un langage \u00e0 objets concurrents. Ci-dessous les\u00a0publications associ\u00e9es \u00e0 ce travail. Revues Fr\u00e9d\u00e9ric BERTRAND and &hellip; <a href=\"https:\/\/pageperso.univ-lr.fr\/frederic.bertrand\/recherche\/objets-concurrents\/\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Objets concurrents<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":20,"menu_order":0,"comment_status":"open","ping_status":"open","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/pageperso.univ-lr.fr\/frederic.bertrand\/wp-json\/wp\/v2\/pages\/27"}],"collection":[{"href":"https:\/\/pageperso.univ-lr.fr\/frederic.bertrand\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/pageperso.univ-lr.fr\/frederic.bertrand\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/pageperso.univ-lr.fr\/frederic.bertrand\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/pageperso.univ-lr.fr\/frederic.bertrand\/wp-json\/wp\/v2\/comments?post=27"}],"version-history":[{"count":6,"href":"https:\/\/pageperso.univ-lr.fr\/frederic.bertrand\/wp-json\/wp\/v2\/pages\/27\/revisions"}],"predecessor-version":[{"id":93,"href":"https:\/\/pageperso.univ-lr.fr\/frederic.bertrand\/wp-json\/wp\/v2\/pages\/27\/revisions\/93"}],"up":[{"embeddable":true,"href":"https:\/\/pageperso.univ-lr.fr\/frederic.bertrand\/wp-json\/wp\/v2\/pages\/20"}],"wp:attachment":[{"href":"https:\/\/pageperso.univ-lr.fr\/frederic.bertrand\/wp-json\/wp\/v2\/media?parent=27"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}