格温娜·德拉瓦尔;埃里克·鲁顿;埃尔文·马尔坎德 将离散控制器综合集成到反应式编程语言编译器中。 （英语） 兹比尔1273.93111 离散事件动态。系统。 23，第4期，385-418（2013）. 摘要：我们定义了一种混合命令式/声明式编程语言：声明式契约是在命令式描述的行为上强制执行的。本文利用离散控制器综合（DCS）的概念描述了该语言的语义。我们的目标是自适应和可重构系统的应用领域：我们的语言可以为编程闭环自适应控制器提供服务，从而能够在资源和环境条件发生变化的情况下灵活执行功能。DCS集成到编程语言编译器中，方便用户和程序员使用，执行可执行代码生成。该工具是在反应式编程语言编译器的基础上具体构建的，其中节点描述可以根据转换系统建模的行为。我们的编译器将其与DCS工具集成，使其成为形式化方法的新环境。我们定义了契约语言的跟踪语义，描述了它的编译并确定了它的正确性。此外，还讨论了实现方法并给出了示例。 引用于2文件 MSC公司： 93元65角 离散事件控制/观测系统 93亿B50 合成问题 68N20型 编译与解释理论 关键词：无功系统;同步编程;离散控制综合;汇编;行为契约;自适应/可重构系统 软件：UMDES公司 PDF格式BibTeX公司 XML格式引用 \textit{G.Delaval}等人，离散事件动力学。系统。23，编号4385-418（2013；兹bl 1273.93111） 全文： 内政部 哈尔 参考文献： [1] Aboubekr S、Delaval G、Pissard-Gibollet R、Rutten E、Simon D（2011）实时连续控制任务离散处理程序的自动生成。In：程序。国际自动控制联合会（IFAC）第十八届世界大会。意大利米兰，第786-793页 [2] Altisen K，Clodic A，Maraninchi F，Rutten E（2003）使用控制器合成来构建性能增强层。摘自：欧洲编程研讨会。LNCS，第2618卷。波兰华沙，第126-141页·Zbl 1032.93045号 [3] Auer A，Dingel J，Rudie K（2009）使用离散事件系统为动态线程生成并发控制。2009年，第47届通信、控制和计算年度allerton会议。Allerton 2009，第927-934页 [4] Benveniste A、Caspi P、Edwards S、Halbwachs N、Le Guernic P、de Simone R（2003）十二年后的同步语言。程序IEEE 91（1）：64-83·doi:10.1109/JPROC.2002.805826 [5] Benveniste A，Caillaud B，Passerone R（2007）嵌入式系统合同的通用模型。印度研究报告RR-6214 [6] Bodik R、Chandra S、Galenson J、Kimelman D、Tung N、Barman S、Rodarmor C（2010）《天使不确定性编程》。摘自：编程语言原理，POPL，第339-352页·兹比尔1312.68053 [7] Bouhadiba T，Sabah Q，Delaval G，Rutten E（2011）分形组件系统重构的同步控制——案例研究。In：嵌入式软件的Int.conf。EMSOFT 2011。台湾台北，第309-318页 [8] Cassandras C，Lafortune S（2007）离散事件系统简介。施普林格·Zbl 0934.93001号 [9] Cassez F，David A，Fleury E，Larsen K，Lime D（2005）《分析计时游戏的高效实时算法》。In：并发理论Conf（CONCUR）。LNCS，第3653卷，第66-80页·Zbl 1134.68382号 [10] Chakrabarti A、de Alfaro L、Henzinger TA、Mang FYC（2002）《同步和双向组件接口》。In：计算机辅助验证。LNCS，第2404卷。丹麦哥本哈根，第414-427页·Zbl 1010.68518号 [11] Colaço J-L，Pagano B，Pouzet M（2005）状态机同步数据流的保守扩展。In：嵌入式软件（EMSOFT）。美国新泽西州，第173-182页 [12] Delaval G，Rutten E（2010）基于分形组件模型中基于反应模型的重构控制。In：基于组件的软件工程。LNCS，第6092卷。捷克共和国布拉格，第93-112页 [13] Delaval G、Marchand H、Rutten E（2010）模块化离散控制器综合合同。In：嵌入式系统的语言、编译器和工具。瑞典斯德哥尔摩，第57-66页 [14] deQueiroz MH，Cury JER（2002）制造单元本地模块化监控的合成与实现。在：第六届离散事件系统国际研讨会论文集，第377-382页 [15] Dragert，C。；丁格尔，J。；Rudie，K.，《使用离散事件系统理论生成并发控制代码》，146-157（2008），美国纽约州纽约市·数字对象标识代码：10.1145/1453101.1453122 [16] Hamon G（2002）Calcul d’horloge et structures de contróle dans Lucid Synchrone，un langage de flots synchronesála ML博士论文，巴黎P.et M.居里大学，法国 [17] Harel D（2008）编程能解放吗？计算机41（1）：28-37·doi:10.1109/MC.2008.10 [18] Harel D，Naamad A（1996）状态图的STATEMATE语义。ACM Trans Softw工程方法5（4）：293-333·doi:10.1145/235321.235322 [19] Harel D、Kugler H、Pnueli A（2005）《重新审视综合：从基于场景的需求生成状态图模型》。In：软件和系统建模中的形式化方法。LNCS，第3393卷，第309-324页·Zbl 1075.68614号 [20] Hellerstein J，Diao Y，Parekh S，Tilbury D（2004）计算系统的反馈控制。威利-伊ee [21] Hietter Y，Roussel J-M，Lesage J-J（2008）状态模型过渡条件的代数综合。In：程序。第九届离散事件系统国际研讨会（WODES’08），哥德堡，第187-192页 [22] Iordache MV，Antsaklis PJ（2009），Petri网和编程：一项调查。摘自：2009年美国控制会议记录，第4994-4999页 [23] Iordache M，Antsaklis P（2010）基于监督控制的并发程序合成。In:2010年美国控制会议 [24] Jiang S，Kumar R（2000）离散事件系统的分散控制，专门用于局部控制和并发系统。IEEE Trans-Syst Man Cybern，B部分30（5）：653-660·数字对象标识代码：10.1109/3477.875442 [25] Komenda J，van Schuppen JH（2005）离散事件系统模块化控制中产生的通用规范语言的最高级子语言。收录：第44届IEEE决策与控制会议，第2775-2780页 [26] Komenda J，Masopust T，van Schuppen JH（2010）使用离散事件系统的协调方案合成满足全局规范的安全子语言。离散事件动态系统10:426-431 [27] Kugler H、Plock C、Pnueli A（2009）LSC要求的控制器合成。In:软件工程基本方法，2009年3月22日至29日，英国约克FASE’09 [28] Le Gall T，Jeannet B，Marchand H（2005）使用抽象解释对无限符号系统进行监督控制。在：第44届IEEE决策与控制会议（CDC’05）和控制以及欧洲控制会议ECC 2005。西班牙塞维利亚，第31-35页 [29] Lee S-H，Wong KC（2002）并发离散事件系统的结构分散控制。欧洲药典控制8（5）：477-491·Zbl 1293.93524号 ·doi:10.3166/ejc.8.477-491 [30] Liu C，Kondratyev A，Watanabe Y，Desel J，Sangiovanni-Vincentelli A（2006）基于结构属性的petri网可调度性分析。2006年，第六届并发应用于系统设计国际会议。ACSD 2006，第69-78页·Zbl 1167.68401号 [31] Maraninchi F，Morel L（2004）《反应式嵌入式软件开发的逻辑时间合同》。参加：第30届欧洲微机电会议，基于组件的软件工程轨道（ECBSE）。法国雷恩，第48-55页 [32] Marchand H（1997）《自动化系统的方法》（Méthodes de synthèse d’automatimes décrits par des systèmesévénements discrete finish）。IFSIC雷恩一大学博士论文 [33] Marchand H，Gaudin B（2002）分层有限状态机的监督控制问题。第41届IEEE决策与控制会议。美国拉斯维加斯，第1199-1204页·Zbl 0618.93033号 [34] Marchand H、Bournai P、Le Borgne M、Le Guernic P（2000）基于信号环境的离散事件控制器合成。离散事件动态系统：理论应用10（4）：325-346·Zbl 0960.93520号 ·doi:10.1023/A:1008311720696 [35] Meyer B（1992）应用“合同设计”。计算机25（10）:40-51·doi:10.1109/2.161279 [36] Phoha VV、Nadgar AU、Ray A、Phoha S（2004）《软件系统的监督控制》。IEEE Trans计算53（9）：1187-1199·Zbl 1081.03035号 ·doi:10.1109/TC.2004.67 [37] Ramadge PJ，Wonham WM（1987）一类离散事件过程的监督控制。SIAM J控制优化25（1）：206-230·Zbl 0618.93033号 ·doi:10.1137/0325013 [38] Schmidt K，Breindl C（2008）关于离散事件系统分层和模块化监督控制方法的最大允许性。2008年，第九届离散事件系统国际研讨会。WODES 2008，第462-467页。电气与电子工程师协会 [39] Wallace C、Jensen P、Soparkar N（1996）《工作流调度的监督控制》。In:高级事务模型和架构研讨会（ATMA），印度果阿 [40] Wang Y，Lafortune S，Kelly T，Kudlur M，Mahlke S（2009）通过离散控制避免死锁的理论。在编程语言原理中，POPL。美国萨凡纳，第252-263页·Zbl 1315.68073号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。