04241 Abstracts Collection – Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems

König, Barbara; Montanari, Ugo; Gardner, Philippa

doi:10.4230/DagSemProc.04241.1

04241摘要集-分布式和移动系统建模的图变换和过程代数

作者详细信息

芭芭拉·科尼格

乌戈·蒙塔纳里

菲利普·加德纳

引用为获取BibTex

芭芭拉·科尼格（Barbara König）、乌戈·蒙塔纳里（Ugo Montanari）和菲利普·加德纳（Philippa Gardner）。04241摘要集-分布式和移动系统建模的图形变换和过程代数。分布式和移动系统建模的图变换和过程代数。达格斯图尔研讨会论文集，第4241卷，达格斯图-莱布尼兹·森特鲁姆宫（2005）
https://doi.org/10.4230/DagSemProc.04241.1

@会议记录{konig_et_al:DagSemProc.04241.1，author={K\“{o} 尼格巴巴拉和蒙塔纳里，乌戈和加德纳，菲利普}，title={{04241摘要集-分布式和移动系统建模的图变换和过程代数}}，booktitle＝{用于建模分布式和移动系统的图变换和过程代数}，series={Dagstuhl研讨会论文集（DagSemProc）}，ISSN={1862-4405}，年份={2005}，体积={4241}，editor={Barbara K\“{o} 尼格乌戈·蒙塔纳里和菲利普·加德纳，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagSemProc.04241.1},URN={URN:nbn:de:0030-drops-279}，doi={10.4230/DagSemProc.04241.1}，annote={关键词：图形转换，过程计算}}

<trans data-src="@InProceedings{konig_et_al:DagSemProc.04241.1,">@会议记录{konig_et_al:DagSemProc.04241.1，</trans><trans data-src="author =	{K\"">author={K\“</trans><trans data-src="{o}nig">{o} 尼格</trans><trans data-src=", Barbara and Montanari, Ugo and Gardner, Philippa},">巴巴拉和蒙塔纳里，乌戈和加德纳，菲利普}，</trans><trans data-src="title =	{{04241 Abstracts Collection – Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems}},">title={{04241摘要集-分布式和移动系统建模的图变换和过程代数}}，</trans><trans data-src="booktitle =	{Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems},">booktitle={分布式和移动系统建模的图形变换和过程代数}，</trans><trans data-src="series =	{Dagstuhl Seminar Proceedings (DagSemProc)},">series={Dagstuhl研讨会论文集（DagSemProc）}，</trans><trans data-src="ISSN =	{1862-4405},">ISSN={1862-4405}，</trans><trans data-src="year =	{2005},">年份={2005}，</trans><trans data-src="volume =	{4241},">体积={4241}，</trans><trans data-src="editor =	{Barbara K\"">editor={Barbara K\“</trans><trans data-src="{o}nig">{o} 尼格</trans><trans data-src=" and Ugo Montanari and Philippa Gardner},">乌戈·蒙塔纳里和菲利普·加德纳，</trans><trans data-src="publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},">publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，</trans><trans data-src="address =	{Dagstuhl, Germany},">地址={Dagstuhl，德国}，</trans><trans data-src="URL =		{">URL={</trans><trans data-src="https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04241.1">https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04241.1</trans><trans data-src="},">},</trans><trans data-src="URN =		{urn:nbn:de:0030-drops-279},">URN={URN:nbn:de:0030-drops-279}，</trans><trans data-src="doi =		{10.4230/DagSemProc.04241.1},">doi={10.4230/DagSemProc.04241.1}，</trans><trans data-src="annote =	{Keywords: graph transformation , process calculi}">annote＝｛关键词：图转换，过程演算｝</trans><trans data-src="}">}</trans>

摘要

最近有很多研究，将过程代数的概念与图文法和图转换系统的理论相结合。两者都可以被视为通用框架，在其中可以指定并发和分布式系统并进行推理。这两种理论在许多领域都有重叠，这远远不止是用图形来表示过程。通信网络中的进程可以用两种不同的方式来看待：作为代数理论中的术语，强调其行为及其与环境的交互；作为图中的节点（或边），强调其拓扑结构和连通性。特别是拓扑、移动性和动态重新配置可以使用图形转换以非常直观的方式对运行时进行建模。另一方面，在过程代数设置中，行为等效性的定义和证明通常更容易。此外，通用构造、精化和组合的代数语义标准技术可以更好地利用进程代数表示。组合理论比这两种方法更方便的一个重要例子是定义分布式系统的并发（不相交）抽象语义。图变换缺乏抽象性，过程代数缺乏表达性。另一个重要的例子是关于双图反应系统的工作，目的是从未标记的反应系统中导出一个标记的跃迁系统，从而得到的双相似性是同余。在这里，图表似乎是一个方便的框架，可以在其中阐述和发展这一理论。因此，尽管对并发系统进行建模和推理是这两个框架的中心目标，但在这些理论中，过程的语义可能会有非常不同的味道。这一领域的研究旨在结合两种框架的优势，并将一种理论的概念转化为另一种理论。Dagsuthl研讨会于2006年6月举行。到2004年6月11日，旨在将两个社区的研究人员聚集在一起，分享他们的想法并开发新概念。这些进程不仅包含研讨会上的演讲摘要，而且还包含重要主题的摘要。我们要感谢研讨会的所有参与者前来分享他们的想法，以及为会议做出贡献的每个人。

04241摘要集-分布式和移动系统建模的图变换和过程代数

作者芭芭拉·科尼格, 乌戈·蒙塔纳里, 菲利普·加德纳

文件

文件标识符

作者详细信息

引用为获取BibTex

摘要

关键词

度量标准

感谢您的反馈！

无法发送消息

04241摘要集-分布式和移动系统建模的图变换和过程代数

作者 芭芭拉·科尼格, 乌戈·蒙塔纳里, 菲利普·加德纳

文件

文件标识符

作者详细信息

引用为获取BibTex

摘要

关键词

度量标准

感谢您的反馈！

无法发送消息

作者芭芭拉·科尼格, 乌戈·蒙塔纳里, 菲利普·加德纳