• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Symposium on Computer and Information Sciences(ISCIS 2005); 20051026-28; Istanbul(TR) >Recovering the Lattice of Repetitive Sub-functions
【24h】

Recovering the Lattice of Repetitive Sub-functions

机译：恢复重复子功能的格

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

摘要

Given a set of observations of an existing concurrent system with repetitive sub-functions, we consider the construction of an MSC graph representing the functionality of the concurrent system. We first introduce a formal structure that we call" lattice of repetitive sub-functions" . This lattice provides us with a global view of all the repetitive sub-functions of the system and all the compatible observations. Using the lattice, we are able to propose an algorithm that constructs the MSC graph representation of the system functionality in a more general context than in previously published work.
机译：给定对具有重复子功能的现有并发系统的一组观察结果，我们考虑构建表示并发系统功能的MSC图。我们首先介绍一种形式结构，我们称其为“重复子功能格”。该格子为我们提供了系统所有重复子功能以及所有兼容观测值的全局视图。使用晶格，我们能够提出一种算法，该算法在比以前发表的工作更一般的上下文中构造系统功能的MSC图表示。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号