Dokter，Kasper公司;法比奥·加杜奇;本杰明·利昂;弗朗西斯科·桑蒂尼 带记忆的软约束自动机。 （英文） Zbl 1455.68087号 J.日志。阿尔盖布。方法计划。 118，文章ID 100615，17 p.（2021）. 小结：我们修订软约束自动机，其中对转换进行加权，并且每个操作都具有关联的首选项值。我们首先放松底层的代数结构，以允许两极偏好。然后，我们为自动机配备内存位置，也就是说，配备一个内部状态来记忆和更新从转换到转换的信息。我们进一步修改了自动机操作符，如合成和隐藏，提供了这些内存位置如何与首选项交互的示例。最后，我们应用我们的框架对上下文敏感的行为进行编码。 引用于2文件 MSC公司： 65年第68季度 形式语言和自动机 关键词：约束自动机;带记忆的自动机;Reo语言;软约束 软件：莫德;里奥 PDF格式BibTeX公司 XML格式引用 \textit{K.Dokter}等人，J.Log。阿尔盖布。方法计划。118，文章ID 100615，17 p.（2021；Zbl 1455.68087） 全文： 内政部 链接 参考文献： [1] Arbab，F.，Reo：基于渠道的组件组合协调模型，数学。结构。计算。科学。，14, 3, 329-366 (2004) ·Zbl 1085.68552号 [2] Jongmans，S.T.Q。；Arbab，F.，《Reo的三十种语义形式概述》，Sci。Ann.计算。科学。，22, 1, 201-251 (2012) ·Zbl 1424.68105号 [3] Arbab，F。；Santini，F.，《基于偏好和相似性的服务行为发现》（ter Beek，M.H.；Lohmann，N.，WS-FM 2012）。WS-FM 2012，LNCS，第7843卷（2012），施普林格），118-133 [4] 卡佩，T。；阿巴布，F。；Talcott，C.L.，《偏好感知代理的组成框架》（Kargahi，M.；Trivedi，A.）。，IFM下的V2CPS2016V2CPS@如果m2016年，EPTCS，第232卷（2016）），21-35 [5] 卡佩，T。；Arbab，F。；Talcott，C.L.，《面向组件的自治代理框架》（ProençA，J.；Lumpe，M.，FACS 2017）。FACS 2017，LNCS，第10487卷（2017），施普林格），20-38 [6] Jongmans，S.T.Q。；卡佩，T。；Arbab，F.，《带记忆单元及其组成的约束自动机》，《科学》。计算。程序。，146, 50-86 (2017) [7] Dokter，K。；Gadducci，F。；Santini，F.，《带记忆的软约束自动机》，（de Boer，F.S.；Bonsangue，M.M.；Rutten，J.，《关于协调的一切》，LNCS，第10865卷（2018），Springer），70-85·Zbl 1462.68101号 [8] Bistarelli，S。；蒙塔纳里，美国。；Rossi，F.，基于半环的约束满足和优化，J.ACM，44，2，201-236（1997）·Zbl 0890.68032号 [9] 萨拉斯瓦特，V.A。；里纳德，M.C。；Panangaden，P.，并发约束编程的语义基础，（Wise，D.S.，POPL 1991（1991），ACM出版社），333-352 [10] Gadducci，F。；桑蒂尼，F。；皮诺，L.F。；Valencia，F.D.，软并发约束编程的观测和行为等效，Log。代数方法程序。，92, 45-63 (2017) ·Zbl 1373.68176号 [11] Gadducci，F。；Santini，F.，《软约束下两极偏好的居留》，Inf.Process。莱特。，118, 69-74 (2017) ·Zbl 1392.68385号 [12] Golan，J.，《半环及其上的仿射方程：理论与应用》（2003），Kluwer·Zbl 1042.16038号 [13] 比斯塔雷利，S。；Gadducci，F.，《在基于半环的形式中加强约束操作》（Brewka，G.；Coradeschi，S.；Perini，A.；Traverso，P.，ECAI 2006）。ECAI 2006，FAIA，第141卷（2006），IOS出版社），63-67 [14] Gadducci，F。；Hölzl，M.M。；Monreale，G.V。；Wirsing，M.，词典编纂顺序的软约束，（Castro-Espinoza，F.；Gelbukh，A.F.；González-Mendoza，M.；MICAI，2013）。MICAI 2013，LNCS，第8265卷（2013），施普林格），68-79 [15] Gadducci，F。；桑蒂尼，F。；皮诺，L.F。；Valencia，F.D.，《软并发约束编程的标记语义》（Holvoet，T.；Viroli，M.，COORDINATION 2018）。2018年协调，LNCS，第9037卷（2015年），施普林格），133-149 [16] 亨金，L。；Monk，J.D。；Tarski，A.，圆柱集代数及其相关结构，（圆柱集代数（1981），Springer），1-129·兹伯利0497.03025 [17] 比斯塔雷利，S。；蒙塔纳里，美国。；Rossi，F.，《软并发约束编程》，ACM Trans。计算。日志。，7, 3, 563-589 (2006) ·Zbl 1367.68315号 [18] 拜尔，C。；Sirjani，M。；Arbab，F。；Rutten，J.J.M.M.，通过约束自动机在Reo中建模组件连接器，科学。计算。程序。，61, 2, 75-113 (2006) ·Zbl 1105.68058号 [19] Arbab，F。；Rutten，J.J.M.M.，《组件连接器的共导演算》（Wirsing，M.；Pattinson，D.；Hennicker，R.，WADT 2002）。WADT 2002，LNCS，第2755卷（2003），Springer），34-55·Zbl 1278.68200号 [20] 克拉克，D。；科斯塔·D·。；Arbab，F.，《连接器着色I：同步和上下文依赖》，《科学》。计算。程序。，66, 3, 205-225 (2007) ·Zbl 1121.68015号 [21] 伊扎迪，M。；Bonsangue，M.M。；Clarke，D.，《组件连接器建模：同步和上下文相关性》，（Cerone，A.；Gruner，S.，SEFM 2008（2008），IEEE计算机学会），303-312 [22] 科斯塔·D·。；尼基，M。；Rutten，J.J.M.M.，《意向自动机：组件连接器的上下文相关模型》（扩展抽象），（Arbab，F.；Sirjani，M.，FSEN 2011。FSEN 2011，LNCS，第7141卷（2012），施普林格），335-342·Zbl 1353.68163号 [23] Bonsangue，M.M。；克拉克，D。；Silva，A.，上下文相关组件连接器模型，科学。计算。程序。，77, 6, 685-706 (2012) ·Zbl 1243.68147号 [24] Jongmans，S.T.Q。；克劳斯，C。；Arbab，F.，《将Reo中的上下文敏感性编码为非文本敏感性语义模型》（Meuter，W.D.；Roman，G.，COORDINATION 2011）。2011年协调，LNCS，第6721卷（2011），施普林格），31-48 [25] Arbab，F。；乔提亚，T。；孟，S。；Moon，Y.，《具有QoS保证的组件连接器》（Murphy，A.L.；Vitek，J.，COORDINATION 2007）。2007年协调，LNCS，第4467卷（2007年），施普林格），286-304 [26] 孟，S。；Arbab，F.，使用定量约束自动机的QoS-驱动服务选择和组合，Fundam。通知。，95, 1, 103-128 (2009) ·兹伯利1214.68081 [27] Arbab，F。；拜尔，C。；de Boer，F.S。；Rutten，J.J.M.M.，《定时元件连接器的模型和时序逻辑规范》，Softw。系统。型号。，6, 1, 59-82 (2007) [28] Baier，C.，Reo连接器电路的概率模型，Univers。计算。科学。，11, 10, 1718-1748 (2005) [29] Sargolzaei，M。；桑蒂尼，F。；Arbab，F。；Afsarmanesh，H.，《基于行为的近似匹配web服务发现工具》（Hierons，R.M.；Merayo，M.G.；Bravetti，M.，SEFM 2013）。SEFM 2013，LNCS，第8137卷（2013），施普林格），152-166 [30] Talcott，C.L。；Nigam，V。；Arbab，F。；Kappé，T.，《鲁棒自适应分布式网络物理系统的形式化规范和分析》，（Bernardo，M.；Nicola，R.D.；Hillston，J.，SFM 2016。SFM 2016，LNCS，第9700卷（2016），施普林格），1-35 [31] Talcott，C.L.，《从软代理到软组件自动机及其背后》，（de Boer，F.S.；Bonsangue，M.M.；Rutten，J.，《关于协调的一切》，LNCS，第10865卷（2018），Springer），189-207·Zbl 1461.68011号 [32] Bistarelli，S。；马蒂内利，F。；马特尤奇，I。；Santini，F.，《适应当地行为以匹配全球财产的正式运行时框架》（Kouchnarenko，O.；Khosravi，R.，FACS 2016）。FACS 2016，LNCS，第10231卷（2016），施普林格），134-152 [33] Clavel，M。；杜兰，F。；艾克，S。；林肯，P。；新墨西哥州马丁·奥列特。；梅塞盖尔，J。；Quesada，J.F.，Maude:重写逻辑中的规范和编程，Theor。计算。科学。，285, 2, 187-243 (2002) ·Zbl 1001.68059号 [34] 霍普克罗夫特，J.E。；Ullman，J.D.，非擦除堆栈自动机，计算。系统。科学。，1, 2, 166-186 (1967) ·Zbl 0166.00506号 [35] 阿隆索·桑斯，R。；Adamatzky，A.，带内存的Actin自动机，分叉。混沌，26，1（2016）·Zbl 1334.37010号 [36] Moon，Y。；席尔瓦，A。；克劳斯，C。；Arbab，F.，随机Reo连接器中端到端QoS推理的组合模型，科学。计算。程序。，80, 3-24 (2014) ·兹比尔1412.68065 [37] Jongmans，S.-S.T.Q.，自动化理论协议编程（2016），莱顿大学博士论文 [38] Dokter，K。；Arbab，F.，《基于规则的水流约束形式》，（Serugendo，G.D.M.；Loreti，M.，《2018年协调》。2018年协调，LNCS，第10852卷（2018），施普林格），142-161 [39] Arbab，F.，Puff，魔法协议，（Agha，G.；Danvy，O.；Meseguer，J.，《形式建模：参与者、开放系统、生物系统》。形式建模：演员、开放系统和生物系统，LNCS，第7000卷（2011年），Springer），169-206 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。