期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于形式化规格说明的UML状态图提取 被引量：3

UML state-chart extraction based on formal specification
在线阅读 下载PDF
导出
摘要 为了辅助软件开发者理解形式化规格说明,提出一种从B方法规格说明中提取UML状态图的方法。通过分析状态信息在规格说明中的表现形式,定义一系列精确的简单状态、状态迁移、复合迁移、分层状态和状态图通信等提取规则。借助状态变量表和状态迁移表,最终实现状态元素和状态关系的提取,并以此构造完整的UML状态图。实验结果验证了方法的正确性及有效性。 To assist software developers understand formal specification,this paper proposed a method of UML state-chart extraction based on B method specifications.By analyzing the representation of state information in specifications,defined a se rious of extraction rules,including simple state,state transition,compound transition,hierarchical state,state-chart communication and so on.With the help of state variable table and state transition table,extracted state elements and state relations,and built complete UML state-chart.The experiment proves the correctness and effectiveness of this method.
作者 曾一 周欣 周吉
机构地区 重庆大学计算机学院
出处 《计算机应用研究》 CSCD 北大核心 2011年第5期1767-1769,共3页 Application Research of Computers
关键词 形式化规格说明 B方法 统一建模语言状态图 分层状态 formal specification B method UML start-chart hierarchical state
分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献12

  • 1胡劲松,郭荷清,郑启伦.软件体系结构的形式化与面向状态的形式化风格[J].计算机科学,2003,30(12):144-146. 被引量：2
  • 2唐艳,杜玉越,刘伟.基于MDA和可执行形式化的可信软件设计[J].计算机工程,2009,35(19):138-140. 被引量：1
  • 3HUNG L,SOUQUIERES J. Contributions for modelling UML statecharts in B[C]//Proc of the 3rd International Conference Integerated Formal Methods. London:Springer-Verlag,2002: 109-127.
  • 4TRUONG N T,SOUQUIERES J. Verification of behavioural elements of UML models using B [ C ]//Proc of ACM Symposium on Applied computing. New York : ACM Press ,2005 : 1546-1552.
  • 5LIU Jiu-fu. Integration of statechart and B method based analysis and verification for flight control software of unmanned aerial vehicle [C]//Proc of the 10th ACM SIGSOFT Software Engineering. New York : ACM Press ,2007 : 1-4.
  • 6OSSAMI D D O, JACQUOT J P, SOUQUIERES J. Consistency in UML and B multi-view specifications[ C]//Proc of the 5th Intenaa- tional Conferenccon, Integrated Formal Methods. Berlin : Springer-Verlag,2005:386-405.
  • 7IDANI A, LEDRU Y. Object oriented concepts identification from formal B specifications[ J ]. Formal Methods in System Design, 2007, 30(3) :217-232.
  • 8IDANI A, LEDRU Y. Dynamic graphical UML views from formal B specifications[J]. Information and Software Technology, 2006, 48(3)154-169.
  • 9FEKIH H, AYED L J B, MERZ S T. Transformation of B specifications into UML elass diagrams and state maehines [ C ]//Proc of ACM symposium on Applied Computing. New York :ACM Press ,2006: 1840-1844.
  • 10王新苏,王煦法.从形式化规范自动生成系统级状态机[J].中国科学技术大学学报,2006,36(11):1177-1183. 被引量：1

二级参考文献32

  • 1周明天,谭良.可信计算及其进展[J].电子科技大学学报,2006,35(S1):686-697. 被引量：30
  • 2ShawM GarlanD Softarearchitecture.Perspectives on an emerging discipline[M].北京：清华大学出版社,1998..
  • 3Raistrick C, Francis P, Wright J. Model Driven Architecture with Executable UML[M]. Cambridge, UK: Cambridge University Press, 2004.
  • 4Dale P, Murray D J, Yu Chen. Object-oriented Design Patterns for Debugging Heterogeneous Languages and Virtual Machines[J]. 2005, 35(3): 255-279.
  • 5Yeung W L. Checking Consistency Between UML Class and State Models Based on CSP and B[J]. Journal of Universal Computer Science, 2004, 10(11): 1540-1558.
  • 6Lorenzoli D,Mariani L,Pezze M.Automatic generation of software behavioral models[C]//Proceedings of the 30th International Conference on Software Engineering,Germany,May 10-18,2008:501-510.
  • 7Blanc X,Mounier L,Mougenot A,et al.Detecting model inconsistency through operation-based model constructinn[C]//Proceedings of the 30th International Conference on Software Engincering,Germany,May 10-18,2008:511-519.
  • 8Moffett J,Vickers A.Behavioral conflicts in a causal specification[J].Automated Software Engineering,2000(7):215-238.
  • 9Sood M,Sabharwal S,Singh Y.The requirements model and behaviour in specification of requirements[J].Information and Management Science,2006,17 (1):67-89.
  • 10Androde J A J.A methodological framework for viewpoint-oriented conceptual modeling[J].IEEE Tran on Software Engineering,2004,30(5).

共引文献5

同被引文献31

  • 1孙猛,张乃孝,Bernhard K Aichernig.UML状态机视图的RSL形式描述(英文)[J].北京大学学报（自然科学版）,2005,41(3):344-357. 被引量：2
  • 2朱雪阳,唐稚松.Statecharts的组合语义与求精[J].软件学报,2006,17(4):670-681. 被引量：5
  • 3郭峰,姚淑珍.基于Petri网的UML状态图的形式化模型[J].北京航空航天大学学报,2007,33(2):248-252. 被引量：9
  • 4Monin J.F., Francois J.. Understanding formal methods, Written and translated by Jean-Francois. London: Springer, 2003.
  • 5Kallel S., Kacem M.H., Jmaiel M.. Modeling and enforcing invariants of dynamic software architectures[J], Software and Systems Modeling. 2012, 11(1): 127-149.
  • 6OMG. UML2.0 Infrastructure Specification [OL]. http:// www. omg. org/cgi-bin/doc? formal/2005-07-05, pdf,2005.
  • 7OMG. Object Constraint Language. Version 2. 3. 1 [OL]. ht- tp://www, omg. org/cgi-bin/doc? formal/2009-02-02, pdf, 2009.
  • 8Egyed A. Automatically Detecting and Tracking Inconsistencies in Software Design Models[J]. IEEE Transactions on Software Engineering, 2011,37(2) :188-204.
  • 9Bjornern软件工程卷1:抽象与建模[M].刘伯超,向剑文,译.北京:清华大学出版社,2010:18-21.
  • 10Woodcock J. Formal Methods.. Practice and Experience[J]. ACM Computing Surveys, 2009,41 (4) : 19 : 1-19 : 36.

引证文献3

二级引证文献5

计算机应用研究
2011年 第5期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部