×
罗尔夫·亨尼克；安娜贝拉·克拉尔

集合建模基础——海伦娜方法。使用复杂的集成体系结构处理大规模分布式系统。 （英语） Zbl 1320.68118号

Iida，Shusaku（编辑）等人，《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-54623-5/pbk）。计算机科学课堂讲稿8373，359-381（2014）。
摘要：集成是一组活动实体，它们协作执行特定任务。为集成执行建模软件系统具有挑战性，因为此类应用程序高度动态，涉及并发运行的个人的复杂交互结构。在这项工作中，我们提出了一个基于严格语义框架的集成建模的形式化基础。我们的方法以角色的概念为中心，表示组件参与特定集成时所需的功能。我们使用集成结构来建模协作的结构方面，并标记转换系统来指定执行特定角色的典型动态行为。我们的方法是由在规范级别上使用的类型和在集成自动机中形成具体集成的实例之间的明确区分驱动的。集成规范的语义是由所有集成自动机的类给出的，该类遵循集成结构的属性，使得任何扮演特定角色的集成成员都表现出角色行为规范允许的行为。
有关整个系列，请参见[Zbl 1283.68036号].

引用于4文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

软件：

沙发2.0；SCEL公司；DEECO公司；海伦娜
PDF格式BibTeX公司 XML格式引用
\textit{R.Hennicker}和\textit{A.Klarl}，莱克特。注释计算。科学。8373359--381（2014年；Zbl 1320.68118）
全文： 内政部

参考文献：

[1] ASCENS项目，http://www.ascens-ist.eu
[2] Abeywickrama，D.，Bicocchi，N.，Zambonelli，F.：SOTA：面向自适应系统的通用模型。摘自：第21届IEEE技术赋能国际研讨会：合作企业基础设施，第48-53页。IEEE CS出版社，图卢兹（2012）
[3] Ali，R.A.，Bures，T.，Gerostathopoulos，I.，Hnetynka，P.，Keznikl，J.，Kit，M.，Plasil，F.：DEECo计算模型-I.技术代表D3S-TR-2013-01，布拉格查尔斯大学（2013）
[4] Allen，R.，Garlan，D.：建筑连接的形式基础。ACM事务处理。柔和。工程方法。 6(3), 213–249 (1997) ·兹比尔01936031 ·数字对象标识代码：10.1145/258077.258078
[5] Barros，T.、Ameur-Boulifa，R.、Cansado，A.、Henrio，L.、Madelaine，E.：分布式分形成分的行为模型。《特雷通讯年鉴》64（1-2），25-43（2009）·doi:10.1007/s12243-008-0069-7
[6] Bauer，B.，Müller，J.P.，Odell，J.：代理UML：指定多代理软件系统的形式主义。国际软件工程与知识工程杂志11，91–103（2000）
[7] Becht，M.，Gurzki，T.，Klarmann，J.，Muscholl，M.：ROPE：多智能体系统的面向角色编程环境。摘自：第四届IECIS国际合作信息系统会议记录，COOPIS 1999，pp.325-333。IEEE计算机学会，华盛顿特区（1999）
[8] ter Beek，M.H.，Ellis，C.A.，Kleijn，J.，Rozenberg，G.：群件系统团队自动化中的同步。计算机支持的合作工作12（1），21-69（2003）·Zbl 05411196号 ·doi:10.1023/A:1022407907596
[9] Bensalem，S.、Bures，T.、Combaz，J.、De Nicola，R.、Hölzl，M.、Koch，N.、Loreti，M.，Tuma，P.、Wirsing，M.和Zambonelli，F.：自主系统开发的生命周期。参加：2013年SASO第三次意识研讨会（2013年）（已提交）
[10] Bernardo，M.，Ciancarini，P.，Donatiello，L.：用过程代数构建软件系统家族。ACM事务处理。柔和。工程方法。 11(4), 386–426 (2002) ·Zbl 05459503号 ·数字对象标识代码：10.1145/606612.606614
[11] Brim，L.，Cherná，I.，Vařeková，P.，Zimmerova，B.：组件交互自动机是一种面向验证的基于组件的系统规范。SIGSOFT软件。工程注释31（2），4（2006）·数字对象标识代码：10.1145/1118537.1123063
[12] Bures，T.、Gerostathopoulos，I.、Hnetynka，P.、Keznikl，J.、Kit，M.、Plasil，F.：DEECo：基于集成的组件系统。摘自：《2013年CBSE会议录》，第81-90页。ACM，温哥华（2013）
[13] Bures，T.，Hnetynka，P.，Plasil，F.：SOFA 2.0：在层次组件模型中平衡高级功能。收录于：SERA，第40-48页（2006年）
[14] Castagna，G.，Dezani-Ciancaglini，M.，Padovani，L.：关于全球类型和多党会议。收录于：Bruni，R.，Dingel，J.（编辑）FORTE 2011和FMOODS 2011。LNCS，第6722卷，第1-28页。斯普林格，海德堡（2011）·Zbl 05908867号 ·doi:10.1007/978-3642-21461-5_1
[15] Cernuzzi，L.、Juan，T.、Sterling，L.和Zambonelli，F.：盖亚方法论：基本概念和扩展。收录于：Bergenti，F.，Gleizes，M.P.（编辑）《Agent系统、多Agent系统、人工社会和模拟组织的方法论和软件工程》，第11卷，第69-88页。斯普林格，海德堡（2004）·doi:10.1007/1-4020-8058-1_6
[16] Coppo，M.、Dezani-Ciancaglini，M.，Padovani，L.、Yoshida，N.：动态交错多方会话的全局进度属性推断。摘自：De Nicola，R.，Julien，C.（编辑）《2013年协调》。LNCS，第7890卷，第45-59页。斯普林格，海德堡（2013）·兹比尔06267972 ·doi:10.1007/978-3-642-38493-64
[17] De Nicola，R.，Ferrari，G.，Loreti，M.，Pugliese，R.：基于语言的自主计算方法。收录人：Beckert，B.，Bonsangue，M.M.（编辑）FMCO 2011。LNCS，第7542卷，第25-48页。斯普林格，海德堡（2012）
[18] De Nicola，R.，Loreti，M.，Pugliese，R.，Tiezzi，F.：自主计算语言。意大利卢卡高等研究院IMT技术代表（2013年）
[19] Futatsugi，K.，Goguen，J.A.，Jouannaud，J.P.，Meseguer，J.：OBJ2原则。摘自：Van Deusen，M.S.，Galil，Z.（编辑）POPL，第52-66页。ACM出版社（1985）·doi:10.145/318593.318610
[20] Goguen，J.A.，Burstall，R.M.：《机构：规范和编程的抽象模型理论》。《美国医学会杂志》39（1），95–146（1992）·Zbl 0799.68134号 ·数字对象标识代码：10.1145/147508.147524
[21] Gottlob，G.，Schrefl，M.，Röck，B.：用角色扩展面向对象系统。ACM事务处理。信息系统。 14(3), 268–296 (1996) ·Zbl 01936159号 ·doi:10.1145/230538.230540
[22] Hennicker，R.，Knapp，A.：通信安全组件组件的模态界面理论。摘自：Cerone，A.，Pihlajasaari，P.（编辑）ICTAC 2011。LNCS，第6916卷，第135–153页。斯普林格，海德堡（2011）·Zbl 1350.68182号 ·doi:10.1007/978-3642-23283-1_11
[23] Hennicker，R.，Knapp，A.：通信安全组件组件的模态界面理论。摘自：Cerone，A.，Pihlajasaari，P.（编辑）ICTAC 2011。LNCS，第6916卷，第135–153页。斯普林格，海德堡（2011）·Zbl 1350.68182号 ·doi:10.1007/978-3642-23283-1_11
[24] Hölzl，M.，Wirsing，M.：走向合奏的系统模型。收录人：Agha，G.，Danvy，O.，Meseguer，J.（编辑）Talcott Festschrift。LNCS，第7000卷，第241-261页。斯普林格，海德堡（2011）·Zbl 05969207号 ·doi:10.1007/978-3-642-24933-4_12
[25] Klarl，A.，Hennicker，R.：《海伦娜框架》，http://www.pst.ifi.lmu.de/Personen/team/klarl/papers/helena.jar ·Zbl 1321.68346号
[26] Kristensen，B.B.，Østerbay，K.：角色：概念抽象理论和实用语言问题。TAPOS 2（3），143-160（1996）
[27] vanLamsweerde，A.：需求工程：从系统目标到UML模型再到软件规范。威利（2009）
[28] Mori，A.，Futatsugi，K.：验证咖啡馆OBJ环境中的行为规范。In:Wing，J.M.，Woodcock，J.，Davies，J.（编辑）FM 1999。LNCS，第1709卷，第1625-1643页。斯普林格，海德堡（1999）·doi:10.1007/3-540-448118-4_36
[29] Nakajima，S.，Futatsugi，K.：CafeOBJ中代数规范的面向对象建模方法。in:Adrion，W.R.，Fuggetta，A.，Taylor，R.N.，Wasserman，A.I.（编辑）ICSE，第34–44页。ACM（1997）·doi:10.1145/253228.253238
[30] OMG（对象管理组）：OMG统一建模语言上层结构。规范，OMG（对象管理组）（2011），http://www.omg.org/spec/UML/2.4.1/上层建筑/
[31] Rausch，A.、Reussner，R.、Mirandola，R.和Plášil，F.（编辑）：通用组件建模示例。LNCS，第5153卷。斯普林格，海德堡（2008）
[32] Steimann，F.：关于面向对象和概念建模中角色的表示。数据知识。工程35（1），83–106（2000）·Zbl 0948.68053号 ·doi:10.1016/S0169-023X（00）00023-9
[33] Szyperski，C.：《组件软件：超越面向对象编程》，第二版。Addison-Wesley Longman Publishing Co.，Inc.，波士顿（2002）·Zbl 1033.68729号
[34] Wirsing，M.，Hölzl，M.、Tribastone，M.和Zambonelli，F.：ASCENS：工程自主服务组件集成。收录人：Beckert，B.，Damiani，F.，de Boer，S.，Bonsangue，M.M.（编辑）FMCO 2011。LNCS，第7542卷，第1-24页。斯普林格，海德堡（2013）·doi:10.1007/978-3642-35887-6_1
[35] Wooldridge，M.，Jennings，N.R.，Kinny，D.：面向代理的分析和设计的Gaia方法论。自治代理和多代理系统3（3），285–312（2000）·Zbl 05387451号 ·doi:10.1023/A:1010071910869
[36] Xu，H.，Zhang，X.，Patel，R.J.：开发基于角色的开放式多代理软件系统。国际计算智能理论与实践杂志2（2007）·Zbl 1156.68367号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。