Message Sequence Charts (MSCs) are a graphical language for the description of scenarios in terms of message exchanges between communicating components in a distributed environment. The language has been standardised by the ITU and given a formal semantics by means of a process algebra. In this paper, we review a design anomaly, called race condition, in an MSC specification and argue that the current solution correcting race conditions is too weak when implementation is considered. In this paper, we provide an algorithm on partial orders as our solution. The result is a strengthened partial order, which is race-free and remains race-free in the implementation. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Chen, C. A., Kalvala, S., & Sinclair, J. (2005). Race conditions in message sequence charts. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3780 LNCS, pp. 195–211). Springer Verlag. https://doi.org/10.1007/11575467_14
Mendeley helps you to discover research relevant for your work.