Title :
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
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;
Conference_Titel :
Computational Intelligence and Security (CIS), 2013 9th International Conference on
Conference_Location :
Leshan
Print_ISBN :
978-1-4799-2548-3
DOI :
10.1109/CIS.2013.150
