Automatically Generating C++ Source Code from LOTOS Specifications


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 5, No. 12, pp. 3138-3150, Dec. 1998
10.3745/KIPSTE.1998.5.12.3138,   PDF Download:

Abstract

Communication systems can be characterized by high reliability requirement, 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 "code generator" that supports rapid prototyping by generating C code from LOTOS specifications. Execution of the generated code allows us to detect analysis and design errors at the early stage of system development life cycle.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
K. C. Hong, C. Y. Sik, K. K. Ho, "Automatically Generating C++ Source Code from LOTOS Specifications," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 5, no. 12, pp. 3138-3150, 1998. DOI: 10.3745/KIPSTE.1998.5.12.3138.

[ACM Style]
Kim Cheol Hong, Cheon Yoon Sik, and Kim Kang Ho. 1998. Automatically Generating C++ Source Code from LOTOS Specifications. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 5, 12, (1998), 3138-3150. DOI: 10.3745/KIPSTE.1998.5.12.3138.