期刊文献+

UML视图的一种形式化模型及其分析 被引量:1

A Formal Model of UML Diagrams and Its Analysis
下载PDF
导出
摘要 UML是一种得到广泛应用的系统建模语言 ,但是由于它缺乏形式化语义和严格的推理机制 ,从而影响了系统建模的准确性和开发效率。 TCOZ是一种将 Object-Z和 TCSP相结合的形式化语言 ,具有丰富的建模能力。基于 TCOZ,本文建立了 UML视图的一种形式化模型 ,对类图和协作图等提出了转换规则 ,使得 TCOZ中的推理可用于分析 UML视图。通过某学校信息系统的实例 ,阐述了 UML视图的形式化建模方法和分析技术。 UML is a modeling language in general use for industrial software systems. However, its absence of formal semantics and rigorous reasoning mechanism results in its inaccuracy in system modeling and inefficiency for system development. TCOZ is a formal language combining features of Object Z and Timed CSP, which is powerful in system modeling. Based on TCOZ, this paper proposes a formal model for UML diagrams and gives several transition rules for class diagrams and collaboration diagrams, which makes it possible to apply the formal reasoning mechanism of TCOZ to analyzing UML diagrams. A detailed case study of a school information system illustrates our method for modeling and analyzing UML diagrams.
出处 《华东理工大学学报(自然科学版)》 CAS CSCD 北大核心 2003年第3期284-290,共7页 Journal of East China University of Science and Technology
基金 教育部高等学校骨干教师资助项目
关键词 形式化方法 UML TCOZ 模型 分析 formal method UML TCOZ model analysis
  • 相关文献

参考文献7

  • 1Grady Booch James Rumbaugh Ivar Jacobson.UML参考手册[M].北京:机械工业出版社,2001..
  • 2Brendan M, Jin S D. Blending Object-Z and Timed CSP: An introduction to TCOZ[A]. Proceedings of the 20th International Conference on Software Engineering[C]. Kyotoz IEEE Computer Society Press, 1998. 95-104.
  • 3Mahony B, Dong J S. Timed communicating Object-Z[J].IEEE Transactions on Software Engineering, 2000, 26 (2) :150-177.
  • 4Hoare C A R. Communicating Sequential Processes [M].Is. I. ]: Prentice-Hall International, 1985.
  • 5Jim Davies, Steve Schneider. A brief history of Timed CSP[A]. Theoretical Computer Science, vol. 138[C]. Amsterdam.. Elsevier Science Publishers B. V. , 1995. 243-271.
  • 6Dong J S, Mahony B. Active objects in TCOZ[A]. Proceedings of Second International Conference on Formal Engineering Methods[C]. [s.l. ]: IEEE Computer Society, 1998. 16-25.
  • 7Kim S K, Carrington D. A formal mapping between UML models and Objeet-Z speeifieations[A]. ZB 2000, LNCS 1878[c]. Berlin Heidelberg: Spinger-verlag, 2000. 2-21.

同被引文献6

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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