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

UML状态图的形式化描述

The Formal Description of UML Statecharts
下载PDF
导出
摘要 面向对象模型的形式化是形式化研究的重点,UML是一种得到承认的标准建模语言,CHAM是一种广泛用于异步并行计算和系统体系结构建模的语言,它适合对系统的状态变化进行动态的描述。利用和改进原有的CHAM建模语言,使其能够对UML状态图进行形式化描述。 The formal description of object-oriented models is the focus of the research on formal description.UML is a standard modeling language which is recognized by OMG.CHAM is widely used in parallel computing and the software Architectures.It is suitable for the dynamic description of the change of the system＇s states.In this paper,The CHAM model is used for the formal description of UML statechart diagrams through improving the original model.
作者 崔冬华 崔光霁
机构地区 太原理工大学计算机科学与技术学院
出处 《电脑开发与应用》 2011年第5期58-60,共3页 Computer Development & Applications
关键词 统一建模语言 化学抽象机 状态图 CHAM UML chemical abstract machine statecharts CHAM
分类号 TP301 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献4

  • 1Berry G, Boudol G. The Chemical Abstract Machine[J]. Theoretical Computer Science, 1992 (96): 217- 248.
  • 2Inverardi P, Wolf A L. Formal Specifications and Analysis of Software Architectures Using The Chemical Abstract Machine Model [J]. IEEE Transactions on Software Engineering, 1995,21 (4): 373-386.
  • 3孙猛,张乃孝,Bernhard K Aichernig.UML状态机视图的RSL形式描述(英文)[J].北京大学学报（自然科学版）,2005,41(3):344-357. 被引量：2
  • 4OMG. Unified Modeling Language: Infrastructure Version 2.0[S]. Object Management Group,2005.

二级参考文献19

  • 1Favre L,Clérici S.Integrating UML and Algebraic Specification Techniques.In:Mingins C edes.Proceedings of TOOLS 1999.CA:IEEE Computer Society,1999.151-162.
  • 2Tews H.Coalgebraic Methods for Object-Oriented Specification:[PhD thesis].Dresden:Dresden University of Technology,2002.
  • 3The RAISE Language Group.The RAISE Specification Language.Hertfordshire:Prentice Hall International,1992.
  • 4The RAISE Method Group.The RAISE Development Method.Hertfordshire:Prentice Hall International,1995.
  • 5Harel D.Statecharts:A Visual Formalism for Complex Systems.Science ofComputer Programming,1987,8(3):231-274.
  • 6Funes A,George C.Formal Foundations in RSL for UML Class Diagrams.Technical Report, No.253,UNU/IIST,May 2002.
  • 7Sun M,Zhang N,Aichernig B.The Formal Foundations in RSL for UML Statechart Diagrams.Technical Report No.299,UNU/IIST,2004.
  • 8Harel D,Naamad A.The STATEMATE Semantics of Statecharts.ACM Transactions on Software Engineering and Methodology,1996,5(4):293-333.
  • 9Gnesi S,Latella D,Massink M.Modular Semantics for a UML Statechart Diagrams Kernel and Its Extension to Multicharts and Branching Time Model Checking.The Journal of Logic and Algebraic Programming,2002,51(1):43-75.
  • 10Tsiolakis A.Semantic Analysis and Consistency Checking of UML Sequence Diagrams.Technical Report 2001-06,Berlin:Diplomarbeit,Technische Universit(a)t,2001.

共引文献1

电脑开发与应用
2011年 第5期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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