Checking consistency of SDL+MSC specifications

D’Souza, Deepak ; Mukund, Madhavan (2003) Checking consistency of SDL+MSC specifications In: 10th International SPIN Workshop on Model Checking of Software, 09-10 May 2003, Portland, Oregon.

Full text not available from this repository.

Official URL: https://link.springer.com/chapter/10.1007/3-540-44...

Related URL: http://dx.doi.org/10.1007/3-540-44829-2_10

Abstract

We consider the problem of checking whether a distributed system described in SDL is consistent with a set of MSCs that constrain the interaction between the processes. In general, the MSC constraints may be both positive and negative. The system should execute all the positive scenarios “sensibly”. On the other hand, the negative MSCs rule out some interactions as illegal. We would then like to verify that all the remaining legal interactions satisfy a desired global property, specified in linear-time temporal logic. We outline an approach to solve this problem using Spin, building in a modular way on existing tools.

Item Type:Conference or Workshop Item (Paper)
Source:Copyright of this article belongs to Springer-Verlag.
Keywords:Check Consistency; Communication Pattern; Linear Temporal Logic; Message Type; Monitor Process
ID Code:114207
Deposited On:25 May 2018 04:55
Last Modified:25 May 2018 04:55

Repository Staff Only: item control page