关于UML顺序图的结构化操作语义描述的研究
摘要
UML规范本身因为描述语言的限制,所以在语义方面有其模糊和难以把握的地方。本文使用结构化操作语义,对其顺序图做了形式化的描述。
出处
《福建电脑》
2007年第11期51-52,共2页
Journal of Fujian Computer
参考文献16
-
1朱梅霞.浅谈UML形式语义研究的意义和现状[J].科技资讯,2006,4(27):195-195. 被引量:3
-
2刘晓建,李战怀.基于关系模型的UML类图一致性检验[J].计算机工程与应用,2006,42(26):13-16. 被引量:4
-
3朱雪阳,唐稚松.UML活动图的时序逻辑语义[J].计算机研究与发展,2005,42(9):1478-1484. 被引量:13
-
4高春鸣,黄园媛,陈火旺.基于CCS的软件规范描述及实例研究[J].计算机工程与应用,2005,41(23):47-50. 被引量:3
-
5周瑾,马应龙,李巍,吴志林.UML的形式化及其应用[J].计算机科学,2005,32(3):136-140. 被引量:10
-
6黄陇,于洪敏,陈致明.UML顺序图的结构化操作语义研究[J].计算机应用,2005,25(2):359-361. 被引量:8
-
7高如海,缪淮扣,陈怡海.一种获得形式化功能需求的方法[J].计算机应用与软件,2004,21(10):4-6. 被引量:3
-
8任胜兵,陈松乔,喻寿益.基于事件序列的用例描述形式化及分析[J].计算机工程与应用,2004,40(23):12-14. 被引量:5
-
9周欣,魏生民.基于B语言的UML形式化方法[J].计算机工程,2004,30(12):62-64. 被引量:9
-
10崔萌,李宣东,郑国梁.UML实时活动图的形式化分析[J].计算机学报,2004,27(3):339-346. 被引量:22
二级参考文献96
-
1徐锋.实战OO:交互建模[J].程序员,2004(5):55-57. 被引量:1
-
2刘晓健,陈平.基于PVS的UML类图和序列图的一致性检验[J].系统工程与电子技术,2004,26(10):1481-1486. 被引量:1
-
3裘宗燕.从规范出发的程序设计[M].北京:机械工业出版社,2002.2-57.
-
4胜德成.抽象代数[M].北京:科学出版社,1999.27-91.
-
5GradyBooch JamesRumbaugh IvarJacobson邵维忠 麻志毅 张文娟 等译.UML参考手册[M].北京:机械工业出版社,2001..
-
6Cockburn A.Structuring use case with goals[J].Joumal of Object-Oriented Programming,1997;9 (10):35~40,11 (12):56~62
-
7Genova G,Llorens J,Quintana V.Digging into use case relationship[C].In:Jezequel J,Hussmann H,Cook S eds.UML2002,Berlin SpringerVerlag,2002:115~127
-
8Berg K,Simons A.Control-flow semantics of use case in UML[J].Information and Software Technology,1999;41 ( 10 ):631 ~659
-
9Grieskamp W,Lepper M.Using use cases in executable Z[C].In:ICFEM 2000-IEEE Conference on Formal Engineering Methods,2000:111~120,2000
-
10Schneider G,Winters J.Applying use case:A practical guide[M].MA:Addison-Wesley,2001
共引文献83
-
1陈丹.基于形式化方法的软件开发技术[J].软件工程师,2009(9):52-53. 被引量:3
-
2马征.基于UML的进销存管理系统研究设计[J].科技风,2009(23).
-
3李鹏,刘丽.运用结构化矩阵对SBA工作流建模[J].系统仿真学报,2009,21(S2):1-3.
-
4林琪,谢连宝.支持动态校验的概念模型映射算法[J].中南大学学报(自然科学版),2013,44(S2):372-376.
-
5谢棠棠,张为群.一种基于UML模型的系统测试方法[J].西南师范大学学报(自然科学版),2005,30(2):259-263. 被引量:9
-
6王毅嘉,张为群.一种基于UML和敏捷建模的JEMM方法研究[J].西南师范大学学报(自然科学版),2005,30(3):426-429. 被引量:5
-
7肖健宇,张德运,董皓,陈海诠.UML状态机到B形式化规约的转换[J].微电子学与计算机,2005,22(8):80-84. 被引量:7
-
8袁红超,郝克刚,葛玮.用例技术的研究和应用[J].计算机技术与发展,2006,16(2):96-97. 被引量:2
-
9江金龙,周献中,孙勇成,徐延勇.基于UML和Petri网的层次建模分析方法[J].系统仿真学报,2006,18(2):290-293. 被引量:15
-
10肖健宇,张德运.OCL数据类型到B形式化规约的转换[J].计算机工程,2006,32(6):61-63. 被引量:3
-
1刘云仙,王维维.一种VHDL的结构化操作语义[J].浙江大学学报(理学版),2004,31(4):409-411.
-
2郭峰,魏光,邓蒙蒙.一种面向服务Petri网模型及其结构化操作语义[J].小型微型计算机系统,2013,34(12):2739-2743. 被引量:3
-
3黄陇,于洪敏,陈致明.UML顺序图的结构化操作语义研究[J].计算机应用,2005,25(2):359-361. 被引量:8
-
4窦增杰,王震宇,姚伟平,王瑞敏.可执行代码简化中间表示的设计与实现[J].计算机工程与设计,2010,31(12):2880-2882.
-
5王谦,赵少锋,臧凤奎,李明.本体在UML建模中的应用研究[J].科学技术与工程,2008,8(2):392-397. 被引量:1
-
6李俊,王加阳.基于UML规范的建模工具研究与设计[J].软件导刊,2009,8(4):44-46. 被引量:2
-
7Ivar Jacobson,Steve Cook.UML的前途[J].程序员,2010(7):134-136.
-
8肖苑,刘宗田,邵堃,潘秋菱.基于UML的监控系统开发[J].计算机工程,2001,27(12):144-146. 被引量:2
-
9赵小芳,范辉.动态模糊逻辑(DFL)程序设计语言的结构化操作语义[J].计算机应用与软件,2008,25(8):136-137.
-
10李青山,褚华,陈平.基于进程代数的UML序列图的形式语义[J].计算机科学,2004,31(4):173-175. 被引量:4