Specifcation and Farmalization of Transition Event Sequence


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 5, No. 5, pp. 1204-1215, May. 1998
10.3745/KIPSTE.1998.5.5.1204,   PDF Download:

Abstract

In this paper, we propose a scenario representing method, a specification language, and a verification technique for OARTS(Object based Approach for Real-Time Systems). As well as the general modeling method(event trace diagram), this study includes a specification language and a verification technique because there was no study about methodological level technique for scenario development as yet. Centering around the synchronization problem of transition of external modules which are the communication interfaces based on the objects, we lay stress on the representation of sequence of external events and internal action transitions. From the results of practical experiences, it has been ascertained that the proposed method reflect well the requirements in the analysis step, and its validity of the representation has been identified by a conceptual verifier. We support that it can serve as an analyzing tool for representing a general real-time scenarios also.


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. J. Sool and K. B. Wook, "Specifcation and Farmalization of Transition Event Sequence," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 5, no. 5, pp. 1204-1215, 1998. DOI: 10.3745/KIPSTE.1998.5.5.1204.

[ACM Style]
Kim Jung Sool and Kang Byung Wook. 1998. Specifcation and Farmalization of Transition Event Sequence. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 5, 5, (1998), 1204-1215. DOI: 10.3745/KIPSTE.1998.5.5.1204.