编程网络反应研究

编程网络反应科林·维达尔引用此版本：科林·维达尔。 编程网络反应。 Web. 蔚蓝海岸大学法语NNT：2018AZUR4049。电话：01900619HAL Id：tel-01900619https://theses.hal.science/tel-019006192018年10月22日提交HAL是一个多学科的开放获取档案馆，用于存放和传播科学研究文件，无论它们是否已这些文件可能来自法国或国外的教学和研究机构，或来自公共或私人研究中心。L’archive ouverte pluridisciplinaire编程网络反应科林·维达尔INRIAPrésentée en vue de l'obtention du grade de docteur en Informatique d' UniversitéCôte d'Azur et du Collège de France.导演：Manuel Serrano共同赞助人：Gérard Berry搜索结果：06 juillet 2018在陪审团面前，作曲：热拉尔·贝里Professeur法兰西学院埃马纽埃尔·沙尤Professeur索邦大学罗兰·迪库尔瑙美的化身蒙彼利埃大学阿兰·吉罗研究主任INRIA曼努埃尔·塞拉诺研究主任INRIA博士论文集响应式Web编程陪审团组成：报告员：Emmanuel Chailloux Schaillour索邦大学Alain Girault审查员：蒙彼利埃大学Co-directeur de thèse：Gérard Berry法国大学Directeur de thèse：Manuel Serrano23雷默西芒非常感谢Manuel Serrano让我拥有这份自由只要我愿意另外，感谢这些关于GNU/Linux和一般信息库的“极客”的讨论！非常感谢Gérard Berry，他与我共同提出了这一观点，并对我的幽默感感 谢 Emmanuel Chailloux 和 Alain Girault 接 受 这 两 名 报 告 员 。 感 谢 RolandDurcournau让我感受也谢谢弗朗西斯·多利埃·索梅，我和我的办公室分开了，还为我准备了三个人的停车场。感谢所有Inria和INDES的其他人员与我分享了他们的名字（请在路上告诉我，也感谢Inria的等讨论。我也会向我的父母劳伦斯·德斯特拉德和帕特里克·维达尔表示感谢，因为这是一个非常好的故事（如果你看到了正字法的错误，就不必再去看了：恩，最后一句话--但不是我--我对你的名字和名字表示同情，你的伟大的支持和你的善良的人永远不会失败，因为我不允许他们走在前面，我认为这就是他们的冒险45简历Le web est une plate-form universelle pour décilper des applications riches en-interactions avec les utilisaeclosures et des services distants. Ces interactions sontimplémen- tées sous formeJavaScript，Web语言，主要是用于实现抽象外观的异步开发，用于编写、验证这方面的贡献是对语言Hiphop.js的理解和实现，该语言是JavaScript的高级抽象，用于生成异步的Hiphop.js est une implémentation JavaScript de constructionstemporelles du langage réactif synchrone Esterel.除了这些结构，控制一个应用程序Hiphop.js的方法是明确的。Il est donc possible de savoir précisément quand et sousquelles conditions un évènement est traité par simple lecture du code source del'application. Ceci facilite la vérification et la maintenance de l'application. Hiphop.js语言的深度融合与web动态学习是这方面工作的重要组成部分。这些程序在执行JavaScript应用程序时进行编译，以适应在执行过程中对学员进行的培训（例如，学员在会议期间的连接或断开连接格言类：web，programmation synchrone，JavaScript，programmation réactive，lan- gage synchrone67摘要Web是一个通用平台，用于开发与用户和远程服务交互的应用程序这些交互被实现为可以在任何时候触发的异步事件Web的主流语言JavaScript使用低级抽象来处理异步事件，这使得编写、验证和维护交互式应用程序变得困难。我们通过设计和实现一种新的领域特定语言Hiphop.js来解决这个问题它提供了一种替代JavaScript事件处理机制，通过重用来自同步编程语言Esterel的时态结构。这些构造使程序的控制流明确和确定。Hiphop.js嵌入在JavaScript中，适合Web的传统动态编程风格。它与JavaScript紧密耦合，可以交换值并访问任何数据结构。它还可以支持对现有程序的动态修改，以支持Web上的按需下载它可以运行在Web应用程序的两端，即服务器和客户端。在这篇论文中，我们介绍了Hiphop.js，它的设计和实现。我们概述了它的编程环境，我们提出了原型的Web应用程序，我们已经实现了验证的方法。关键词：web，异步编程，JavaScript，反应式编程，syn-tech语言89材料桌回顾31Introduction générale151.1Motivations et objectifs161.1.1Le web：une plate-forme universelle161.1.2教育培训1.2捐款. 171.3Plan de la Thèse182État de2.1Les langages réactifs synchrones202.2La programmation fonctionnelle réactive212.3Technologies web réactives222.3.1Les promesses et constructionscampaign/await232.3.2Interfaces graphiques web réactives et applications interactives.262.3.3Le modèle2.3.4Vue globale312.4Hiphop.js32的位置103Le web 2.0 et Hiphop.js353.1一.导言. 363.2Interactivité，évènement et programisme363.3应用程序分钟和JavaScript373.3.1Minuteur basique373.3.2悬挂式40分钟计3.4Application de minuteur en Hiphop.js433.4.1Minuteur basique433.4.2悬挂式46分钟计3.5讨论473.6结论484语言Hiphop.js494.1一、导言. 514.2Reactions et durée de vie des instructions514.3Hello world！» Hiphop.js............................................................................ 514.4Syntaxe concrète524.4.1模块534.4.2Signaux534.4.3表达式554.4.4Délais德莱564.4.5说明Hiphop.js574.4.657号控制器基础说明4.4.7Séquence574.4.8Execution parallèle584.4.960号信号发射4.4.10 Attente注意力604.4.11 Branchement conditionnel614.4.12 Préemption先发制人61114.4.13 悬浮液624.4.14 执行代码JavaScript durant la réaction634.4.15 地方信号的定义644.4.16 Boucles654.4.17 Trappes特拉普斯684.4.18 执行4.4.19 模块再利用745集成架构5.1Du code à5.1.1代码源commun785.1.2Compilation et exécution：lesmachines réactives5.2Évènements et signaux795.3Dynamicité des programmes Hiphop.js815.3.1第81号方案的建设动态5.3.2Plasticité du parallèle825.4行动845.5Interfaces graphiques réactives865.5.1Proxy réactif Hop.js865.5.2使用类似代理87的出动信号5.5.3扩散6Technique de compilation et modèle6.1La syntaxe abstraite956.1.1Module et signaux模块和信号966.1.2表达式976.1.3讨论1016.2代码6.2.1Préprocesseur程序员102126.2.2转换和代码标准JavaScript1046.2.3Construction de6.3De6.4Modèle6.4.1与联合国方案110有关的港口图表6.4.2Implementation6.4.3计算一个门的价值6.4.4在一个门上执行6.5Génération du circuit1186.6优化1216.7结论1257Environnement de dépément1277.1Intérêt et particularités内在与特殊1287.2利用1297.2.1可视化与导航1297.2.2Mode7.2.3编程接口1327.3Fonctionnement interne1337.3.1Architecture globale1337.3.2Mises à jours incrémentales1347.3.3限制1357.4结论1358应用程序示例8.1确认自动化8.2Traduction automatique et parallèle自动翻译和平行翻译1408.3Module de lecture audio ou vidéo1458.4制造商-j150的版本138.5Les nombres premiers1539前景1599.1语言扩展1609.1.1EXEC160全球信号发射台9.1.2变量区域设置1629.1.3Une machine réactiveitéable1649.2Hiphop.js的分发版本16510 一般结论167附件.171A 选择语言Hiphop.js173BGrammaire de la syntaxe abstraite de Hiphop.js175C Architecture globale de参考书目1831415第一章导言索迈尔1.1Motivations et objectifs161.1.1Le web：une plate-forme universelle161.1.2教育培训1.2捐款. 171.3Plan de la Thèse18161.1动机和目标1.1.1Le web：une plate-form universelleLe web est historiquement un moyen d'échange et de lecture de documents structu-rés，statiques et non interactifs. Des technologies se sont ensuite greffées au web etont permis la création de pages web interactives ayant un contenu dynamique，puis《Web 2.0》没有[Le web continue à évoluer aujourdLes technologies web englobent JavaScript ， HTML ， CSS et HTTP pour leséchanges ré- seaux. 事 实 上 ， le terme application web designe toute applicationdépendant fortement de ces technologies et généralement riche en interaction avecl'utilisateur.这些都是在网络导航系统的初始框架下使用的。第三部分，Electron[GitHub，2013]和React Native [Facebook，2015]是关于网络技术的，也是关于如何创建应用程序的，这些应用程序与 在对象互联网的核心架构中，最低限度地使用JavaScript来实现对连接对象的应用程序除了标准化、可能的技术和使用之外，Web还将成为一个通用的平台，用于交互式应用程序和用户转换器这种印版是动态的，它的应用范围是多种多样的，主要是在使用过程中，也是在使用过程中与公报的要求相一致的L’objet de cettethèse est l’étude de la gestion de ces interactions dans le contexte dynamique du webpar le1.1.2成人教育Les applications web modernes agissent en interaction constante avecCes interactionssont variées： choix et lecture de musiques et vidéos en ligne ，touchofécement ，récement de trains et17données et accès au système de fictionary ， navigation et zoom dans des cartesinteractives，etc. Les applications peuvent elles-mêmes communiquer avec plusieursservices web distants pour répondre aux requêtes de这种相互作用是自然的，因此不可能在程序执行的时候发生。Du point de vue de此外，在计算和其他教育活动的反应中，对教育的认识可能会减弱在所有类型中，音乐配器是一个名称《青春之声》在Web应用程序中[W3C，2017]，desgestionnaires由于需要一个文件，因此管理人员应将相关职能放在一个待处理文件的末尾。Un environ- nementLorsque le nombre实际上，语法和指令在管理中的作用并不等同于Navisphere指令 在 执 行 中 的 不 同 位 置 Il faut déromodelmentalement les différentsordonnancements potentiels to comprendre les différents états et compore-sibles duprogramme.此外，代码的修改、组合和再利用与编排模式相比非常困难，尤其是对新国家代码的一次修改：在考虑组合和重新调整的情况下，必须重新调整可能存在的差异1.2贡献Hiphop.js语言是这类语言的产物。Il appropte une solution1. 虽然教育的管理不需要JavaScript，但JavaScript的学习非常重要18网络的内在动力。为此，Hiphop.js étend le langage JavaScript en y professant lasémantique et les constructions du langage réactif synchrone Este- rel v5 [Berry etGonthier，1992，Berry，2000 b].这些结构也适应于动态的web环境：Hiphop.js程序可以动态地连接到JavaScript的学习环境，这取决于JavaScript程序的执行Desconstructions permettent également此外，Hiphop.js还处理了此外，Hiphop.js在web中引入了渗透到层次化的视觉和抽象的结构和抽象。Cecirend la dynamique du programme explicite dès la syntaxe du code，facilitant1.3Plan de la Thèse第2章介绍了与Hiphop.js进行连接的工作。第3章是通过JavaScript的管理模式解决实际问题的证据这两个例子都是在Hiphop.js中实现的，因为它可以比较JavaScript的模式，并在Hiphop.js中引入新的语言。第4章是Hiphop.js的详尽说明，阐述了语言的第5章解释性注释Hiphop.js est intégré et se connected au modèlede JavaScript.Ensuite，le chapitre6 detaille le fonctionnement interne de Hiphop.js etson implémentation.第7章介绍了用于Hiphop.js的符号化和分发的内容，第8章介绍并解释了Hiphop.js中的应用程序规则。第9章阐述了Hiphop.js的发展前景，第10章总结了这些工作的总体情况第3、4、5、7和8章主要针对感兴趣的读者，通过