DocumentCode :
2400993
Title :
Automatically generating C++ programs from LOTOS behavior specifications
Author :
Kim, Chulhong ; Kim, Kangho ; Jeong, Cheoljoo ; Oh, Youngbae
Author_Institution :
Software Eng. Dept., Syst. Eng. Res. Inst., Taejon, South Korea
fYear :
1998
fDate :
2-4 Dec 1998
Firstpage :
54
Lastpage :
60
Abstract :
Communication systems can be characterized by high reliability requirements, complexity in development, and distribution of processes and resources. In developing these kinds of systems, formal methods can be fruitful in achieving high quality of resulting systems. LOTOS, a formal specification language, allows us to write models of the system in an abstract but rigorous manner. In this paper, we present a “behavior compiler” that supports rapid prototyping by generating C++ code from LOTOS behavioral specifications. Execution of the generated code allows us to detect analysis and design errors at the early stage of system development life cycle
Keywords :
automatic programming; formal specification; software prototyping; specification languages; C++ programs generation; LOTOS; LOTOS behavior specifications; behavior compiler; complexity; formal methods; formal specification language; high reliability requirements; rapid prototyping; system development life cycle; Error analysis; Error correction; ISO standards; Protocols; Prototypes; Read only memory; Software engineering; Specification languages; Systems engineering and theory; Virtual manufacturing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering Conference, 1998. Proceedings. 1998 Asia Pacific
Conference_Location :
Taipei
Print_ISBN :
0-8186-9183-2
Type :
conf
DOI :
10.1109/APSEC.1998.733584
Filename :
733584
Link To Document :
بازگشت