Title of article :
Inference of Message Sequence Charts
Author/Authors :
Alur، Rajeev نويسنده , , Etessami، Kousha نويسنده , , Yannakakis، Mihalis نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2003
Pages :
-622
From page :
623
To page :
0
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 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.
Keywords :
natural convection , Analytical and numerical techniques , heat transfer
Journal title :
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Serial Year :
2003
Journal title :
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Record number :
98625
Link To Document :
بازگشت