罗尔夫·亨尼克；亚历山大·纳普；亚历山大·马德拉 基于事件/数据的系统的混合动态逻辑机构。 （英语） Zbl 1522.68322号 正式Asp。计算。 第6号第33页，1209-1248页（2021）. 引用于1文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B70号 计算机科学中的逻辑 03G30型 分类逻辑，拓扑 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：赫茨；罗丹 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人，《正式Asp》。计算。33，第6号，1209--1248（2021；Zbl 1522.68322） 全文： 内政部 arXiv公司 参考文献： [1] Abrial J-R（2013）《事件B中的建模：系统和软件工程》，剑桥大学出版社 [2] Bauer SS、Hennicker R、Wirsing M（2011）接口理论并发和数据。《计算机科学》412（28）：3101-3121·Zbl 1216.68187号 [3] Bohrer B，Platzer A（2018）混合动态信息流的混合动态逻辑。收录：Dawar A，Grädel E（eds）Proc 33rd ann ACM/IEEE计算机科学中的辛逻辑，第115-124页。ACM公司·Zbl 1497.68289号 [4] Bräuner T（2010）混合逻辑及其证明理论。应用程序日志序列。施普林格·Zbl 1217.03021号 [5] deAlfaro L，Henzinger TA（2001）接口自动机。In:Min Tjoa A，Gruhn V（eds）Proc8th Europ软件工程conf 9th ACM SIGSOFT intl.symp。《软件工程基础》，第109-120页。ACM公司 [6] Diaconescu R（2008），机构依赖模型理论。研究普适逻辑。Birkhä用户·Zbl 1144.03001号 [7] Diaconescu R，Madeira A（2016）将杂交机构编码为一阶逻辑。数学结构计算科学26（5）：745-788·兹比尔1362.03058 [8] Diaconescu R，Stefaneas PS（2007）《机构中的超产品和可能世界语义》。计算机科学理论379（1-2）：210-230·Zbl 1124.03047号 [9] Fajardo R，Finger M（2002），非正规模型化。在：Balbiani P，Suzuki N-Y，Wolter F，Zakharyaschev M（编辑）模态逻辑的进展4，2002年9月30日至10月2日在法国图卢兹举行的第四次“模态逻辑的进展”会议的论文，第83-96页。国王学院出版物 [10] Finger M，Gabbay DM（1992），为逻辑系统添加时间维度。J Log Lang通知1（3）：203-233·Zbl 0798.03031号 [11] Farrell M、Monahan R、Power JF（2017）《事件B的机构》。In:James P、Roggenbach M（eds）Rev sel论文第23期IFIP WG 1.3国际代数发展技术的最新趋势，第10644卷，摘录注释comp sci，第104-119页。施普林格·兹比尔1496.68105 [12] Goguen JA，Burstall RM（1992）《机构：规范和编程的抽象模型理论》。美国临床医学杂志39:95-146·Zbl 0799.68134号 [13] Groote JF，Mousavi MR（2014），通信系统建模与分析。麻省理工学院出版社·Zbl 1353.68006号 [14] Goranko V（1994）《带参考指针的时态逻辑》。在：Proc1st intl conf temporal logic，第827卷，elect notes comp sci，第133-148页。施普林格·Zbl 0949.03515号 [15] Gorrieri R，Rensink A（2000）《行动改进》。摘自：Bergstra JA，Ponse A，Smolka SA（eds）《过程代数手册》，第1047-1147页。爱思唯尔·Zbl 1035.68068号 [16] Goguen JA，Rosu G（2002）《制度形态》。正式Asp计算13（3-5）：274-307·Zbl 1001.68019号 [17] Harel D、Kozen D、Tiuryn J（2000）《动态逻辑》。麻省理工学院出版社·兹伯利0976.68108 [18] Hennicker R、Madeira A、Knapp A（2019）混合动态逻辑预测/基于数据的系统。摘自：Hähnle R，van der Aalst WMP（eds）Proc 22nd intl conf basic approachs to software engineering，vol 11424 of lect notes comp sci，pp 79-97。施普林格 [19] Knapp A、Mossakowski T、Roggenbach M、Glauer M（2015）简单UML状态机机构。收录：Egyed A，Schaefer I（eds）Proc第18版国际软件工程基本方法，第9033卷，elect notes comp。sci，第3-18页。施普林格 [20] Lamport L（2003）《指定系统：面向硬件和软件工程师的TLA+语言和工具》。出版商 [21] Lynch NA（2003）输入/输出自动机：基本、定时、混合、概率、动态、（\ldots\）。摘自：Amadio RM，Lugiez D（eds）Proc 14th intl conf conf concurrency theory，elect notes comp sci第2761卷，第187-188页。施普林格 [22] Mac Lane S（1998）《职业数学家分类》，第二版。施普林格·Zbl 0906.18001号 [23] Madeira A、Barbosa LS、Hennicker R、Martins MA（2018）《反应系统逐步发展的逻辑》。计算机科学理论744:78-96·Zbl 1400.68125号 [24] Mouelhi S，Chouali S，Mountassir H（2009）通过动作语义加强接口自动机的精化。计算机科学电子注释253（1）：111-126 [25] Mossakowski T，Diaconescu R，Tarlecki A（2009）什么是逻辑翻译？Logica Universalis 3（1）：95-124·Zbl 1255.03023号 [26] Martins MA、Madeira A、Diaconescu R、Barbosa LS（2011）《机构的杂交》。在：Corradini A，Klin B，Cîrstea C（eds）Proc 4th intl conf algebra In computer sci，vol 6859 of lect notes comp sci，第283-297页。施普林格·Zbl 1343.03052号 [27] Mossakowski T、Maeder C、Lüttich K（2007）《异构工具集》（Hets）。收件人：Beckert B（ed）Proc 4th intl verification ws，vol 259 of CEUR-ws-Proc CEUR-ws.org [28] OMG（对象管理组）（2014）对象约束语言。标准正式版/14-02-03。对象管理组织 [29] OMG（对象管理组）（2017）统一建模语言。标准形式/17-12-05。对象管理组织 [30] Poizat P，Royer J-C（2006）基于符号转换系统和模态逻辑的正式体系结构描述语言。大学计算科学杂志12（12）：1741-1782 [31] Sannella D，Tarlecki A（1988）从代数规范走向程序的形式化开发：重温实现。信息学报25（3）：233-281·Zbl 0621.68004号 [32] Sannella D，Tarlecki A（2012）代数规范和正式软件开发基础。EATCS理论计算机科学专著。施普林格·Zbl 1237.68129号 [33] ter Beek MH、Fantechi A、Gnesi S、Mazzanti F（2008）一种基于操作/状态的模型检查方法，用于分析面向服务应用程序的通信协议。收录于：Leue S，Merino P（eds）Sel论文《工业关键系统的第12个国际通用形式方法》，第4916卷，摘录于《计算机科学》，第133-148页。施普林格 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。