Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Inference of Message Sequence Charts
Authors: Rajeev Alur ; Kousha Etessami ; Mihalis Yannakakis
Date: 2003
Publication Title:IEEE Transactions on Software Engineering
Publisher:IEEE Computer Society
Publication Type:Journal Article Publication Status:Published
Volume No:29(7) Page Nos:623-633
Software designers draw Message Sequence Charts for early modeling of the individual behaviors they expect from the concurrent system under design. Can they be sure that precisely the behaviors they have described are realizable by some implementation of the components of the concurrent system? If so, can we automatically synthesize concurrent state machines realizing the given MSCs? If, on the other hand, other unspecified and possibly unwanted scenarios are "implied" by their MSCs, can the software designer be automatically warned and provided the implied MSCs? In this paper, we provide a framework in which all these questions are answered positively. We first describe the formal framework within which one can derive implied MSCs and then provide polynomial-time algorithms for implication, realizability, and synthesis.
Links To Paper
1st Link
Bibtex format
author = { Rajeev Alur and Kousha Etessami and Mihalis Yannakakis },
title = {Inference of Message Sequence Charts},
journal = {IEEE Transactions on Software Engineering},
publisher = {IEEE Computer Society},
year = 2003,
volume = {29(7)},
pages = {623-633},
doi = {10.1109/TSE.2003.1214326},
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh