Research of Modeling Method Based on UML2.0 and Temporal Logic

Author

Gan Jian-hou ; Zhang Shu ; Wen Bin

Author_Institution

Coll. of Comput. Sci. & Inf. Technol., Yunnan Normal Univ., Kunming, China

fYear

2009

fDate

26-28 Dec. 2009

Firstpage

5033

Lastpage

5036

Abstract

As a defacto industry standard, UML has been more and more widely used in software development. However, with the increase of software scale and complexity, deficiencies of UML are increasingly obvious. As the latest version of UML, UML2.0 has been improved and refined base on UML1.x. Whereas UML still lacks precise semantics which is difficult to analyze and validate the described model. In a unified temporal logic framework, temporal logic language XYZ/E can represent both static semantics and dynamic semantics. In addition, it supports stepwise refinement, model checking, as well as executable code automatically converted. Based on these, a practical scheme is proposed for modeling software with combining UML2.0 and XYZ/E, which also provides a formal basis for analysis and validation of the model.

Keywords

Unified Modeling Language; program verification; software engineering; temporal logic; UML2.0; defacto industry standard; dynamic semantics; model checking; software development; static semantics; stepwise refinement; temporal logic framework; temporal logic language; Computer industry; Computer science; Gallium nitride; Information science; Information technology; Logic; Mathematics; Programming; Software standards; Unified modeling language;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Science and Engineering (ICISE), 2009 1st International Conference on

Conference_Location

Nanjing

Print_ISBN

978-1-4244-4909-5

Type

conf

DOI

10.1109/ICISE.2009.918

Filename

5454879