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

基于DL-Safe规则的UML状态图形式化和一致性验证 被引量：2

Formalization and Consistency Checking of UML-Statechart Based on DL-Safe Rule
下载PDF
导出
摘要 为了对UML状态图进行形式化验证,将状态图中的语义分为静态语义和动态语义两部分,用描述逻辑知识库表示静态语义,用DL-Safe规则表示动态语义.研究了检查UML状态图一致性的算法,该算法能够用DL-Safe规则对知识库进行推理达到检查状态图一致性的目的,最后分析了算法的可行性. The semantic information of UML-Statechart is divided into static aspect and dynamic aspect.The static aspect is expressed by a knowledge base of description logics,and the dynamic aspect is expressed by DLSafe rule.An algorithm is proposed for checking the consistency of UML-Statechart,which can use the DL-Safe rule to reason the knowledge base.Finally,the feasibility of the algorithm is analyzed theoretically.
作者 何红悦 宋自林 周波
机构地区 解放军理工大学指挥自动化学院
出处 《郑州大学学报（理学版）》 CAS 北大核心 2009年第1期94-98,共5页 Journal of Zhengzhou University:Natural Science Edition
基金 国家自然科学基金资助项目 编号10501053
关键词 UML状态图 描述逻辑 DL-Safe规则 一致性 UML-Statechart description logic DL-Safe rule consistency
分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献3

二级参考文献15

  • 1Hollingsworth D. Workflow Management Coalition-The Workflow Reference Model [M]. Workflow Management Coalition,1995
  • 2Eder J, et al. Temporal Modelling of Workflows with Conditional Execution Paths [J]. In:M. Ibrahim, J. Kung, and N. Revell,eds. DEXA2000, LNCS1873, Springer-Verlag,2000. 243-253
  • 3Combi C,Pozzi G. Temporal Conceptual Modelling of Workflows[J]. In: I. -Y. Song et al, eds. ER2003, LNCS2813, Springer-Verlag,2003.59-76
  • 4Eder J, et al. Time Constraint in Workflow Systems [J]. In: M.Jarke, A. Oberweis eds. CaiSE'99,LNCS1626, Springer-Verlag, 1999. 286-300
  • 5Bettini C, et al. Temporal Reasoning in Workflow Systems [J].Distributed and Parallel Databases, 2002, 11:269-306
  • 6Alur 1K Timed Automata [C]. In: 11th International Conferenceon Computer-Aided Verification, LNCS1633, Springer Verlag,1999. 8-22
  • 7Alur R, et al. Model-checking in dense real-time [J]. Information and Computation, 1995,104 : 2-34
  • 8Berard B, et al. Systems and Software Verification-Model checking Techniques and Tools [M]. Springer-Verlag, 2001.67-68
  • 9HAREL D. Statecharts: a visual formalism for complex systems[J]. Science of Computer Programming, Elsevier, 1987, 8(3): 231-274.
  • 10Mikk E, Lakhnech Y, Siegel M. Hierarchical automata as model for statecharts[ M]. LNCS1345, Springer Verlag, 1997; 181 - 196.

共引文献1

同被引文献22

  • 1周清雷,姬莉霞,王艳梅.基于UPPAAL的实时系统模型验证[J].计算机应用,2004,24(9):129-131. 被引量：23
  • 2郭东亮,张立臣.基于扩展UML的面向方面的建模[J].计算机工程,2006,32(19):100-102. 被引量：8
  • 3杨敬中,张广泉,戎玫.UML2.0类图的一种形式化描述方法[J].计算机科学,2007,34(2):277-279. 被引量：5
  • 4Aldawud O, Elrad T, Bader A. A UML profile for aspect-oriented modeling [A]. Prnc. of OOPSLA 2001 Workshop on Aspect-Oriented Programming [C]. 2001.
  • 5Han Y, Kiesel G, Creners A B. Towards visual Aspect by a metamodel and modeling notation [A]. Proc. of Aspect--Oriented Modeling Workshop [C]. 2005.
  • 6Filman R E, Elrad T, Clarke S, et al. Aspect- oriented software development[M]. New York: Addison Wesley Professional, 2004.
  • 7Siobhan C, Elisa B. Aspect--oriented Analysis and Design Theme Approach [M]. USA: Addison Wesley Professional, 2006: 99 - 155.
  • 8Tzilla E, Robert E, Atef B. Aspect oriented program ming [J]. Comm. of the ACM, 2001, 44 (10): 29-32.
  • 9Yan J, Wang J, Chen H W. Deriving software statistical testing model from UML model quality software [A]. Proe. of the 3rd International Conference [C]. 2003: 343-350.
  • 10Clarke E M, Wing J M. Formal methods: state of the art and future directions[J]. ACM Computing Surveys, 1996, 28(4) : 626 - 643.

引证文献2

二级引证文献8

郑州大学学报（理学版）
2009年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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