Title :
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
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;
Conference_Titel :
Information Science and Engineering (ICISE), 2009 1st International Conference on
Conference_Location :
Nanjing
Print_ISBN :
978-1-4244-4909-5
DOI :
10.1109/ICISE.2009.918
