• Journal of Internet Computing and Services
    ISSN 2287 - 1136 (Online) / ISSN 1598 - 0170 (Print)
    https://jics.or.kr/
Menu

Developing a Reactive System Model from a Scenario-Based Specification Model


Ryoung-Kwo Kwon, Gi-Hwon Kwon, Journal of Internet Computing and Services, Vol. 13, No. 1, pp. 99-106, Feb. 2012
10.7472/jksii.2012.13.1.99, Full Text:
Keywords: LTL Synthesis, Reactive System, Scenario Based Specification, Live Sequence Chart

Abstract

It is an important and a difficult task to analyze external inputs and interactions between objects for designing and modeling a reactive system consisting of multiple object. Also the reactive system is required huge efforts on confirm it can satisfy requirements under all possible circumstances. In this paper, we build from requirements to a scenario-based specification model using LSC(Live Sequence Chart) extending MSC(Message Sequence Chart) with richer syntax and semantic. Then the reactive system model satisfying all requirements for each object in this system can be automatically created through LTL Synthesis. Finally, we propose a method of reactive system development by iterative process transforming a reactive system model to codes.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from November 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
[APA Style]
Kwon, R. & Kwon, G. (2012). Developing a Reactive System Model from a Scenario-Based Specification Model. Journal of Internet Computing and Services, 13(1), 99-106. DOI: 10.7472/jksii.2012.13.1.99.

[IEEE Style]
R. Kwon and G. Kwon, "Developing a Reactive System Model from a Scenario-Based Specification Model," Journal of Internet Computing and Services, vol. 13, no. 1, pp. 99-106, 2012. DOI: 10.7472/jksii.2012.13.1.99.

[ACM Style]
Ryoung-Kwo Kwon and Gi-Hwon Kwon. 2012. Developing a Reactive System Model from a Scenario-Based Specification Model. Journal of Internet Computing and Services, 13, 1, (2012), 99-106. DOI: 10.7472/jksii.2012.13.1.99.