Regular collections of Message Sequence Charts (2000) [23 citations — 2 self]
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Henriksen00regularcollections,author = {Jesper G. Henriksen and Madhavan Mukund and K. Narayan Kumar and P. S. Thiagarajan},
title = {Regular collections of Message Sequence Charts},
booktitle = {In Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science(MFCS’2000), volume 1893 of Lect. Notes in Comp. Sci},
year = {2000},
pages = {405--414},
publisher = {Springer}
}
Years of Citing Articles
Abstract:
Abstract. Message Sequence Charts (MSCs) are an attractive visual formalism used during the early stages of design in domains such as telecommunication software. A popular mechanism for generating a collection of MSCs is a Hierarchical Message Sequence Chart (HMSC). However, not all HMSCs describe collections of MSCs that can be "realized" as a finite-state device. Our main goal is to pin down this notion of realizability. We propose an independent notion of regularity for collections of MSCs and explore its basic properties. In particular, we characterize regular collections of MSCs in terms of finite-state distributed automata called bounded message-passing automata, in which a set of sequential processes communicate with each other asynchronously over bounded FIFO channels. We also provide a logical characterization in terms of a natural monadic second-order logic interpreted over MSCs. It turns out that realizable collections of MSCs as specified by HMSCs constitute a strict subclass of the regular collections of MSCs. 1
