• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Concurrency Theory(CONCUR 2004); 20040831-20040903; London; GB >The Pros and Cons of Netcharts
【24h】

The Pros and Cons of Netcharts

机译：Netcharts的优缺点

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Netcharts have been introduced recently by Mukund et al. in [17]. This new appealing approach to the specification of collections of message sequence charts (MSCs) benefits from a graphical description, a formal semantics based on Petri nets, and an appropriate expressive power. As opposed to high-level MSCs, any regular MSC language is the language of some netchart. Motivated by two open problems raised in [17], we establish in this paper that the questions (ⅰ) whether a given high-level MSC describes some netchart language (ⅱ) whether a given netchart is equivalent to some high-level MSC (ⅲ) whether a given netchart describes a regular MSC language are undecidable. These facts are closely related to our first positive result: We prove that netchart languages are exactly the MSC languages that are implementable by message passing automata up to refinement of message contents. Next we focus on FIFO netcharts: The latter are defined as the netcharts whose executions correspond to all firing sequences of their low-level Petri net. We show that the questions (ⅰ) whether a netchart is a FIFO netchart (ⅱ) whether a FIFO netchart describes a regular MSC language (ⅲ) whether a regular netchart is equivalent to some high-level MSC are decidable.
机译：最近，Mukund等人引入了网络图表。在[17]中。消息序列图（MSC）集合规范的这种新的吸引人的方法得益于图形描述，基于Petri网的形式语义以及适当的表达能力。与高级MSC相对，任何常规MSC语言都是某种网络图表的语言。受[17]中提出的两个开放问题的启发，我们在本文中确定以下问题（ⅰ）给定的高级MSC是否描述某种网表语言（ⅱ）给定的网表是否等效于某些高级MSC（ⅲ ）给定的网状图是否描述了常规的MSC语言是不确定的。这些事实与我们的第一个积极结果紧密相关：我们证明了netchart语言正是MSC语言，可以通过消息传递自动机直至消息内容的细化来实现。接下来，我们关注FIFO网状图：后者定义为其执行对应于其低级Petri网的所有触发序列的网状图。我们表明，可以确定以下问题（whether）网络图是否为FIFO网络图（ⅱ）FIFO网络图是否描述了常规MSC语言（？）常规网图是否等效于某些高级MSC。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号