IEEE 2001 Symposium on Human Centric Computing Languages and Environments (HCC'01) Extending MSC for Reactive Systems Stresa, Italy September 05-September 07 ISBN: 0-7695-0474-4
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. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||