loading...
Extending MSC for Reactive Systems
Stresa, Italy September 05-September 07
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/HCC.2001.995245IEEE 2001 Symposium on Human Centric ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Message Sequence Chart(MSC) is a visual language that illustrates the scenarios of system operations, offering user-friendly, easy to understand behavior descriptions. Furthermore, high-level MSC(HMSC) provides composition mechanisms to deal with complexity of the system. However, for the MSC to be used to describe complex reactive systems, there should be ways to deal with the reactive behaviors that require the system to respond immediately. In this paper, we propose extensions of MSC to describe complex reactive behaviors in a systematic way. We define the formal semantics of the extended features based on process algebra as well as the visual and textual syntax. The extensions allow structured, systematic and succinct description of complex reactive behaviors.
Citation:
Gwang Sik Yoon, Yong Rae Kwon, "Extending MSC for Reactive Systems," hcc, pp.104, IEEE 2001 Symposium on Human Centric Computing Languages and Environments (HCC'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions