A Strategy to Improve the Reliability of Object-Oriented Formal Models

Author

Guo Xie ; Fucai Qian ; Xinhong Hei

Author_Institution

Sch. of Autom. & Inf. Eng., Xi´an Univ. of Technol., Xi´an, China

fYear

2013

fDate

14-15 Dec. 2013

Firstpage

688

Lastpage

691

Abstract

Considering the challenges in guaranteeing the reliability of a formal model which is established in according with system requirements specification written in natural language with ambiguities, a novel strategy is proposed to improve the correctness of formal model by separating requirement functions and data structures. Specifically, hybrid automata which can analyze system process symbolically are created to characterize system behaviors before formalization. Secondly, UML models are created to improve the accuracy of system structure. Lastly, an object-oriented formal model is established based on the hybrid automata and UML models.

Keywords

Unified Modeling Language; automata theory; formal specification; object-oriented methods; UML models; Unified Modeling Language; data structures; formal model reliability; hybrid automata; natural language; object-oriented formal models; requirement functions; system requirements specification; Automata; Data models; Natural languages; Object oriented modeling; Reliability; Thermostats; Unified modeling language; UML; formal models; hybrid automata; object-oriented; reliability;

fLanguage

English

Publisher

ieee

Conference_Titel

Computational Intelligence and Security (CIS), 2013 9th International Conference on

Conference_Location

Leshan

Print_ISBN

978-1-4799-2548-3

Type

conf

DOI

10.1109/CIS.2013.150

Filename

6746518