Causal Closure for MSC Languages
Causal Closure for MSC Languages
复制标题
MSC 语言的因果闭合
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Vasumathi K. Narayanan
中科院分区：
文献类型：
--
作者：
B. Adsul;Madhavan Mukund;K. Kumar;Vasumathi K. Narayanan
消息序列图（MSC）通常用于指定通信系统中代理之间的交互作用。
一个这样的问题是暗示的方案 - 一组MSC可能暗示与给定集“本地一致”的新MSC，如果在每个过程中定义了局部一致性，则是不可能发现的。即使对于常规的MSC语言，MSC的MSC也关闭了[3]。
我们基于过程的灾难性观点引入了一个称为因果关系的本地一致性的新自然概念，即它直接或间接地通过其行动来收集的所有信息。关于暗示的方案，Modulo因果关系封闭是常规MSC语言的决定。
Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing scenarios, but also leads to ambiguities that can result in incomplete or inconsistent descriptions.
One such problem is that of implied scenarios—a set of MSCs may imply new MSCs which are “locally consistent” with the given set. If local consistency is defined in terms of local projections of actions along each process, it is undecidable whether a set of MSCs is closed with respect to implied scenarios, even for regular MSC languages [3].
We introduce a new and natural notion of local consistency called causal closure, based on the causal view of a process—all the information it collects, directly or indirectly, through its actions. Our main result is that checking whether a set of MSCs is closed with respect to implied scenarios modulo causal closure is decidable for regular MSC languages.