Syntactic detection of process divergence and non-local choice in message sequence charts (1997)
| Venue: | Proc. Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems TACAS'97 |
| Citations: | 61 - 4 self |
BibTeX
@INPROCEEDINGS{Ben-Abdallah97syntacticdetection,
author = {Hanene Ben-Abdallah and Stefan Leue},
title = {Syntactic detection of process divergence and non-local choice in message sequence charts},
booktitle = {Proc. Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems TACAS'97},
year = {1997},
pages = {259--274},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. Message Sequence Charts (MSCs) are increasingly used in software engineering methodologies and tools to capture, for instance, system requirements, test scenarios, and simulation traces. They have been standardized by ITU-T in Recommendation Z.120 [IT96]. However, various aspects of environment behavior remain underspecified in MSCs, e.g., the presence of resources for inter-process communication and the coordination of concurrent processes at points of control branching. Such underspecifications can result in ambiguities in an MSC specification and discrepancies between an MSC specification and its implementation. In this paper we characterize two consequences of harmful underspecifications: process divergence and non-local branching choice. We also present two syntax-based analysis algorithms that detect both problems. 1
