×
乌戈·蒙塔纳里；弗朗西丝卡·罗西

上下文网络。 （英语） Zbl 0835.68084号

学报信息。 32，第6期，545-596（1995）.
摘要：我们提出了一种新的网络，称为上下文网络，其中的事件可能像经典情况一样既有前置条件又有后置条件，还可能有正或负的上下文条件。积极的上下文条件被解释为事件发生所需的要素，但不受事件发生的影响。相反，消极的上下文条件是事件发生时必须不存在的元素。
明确表达积极的语境因素具有双重重要性。首先，它允许忠实地表示通常使用“阅读而不消耗”概念的系统，如数据库系统、并发约束编程或任何基于共享内存的计算框架。其次，它允许直接和自然地指定比经典网络更大的并发级别。事实上，两个具有不同先决条件但具有相同积极背景的事件可能以任何顺序同时发生。值得注意的是，指定分布式系统的其他形式主义都没有这种特性，即使是Petri网，也不存在“读取”操作，而是通过“重写”操作（即循环）进行建模，但这不允许同时执行读取同一资源的两个任务。当然，通过创建与用户一样多的上下文副本，可以在经典网络中模拟上下文情况，但这将导致对真实情况的描述非常不现实（而且成本更高）。相反，在存在否定的系统或语言中，使用否定上下文条件是很自然的。
在本文中，我们提供了具有两种基于进程的语义的上下文网络，这两种语义都能够表示网络的所有和唯一计算，并表示正确的真实一致性水平。此外，我们表明，接触情况以及负面的情境条件不会增加任何额外的力量，并且我们研究了情境网络和经典网络之间的过程关系。

引用于50文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

上下文网络
PDF格式BibTeX公司 XML格式引用
\textit{U.Montanari}和\textit{F.Rossi}，《学报参考》32，第6期，545--596（1995；Zbl 0835.68084）
全文： 内政部

参考文献：

[1] H.Ehrig：图形语法的代数理论教程介绍。InProc公司。第三届图形语法国际研讨会。Springer Verlag，LNCS 2911987年·Zbl 0643.68102号
[2] N.De Francesco，U.Montanari，G.Ristori：通过Petri网中的过程等价来建模可串行化。技术报告HPL-92-89，惠普实验室，1992年。
[3] N.De Francesco，U.Montanari，G.Ristori：通过petri网对共享数据的并发访问建模。InProc公司。IFIP编程概念、方法和微积分工作会议（PROCOMET’94），1994年。
[4] R.Janicki，M.Koutny：带抑制器弧的网络的不变语义。InProc公司。符合。Springer-Verlag，LNCS 5271991年·Zbl 0797.68111号
[5] R.Janicki，M.Koutny：并发结构。理论计算机科学，112:5–521993·Zbl 0814.68061号 ·doi:10.1016/0304-3975（93）90238-O
[6] 劳埃德：逻辑编程基础。施普林格出版社，1987年·Zbl 0668.68004号
[7] T.Agerwala，M.Flynn：关于petri网的能力、局限性和“正确性”的评论。《计算机架构新闻》，2（4），1973年。
[8] U.Montanari，F.Rossi：并发约束编程中的真正并发。InProc公司。ILPS91，麻省理工学院出版社，1991年。
[9] U.Montanari，F.Rossi：作为上下文相关重写系统的图形语法。InProc公司。CAAP92.斯普林格·弗拉格，LNCS，1992年。
[10] U.Montanari，F.Rossi：并发约束编程的偏序语义的图重写。理论计算机科学，1992年。图文法专题，Courcelle B.和Rozenberg编辑。
[11] U.Montanari，F.Rossi：上下文发生网和并发约束编程。InProc公司。达格斯图尔计算机科学图形变换研讨会。Springer-Verlag，LNCS，1993年。
[12] J.L.Peterson：Petri网和系统建模。普伦蒂斯·霍尔，1981年。
[13] W.Reisig：Petri网：简介。EATCS理论计算机科学专著。斯普林格·弗拉格，1985年。
[14] G.Ristori：通过Petri网对共享资源的系统进行建模。比萨大学博士论文，TD-5/941994。
[15] V.A.Saraswat：并发约束编程。麻省理工学院出版社，1993年。
[16] G.Winskel：事件结构。InPetri网：应用程序和与其他并发模型的关系。Springer-Verlag，LNCS 2551986年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。