Generating LOTOS Specifications from UML Static Structure Diagrams


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 6, No. 12, pp. 3500-3513, Dec. 1999
10.3745/KIPSTE.1999.6.12.3500,   PDF Download:

Abstract

It is recognized that object-oriented methods and formal and formal methods are two different main streams that will influence on the future direction of software engineering. A merging effort on these two technologies, named a "a formal approach on system specifications using object-oriented methods" emerges rapidly and produces remarkable research results. LOTOS is well-suited to an object-based approach. However, to provide a full object-oriented approach, we need to model generalization (i,e, inheritance and polymorphism). Most authors who have examined this topic have proposed extensions to LOTOS. As an extension of such an effort, this paper proposes a method that generates LOTOS specification from static structure diagrams in UML.


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]
C. H. Kim, Y. W. Ahn, W. C. Lee, "Generating LOTOS Specifications from UML Static Structure Diagrams," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 6, no. 12, pp. 3500-3513, 1999. DOI: 10.3745/KIPSTE.1999.6.12.3500.

[ACM Style]
Cheol Hong Kim, Yu Whoan Ahn, and Won Chun Lee. 1999. Generating LOTOS Specifications from UML Static Structure Diagrams. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 6, 12, (1999), 3500-3513. DOI: 10.3745/KIPSTE.1999.6.12.3500.