×
里克·埃舒伊斯

协调状态图语义。 （英语） Zbl 1171.68021号

科学。计算。程序。 74，第3期，65-99（2009）.
摘要：状态图是一种可视化的反应行为建模技术。多年来，提出了大量的状态图语义。使用最广泛的三种语义是fixpoint、Statemate和UML语义。这三种语义彼此相差很大。一般来说，他们对同一状态图的解释不同，这阻碍了状态图设计在设计者和工具之间的交流。在本文中，我们确定了状态图上的一组约束，以确保不动点、Statemate和UML语义一致，前提是观察限制为线性、断续闭合、可分离属性。此外，我们还表明，对于这些约束的子集，Statemate语义的轻微变化与UML语义的线性断续闭属性相一致。

引用于7文件

MSC公司：

68问题55 计算理论中的语义学

关键词：

状态图；形式语义学

软件：

自旋蛋白；状态流；酯类
PDF格式BibTeX公司 XML格式引用
\textit{R.Eshuis}，科学。计算。程序。74，第3号，65--99（2009；Zbl 1171.68021）
全文： 内政部

参考文献：

[1] J.Aguado，M.Mendler，《瞬时反应的建构语义学》，D.R.Ghica和G.McCusker（编辑），Proc。《逻辑和编程语言游戏》，GALOP 2005年，2005年，第16-31页·Zbl 1207.68202号
[2] Von Der Beeck，M.：状态图变体的比较，计算机科学讲义863128-148（1994）
[3] Von Der Beeck，M.：UML状态图的结构化操作语义，软件和系统建模1，第2期，130-141（2002）
[4] Berry，G。；Gonthier，G.：《esterel同步编程语言：设计、语义、实现》，《计算机编程科学》19，第2期，第87-152页（1992年）·Zbl 0772.68013号 ·doi:10.1016/0167-6423（92）90005-V
[5] Browne，M.C。；克拉克，E.M。；Grumberg，O.：描述命题时序逻辑中的有限Kripke结构，理论计算机科学59，第1-2期，115-131（1988）·兹比尔0677.03011 ·doi:10.1016/0304-3975（88）90098-9
[6] Chan，W。；安德森，R。；Beame，P。；伯恩斯，S。；莫杜格诺，F。；诺特金，D。；Reese，J.：大型软件规范的模型检查，IEEE软件工程交易24，第7期，498-520（1998）
[7] 克莱恩，M.L。；Dingel，J.：UML vs.Classic vs.Rhapsody状态图：并非所有模型都是平等创建的，计算机科学讲义3713，97-112（2005）
[8] Damm，W。；Josko，B。；Hungar，H。；Pnueli，A.：STATEMATE设计的合成实时语义，计算机科学讲义1536186-238（1998）
[9] Damm，W。；Josko，B。；普努利，A。；Votinseva，A.：安全关键应用中并发和通信的离散时间UML语义，《计算机编程科学》55，第1-3期，81-115（2005）·Zbl 1075.68048号 ·doi:10.1016/j.scico.2004.05.012
[10] Douglass，B.P.：实时UML：实时系统UML的进展（2004）
[11] 道格拉斯，B.P。；Harel，D。；Trakhtenbrot，M.B.：使用中的状态图：结构化分析和面向对象，计算机科学课堂讲稿1494368-394（1998）
[12] 艾默生，E.A。；Jha，S。；Peled，D.：结合偏序和对称约简，计算机科学讲义1217，19-34（1997）
[13] Eshuis，R.：UML活动图的符号模型检查，软件工程方法论的ACM事务15，第1期，第1-38页（2006）
[14] Eshuis，R。；詹森，D.N。；Wieringa，R.：面向对象状态图的需求级语义和模型检查，需求工程期刊7，第4期，243-263（2002）
[15] Fränzle先生。；尼豪斯，J。；Metzner，A。；Damm，W.：分布式执行状态的语义，计算的形式方面15，第4期，390-405（2003）·Zbl 1093.68599号 ·doi:10.1007/s00165-003-0015-4
[16] Harel，D.：《状态图：复杂系统的可视化形式主义》，《计算机编程科学》第8期，第3期，第231-274页（1987年）·Zbl 0637.68010号 ·doi:10.1016/0167-6423（87）90035-9
[17] Harel，D.：正在制定的状态图：个人账户，5-1-5-43（2007）
[18] Harel，D。；Gery，E.：使用状态图的可执行对象建模，IEEE计算机30，第7期，31-42（1997）
[19] Harel，D。；Kugler，H.：状态图的狂想语义（或UML的可执行核心）-初步版本，计算机科学讲义3147，325-354（2004）
[20] Harel，D。；拉科文，H。；Naamad，A。；普努利，A。；Politi，M。；谢尔曼，R。；Shtull-Trauring，A。；Trakhtenbrot，M.B.：Statemate:复杂反应系统开发的工作环境，IEEE软件工程交易16，第4期，403-414（1990）
[21] Harel，D。；Naamad，A.：状态图的STATEMATE语义，关于软件工程和方法的ACM事务5，第4期，293-333（1996）
[22] 哈雷尔博士。；Pnueli，A.：《反应系统的发展》，NATO/asi 13，447-498（1985）·Zbl 0581.68046号
[23] Harel，D。；普努利，A。；施密特，J.P。；Sherman，S.：关于状态图的形式语义，54-64（1987）
[24] Harel，D。；Politi，M.：用状态图建模反应系统：STATEMATE方法（1998）
[25] 惠泽，C。；De Roever，W.P.：状态图语义中的设计选择介绍，信息处理信函37，第4期，205-213（1991）·Zbl 0713.68012号 ·doi:10.1016/0020-0190（91）90190-S
[26] 惠泽，C。；Gerth，R.：抽象时间中反应系统的语义，计算机科学讲义600，291-314（1992）
[27] Lamport，L.：时序逻辑有什么用？，程序。IFIP信息处理大会，657-667（1983）
[28] 拉特拉，D。；Majzik，I。；Massink，M.：使用SPIN模型检查器自动验证UML状态图的行为子集，计算的形式方面11，第6期，637-664（1999）·Zbl 0966.68124号 ·doi:10.1007/s001659970003
[29] 莱弗森，N.G。；海姆达尔，M.P.E。；Reese，J.D.：《为过程控制系统设计规范语言：吸取的教训和走向未来的步骤》，计算机科学讲稿1687，127-145（1999）
[30] Leveson，N.L。；海姆达尔，M.P.E。；Hildreth，H。；Reese，J.D.：《过程控制系统的需求规范》，IEEE软件工程事务20，第9期，684-707（1994）
[31] Levi，F.：状态图过程的组合（{\mu}）演算证明系统，理论计算机科学216，第1-2期，271-310（1999）·Zbl 0914.68179号 ·doi:10.1016/S0304-3975（97）00245-4
[32] 吕特根，G。；Mendler，M.：状态图步骤背后的直觉主义，计算逻辑ACM事务3，第1期，1-41页（2002）·Zbl 1365.68312号
[33] 吕特根，G。；Mendler，M.：朝向酯类模型理论，理论计算机科学中的电子笔记65（5），95-109（2002）
[34] Maggiolo-Schettini，A。；佩隆，A。；Tini，S.：状态图步骤语义的比较，《理论计算机科学》290，第1期，465-498（2003）·兹比尔1018.68045 ·doi:10.1016/S0304-3975（01）00381-4
[35] Manna，Z。；Pnueli，A.：反应和并发系统的时序逻辑（1992）·Zbl 0753.68003号
[36] Mathworks，《状态流和状态流编码器用户指南》，（2005）
[37] 米克·E。；Lakhnech，Y。；Siegel，M.：作为状态图模型的层次自动机，计算机科学讲义1345181-196（1997）
[38] Peled，D.：从一开始，从一开始：关于使用代表进行模型检查，Lexture计算机科学笔记697409-423（1993）
[39] Peled，D.：关于投射和可分性质，《理论计算机科学》186，第1-2期，135-156（1997）·Zbl 0893.68090号 ·doi:10.1016/S0304-3975（96）00225-3
[40] 普努利，A。；Shalev，M.：《一步中的内容：状态图的语义》，计算机科学讲义526244-265（1991）
[41] 伦博，J。；布拉哈，M。；普雷梅拉尼，W。；Eddy，F。；Lorensen，W.：面向对象的建模和设计（1991）·Zbl 0814.68152号
[42] 塞利克，B。；Gullekson，G。；Ward，P.：实时面向对象建模（1994）·Zbl 0821.68128号
[43] UML修订工作组，UML 2.0上层结构规范，对象管理组，2003年。OMG文件编号ptc/03-07-06。网址：网址：http://www.uml.org
[44] Wieringa，R.J.：反应系统的设计方法：yourdon，statmate和UML，（2003）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。