×
施耐德，H.J。

关于整合结构转换和标签操作的范畴图文法。 （英语） Zbl 0784.68052号

西奥。计算。科学。 109，编号1-2，257-274（1993）.
图的转换可以通过应用图语法的生成来完成。产品的应用将其左侧替换为右侧。现在，图是表示异步过程系统的一种方法，而图转换可以描述系统行为。为了描述共享数据结构的系统，必须克服使用标签保护图形态的局限性。本文扩展了以前的工作，其中为了允许产生式中的变量，在标签集上施加了一个简单的结构，并且要求图形态与该结构兼容。在目前的论文中，标签是按类别而不是按字母表进行的，通过这种方式，可以在重写图形的同时对标签进行操作。假设一对类别\（{\mathbf L}=（{\mathbf L{E_），\（{\ mathbf L}_V）\），对象集分别是边标签集和节点标签集。考虑了一类标记图和（{mathbf L}）态射，并证明了一些基本性质。此外，还考虑了标签是图的更一般情况，并定义了类别\（{\mathbf G}\）-Graph。特别令人感兴趣的是关于一类可分辨态射满足并行独立性定理（PIT）的范畴。类别\（{\mathbf G}\）-图被证明是关于一个合适的态射类的PIT类别。通过在上述框架中建模条件/事件网络和平台/转换网络，证明了该方法的有效性。
审核人：A.Maggiolo-Schettini（比萨）

引用于6文件

MSC公司：

2012年第68季度 语法和重写系统
18个B05 集合的类别、特征

关键词：

图建模;分类方法;图形变换;条件/事件网络;plasce/过渡网

软件：

阿尔戈68
PDF格式BibTeX公司 XML格式引用
\文本｛H.J.Schneider｝，Theor。计算。科学。109，编号1--2，257--274（1993；Zbl 0784.68052）
全文： 内政部

参考文献：

[1] van den Broek，P.M.，《两种书写系统的比较》，Theoret。计算。科学。，61, 67-81 (1988) ·Zbl 0658.68091号
[2] Ehrig，H.，《图文法的代数理论导论》（综述），（第一届图文法研讨会论文集，第一届图语法研讨会论文集《计算机科学讲稿》第73卷（1979年），施普林格：施普林格柏林），1-69·Zbl 0407.68072号
[3] Ehrig，H。；Boehm等人。；美国亨默特。；Löwe，M.，图变换的分布式并行，（Proc.13th Internat.计算机科学中的图论概念研讨会.Proc.13st Internat.计算科学中的图论概念研讨会，计算机科学讲稿，第314卷（1988），Springer:Springer-Berlin），1-19·Zbl 0651.68097号
[4] H.Ehrig、A.Habel、H.J.Kreowski和F.Parisi-Prescce，《高级替换系统中的并行性和并发性》，数学。结构计算。科学。; H.Ehrig、A.Habel、H.J.Kreowski和F.Parisi-Prescce，《高级替换系统中的并行性和并发性》，数学。结构计算。科学。·Zbl 0749.68045号
[5] Ehrig，H。；Kreowski，H.J.，《Pushout properties-an analysis of gluing constructions》，数学。纳克里斯。，91, 135-149 (1979) ·Zbl 0431.68069号
[6] 埃里格，H。；Kreowski，H.J。；Maggiolo-Schettini，A。；罗森，B.K。；Winkowski，J.，《结构变换——代数方法》，《数学》。系统理论，14305-334（1981）·Zbl 0491.68035号
[7] Ehrig，H。；P挡泥板，M。；Schneider，H.J.，《图形文法-代数方法》（Proc.14th Ann.Conf.on Switching and Automata Theory（1973）），167-180
[8] Kreowski，H.J.，《Petri网和图文法的比较》，（计算机科学讲义，第100卷（1981），施普林格：施普林格柏林），306-317·Zbl 0454.68053号
[9] Kreowski，H.J.，并行已经是并发了吗第1部分：图文法中的推导，（第三届国际会议，《图文法及其在计算机科学中的应用》，第三届国内会议，《图形文法及其应用于计算机科学的研讨会》，《计算机科学讲稿》，第291卷（1987），施普林格：施普林格柏林），343-360·Zbl 0643.68023号
[10] Kreowski，H.J。；Wilharm，A.，并行已经是并发了吗第2部分：图文法中的非顺序过程，（Proc.3rd Internat.图形文法及其在计算机科学中的应用研讨会。Proc.3rdInternat.图文法及其对计算机科学的应用研讨会，计算机科学讲稿，第291卷（1987），Springer:Springer Berlin），361-377·Zbl 0643.68024号
[11] Parisi Presicce，F。；Ehrig，H。；Montanari，U.，统一与合成的图形重写，（计算机科学讲义，第291卷（1987年），施普林格：施普林格柏林），496-514·Zbl 0643.68103号
[12] Pratt，T.，《配对语法、图形语言和字符串到图形的翻译》，J.Compute。系统科学。，5, 560-595 (1971) ·Zbl 0229.68029号
[13] Raoult，J.C.，《关于图重写》，Theoret。计算。科学。，32, 1-24 (1984) ·Zbl 0551.68065号
[14] Reisig，W.，非序列过程的图文法表示，（计算机科学讲义，第100卷（1981），施普林格：施普林格柏林），318-325·Zbl 0454.68054号
[15] Schneider，H.J.，《用范畴图文法描述分布式系统》，（第15届国际学术会议，计算机科学中的图论概念研讨会，第15届国内学术会议，《计算机科学中图论概念的研讨会》，第411卷（1990），施普林格：施普林格柏林），121-135·Zbl 0768.68178号
[16] van Wijngaarden，A.，算法语言ALGOL 68的报告，Numer。数学。，14, 79-218 (1969) ·Zbl 0191.46101号
[17] Wileden，J.C.，图文法与并发软件设计和分析之间的关系，（计算机科学讲义，第73卷（1979），施普林格：施普林格-柏林），456-463·Zbl 0402.68021号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。