首页> 外文期刊>Science of Computer Programming >Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions
【24h】

Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions

机译:关于周期性采样抽象检查离散系统的多视图一致性

获取原文
获取原文并翻译 | 示例

摘要

In multi-view modeling (MVM) the system under development is described by distinct models, called views, which capture different perspectives of the system. Possible overlaps of the views may give rise to inconsistencies. Following the formal MVM framework of [33], the view consistency problem asks to check the consistency of a given set of views with respect to a given set of abstraction functions. Existing work checks view consistency of discrete systems (transition systems or finite automata) with respect to two types of abstraction functions: (1) projections of state variables and (2) projections of an alphabet of events onto a subalphabet. In this paper, we study view consistency with respect to timing abstractions, specifically, periodic sampling, for automata and transition systems. (C) 2018 Elsevier B.V. All rights reserved.
机译:在多视图建模(MVM)中,正在开发的系统由称为视图的不同模型来描述,这些模型捕获了系统的不同观点。观点的可能重叠可能会导致不一致。按照[33]的正式MVM框架,视图一致性问题要求检查给定视图集相对于给定抽象函数集的一致性。现有的工作检查相对于两种抽象函数查看离散系统(转换系统或有限自动机)的一致性:(1)状态变量的投影和(2)事件字母在子字母上的投影。在本文中,我们针对自动机和过渡系统的时序抽象(特别是周期性采样)研究了视图一致性。 (C)2018 Elsevier B.V.保留所有权利。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号