×
哈特穆特·埃里格;罗伯特·盖斯勒;马库斯·克拉尔;朱莉娅·帕德伯格

状态图的水平和垂直结构技术。 （英语） Zbl 1512.68166号

Mazurkiewicz，Antoni（编辑）等人，CONCUR’97：并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1243, 181-195 (1997).
摘要：在本文中，我们提出了一种状态图的代数方法，因为它们在政治家Meseguer和Montanari开发的用于位置转换网的“Petri网是Monoid”风格的工具。我们应用了高级替换系统的框架，这是图转换系统的分类推广，为了将并集定义为水平的，以及将转换和细化定义为状态图的垂直结构技术。第一个主要结果显示了在适当的状态图类别中联合和转换的兼容性。我们提出了一种算法，用于计算在一个步骤内启用的所有转换。第二个主要结果表明了该算法的正确性。我们为状态图定义了求精态射，它允许对任意状态进行求精，与文献中仅对基本状态和根状态进行求精细的概念形成对比。第三个主要结果表明，精化形态与形式语义中定义的状态图行为兼容。
关于整个系列，请参见[兹比尔1434.68030].

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
18 C50 形式语言的范畴语义
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}等人，Lect。注释计算。科学。1243181-195（1997年；Zbl 1512.68166）
全文： 内政部

参考文献：

[1] S.Cook和J.Daniels。设计对象系统-使用Syntropy进行面向对象建模普伦蒂斯·霍尔，1994年·Zbl 0841.68029号
[2] H.Ehrig、A.Habel、H.-J.Kreowski和F.Parisi-Prescce。从图形语法到高级替换系统，第269-291页。Springer-Verlag，1991年。计算机科学课堂讲稿532·Zbl 0765.68088号
[3] H.Ehrig、A.Habel、H.-J.Kreowski和F.Parisi-Prescce。高级替换系统中的并行性和并发性。数学。结构。在Comp。科学类, 1:361-404, 1991. ·Zbl 0749.68045号
[4] C.Ermel、J.Padberg和H.Ehrig。使用基于规则的Petri网精化的医疗信息系统的需求工程。在程序。集成设计和工艺技术, 1996.
[5] D.哈雷。状态图：复杂系统的可视化形式主义。计算机程序设计科学，8（3）：231-2741987年6月·Zbl 0637.68010号
[6] D.Harel和E.Gery。使用状态图进行可执行对象建模。在程序。第18届ICSE，柏林1996年3月。
[7] D.Harel、H.Lachover、A.Naamad、A.Pnueli、M.Politi、R.Sherman、A.Shtull-Trauring和M.Trakhtenbrot。状态：用于开发复杂反应系统的工作环境。IEEE软件工程汇刊1990年4月16日第4期。
[8] D.Harel和A.Naamad。状态图的Statemate语义。ACM事务处理。柔软。工程方法。1996年10月。
[9] D.Harel、A.Pnueli、J.P.Schmidt和R.Sherman。关于状态图的形式语义。在计算机科学中的逻辑专题讨论会，第54-64页，纽约，1987年。IEEE计算机学会出版社。
[10] D.Harel和M.Politi。用状态图建模反应系统：状态方法。i-Logix Inc，美国马萨诸塞州安多佛市三河畔大道，邮编01810，1996年6月。零件号D-1100-43，6/96。
[11] C.Huizing、R.Gerth和W.P.de Roever。以完全抽象的方式建模状态图行为。在程序。第13届CAAP，第299卷，共计算机科学课堂讲稿Springer-Verlag出版社，1988年·Zbl 0647.68018号
[12] F.马兰尼奇。同步自动机合成的操作语义和合成语义。在程序。CONCUR’92——第三届并行理论国际会议，第630卷，共计算机科学课堂讲稿第530-564页，1992年。
[13] J.Padberg、H.Ehrig和L.Ribeiro。代数高级网变换系统。计算机科学中的数学结构, 5:217-256, 1995. ·Zbl 0839.68068号
[14] A.Pnueli和M.Shalev。步骤：关于状态图的语义。编辑T.Ito和A.R.Meyer，计算机软件的理论方面，第244-264页，纽约，1991年9月。斯普林格·弗拉格。计算机科学课堂讲稿526·Zbl 1493.68121号
[15] J.Rumbaugh、M.Blaha、W.Premerlani、F.Eddy和W.Lorensen。面向对象的建模与设计普伦蒂斯·霍尔，1991年。
[16] B.Selic、G.Gullekson和P.Ward。实时面向对象建模.威利，1994年·Zbl 0821.68128号
[17] 冯·德·比克先生。状态图变体的比较。在Langmaak、de Roever和Vytopil的编辑中，实时容错系统中的形式化技术，第863卷，共页计算机科学课堂讲稿，第128-148页，1994年。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。