Generating LOTOS Specifications from UML Static Structure Diagrams 


Vol. 6,  No. 12, pp. 3500-3513, Dec.  1999
10.3745/KIPSTE.1999.6.12.3500


PDF
  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
  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.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals