An analyzer for message sequence charts Export

@incollection{citeulike:3429814, abstract = {Message sequence charts (MSCs) are used in the design phase of a distributed system to record intended system behaviors. They serve as informal documentation of design requirements that are referred to throughout the design process and even in the final system integration and acceptance testing. We show that message sequence charts are open to a variety of semantic interpretations. The meaning of an MSC can depend on, for instance, whether one allows or denies the possibility of message loss or message overtaking, and on the particulars of the message queuing policy to be adopted.}, author = {Alur, Rajeev and Holzmann, Gerard and Peled, Doron}, citeulike-article-id = {3429814}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/3-540-61042-1_37}, doi = {10.1007/3-540-61042-1_37}, journal = {Tools and Algorithms for the Construction and Analysis of Systems}, keywords = {checking, model, msc}, pages = {35--48}, posted-at = {2008-10-20 04:11:28}, priority = {0}, title = {An analyzer for message sequence charts}, url = {http://dx.doi.org/10.1007/3-540-61042-1_37}, year = {1996} }

TY - CHAP ID - citeulike:3429814 L3 - citeulike-article-id:3429814 N2 - Message sequence charts (MSCs) are used in the design phase of a distributed system to record intended system behaviors. They serve as informal documentation of design requirements that are referred to throughout the design process and even in the final system integration and acceptance testing. We show that message sequence charts are open to a variety of semantic interpretations. The meaning of an MSC can depend on, for instance, whether one allows or denies the possibility of message loss or message overtaking, and on the particulars of the message queuing policy to be adopted. JF - Tools and Algorithms for the Construction and Analysis of Systems EP - 48 TI - An analyzer for message sequence charts SP - 35 KW - checking KW - model KW - msc AU - Alur, Rajeev AU - Holzmann, Gerard AU - Peled, Doron PY - 1996/// UR - http://dx.doi.org/10.1007/3-540-61042-1_37 ER -