Inference of message sequence charts

Rajeev Alur, Kousha Etessami, Mihalis Yannakakis

Abstract

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 one 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?

BibTeX

@inproceedings{Alur-al:ICSE00,
  author    = {Rajeev Alur and
               Kousha Etessami and
               Mihalis Yannakakis},
  title     = {Inference of message sequence charts},
  booktitle = {ICSE},
  pages     = {304--313},
  publisher = {{ACM}},
  year      = {2000},
}

Inference of message sequence charts

Abstract

Related papers