×
S.安多瓦。;格罗尼韦根，L.P.J。;德文克，E.P。

过程代数中的动态一致性：从范式到ACP。 （英语） Zbl 1347.68216号

Canal，Carlos（编辑）等人，第七届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2008），冰岛雷克雅未克，2008年7月13日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》229，第2期，3-20（2009）。
概要：协调建模语言Paradigm根据动态约束处理组件之间的协作。在Paradigm模型中，组件动态在不同抽象级别上得到一致指定。为了实现范式模型的自动验证，提供了将范式转换为进程代数的方法。给出了示例，并讨论了系统地转换为进程代数ACP的指南。还提供了基于mCRL2工具集的验证结果。
关于整个系列，请参见[Zbl 1280.68018号].

MSC公司：

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

关键词：

自动验证;协作;动态一致性;动态约束;范式;进程代数

软件：

mCRL2型
PDF格式BibTeX公司 XML格式引用
\textit｛S.Andova｝等人，电子。注释Theor。计算。科学。229，第2、3--20号（2009；Zbl 1347.68216）
全文： 内政部

参考文献：

[1] R.J.艾伦。软件体系结构的形式化方法；R.J.艾伦。软件体系结构的形式化方法
[2] Baeten，J.C.M。；Weijland，W.P.，过程代数（1990），CUP·Zbl 0716.68002号
[3] Barbosa，医学硕士。；Barbosa，L.S。；波埃拉，G。；等。，用于软件组件动态互连的协调器，Proc。CoOrg 2006和MTCoord 2006。程序。CoOrg 2006和MTCoord 2006，ENTCS，181，49-61（2007）
[4] Bergstra，J.A。；Ponse，A。；Smolka，S.A.，《过程代数手册》（2001），Elsevier·Zbl 0971.00006号
[5] 布拉德菲尔德，J。；Stirling，C.，Modal mu-calculi，（模态逻辑手册（2007），Elsevier），721-756
[6] 恩格斯，G。；赫克尔，R。；库斯特，J.M。；Groenewegen，L.，通过转换保持一致性的模型演化，（Jézéquel，J.-M.；Hußmann，H.Cook，S.，Proc.UML 2002。程序。UML 2002，LNCS，2460（2002）），212-226·Zbl 1018.68626号
[7] Groenewegen，L。；斯塔姆·A。；杜桑，P。；德文克，E。；van de Torre，L。；Boella，G.，Paradigm作为面向组织的协调语言，Proc。CoOrg 2005年。程序。CoOrg 2005，ENTCS，150，3，93-113（2005）
[8] Groenewegen，L.公司。；de Vink，E.，《范式中协调的操作语义》（Arbab，F.；Talcott，C.，Proc.coordination 2002）。程序。协调2002，LNCS，2315（2002）），191-206·Zbl 1053.68562号
[9] Groenewegen，L。；de Vink，E.，《进化与范式》（Evolution-on-the-fly with Paradigm），（Ciancarini，P.；Wiklicky，H.，Proc.Coordination，2006年）。程序。2006年协调，LNCS，4038（2006）），97-112
[10] Groote，J.F。；Reniers，M.A.，《过程代数手册》，第17章，代数过程验证，（（2001），Elsevier），1151-1208·Zbl 1035.68069号
[11] J.F.Groote等，形式规范语言mCRL2，E.Brinksma等，编辑，软件系统建模方法；J.F.Groote等，形式规范语言mCRL2，E.Brinksma等，编辑，软件系统建模方法
[12] J.M.Küster。面向对象行为模型的一致性管理；J.M.Küster。面向对象行为模型的一致性管理·Zbl 1075.68572号
[13] Möller，M。；Olderog，E.-R。；拉什，H。；Wehrheim，H.，《使用UML和Java将形式化方法集成到软件工程过程中》，《计算的形式化方面》，161-204（2008）·Zbl 1141.68024号
[14] Pérez-Toledano，医学硕士。；纳瓦萨。；Murillo，J.M。；Canal，C.，TITAN:面向方面的系统演化框架，（ICSEA 2007 Proc.，Cap Esterel（2007），IEEE），8
[15] Poizat，P。；Royer，J.-C.，基于符号转换系统和模态逻辑的形式化体系结构描述语言，《通用计算机科学杂志》，121741-1782（2006）
[16] 罗德里格斯，N.F。；Barbosa，L.S.，《建筑原型：从CCS到。Net，（Mota，A.；Moura，A.V.，SBMF 2004（2005），ENTCS:ENTCS 130），151-167
[17] Sirjani，M。；Movaghar，A。；沙利，A。；de Boer，F.S.，《使用Rebeca对反应系统进行建模和验证》，《基础信息》，63385-410（2004）·Zbl 1082.68007号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。