• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International Journal of Innovative Computing Information and Control >COMPONENTWISE MODELLING AND SYNTHESIS OF DYNAMIC INTERACTIVE SYSTEMS USING THE EQUIVALENT TRANSFORMATION FRAMEWORK
【24h】

COMPONENTWISE MODELLING AND SYNTHESIS OF DYNAMIC INTERACTIVE SYSTEMS USING THE EQUIVALENT TRANSFORMATION FRAMEWORK

机译：等效变换框架的动力学交互系统组件建模与综合

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

摘要

The development and maintenance of Concurrent Systems, Reactive Systems and Dynamic Systems, remain fraught with challenges attributable to factors such as: 1) the tendency of concurrently executing processes to interact in unforeseen ways; 2) the necessity for Reactive Systems to facilitate continuous interactions with their environments and; 3) the constantly changing internal states of Dynamic Systems. It turns out that all three types of systems consist of a common subset, which accounts for most of the challenges. We term systems falling into this common subset, Dynamic Interactive Systems (DISs). We propose an incremental, componentwise, correct-by-construction approach to DIS development, using Equivalent Transformation (ET). This facilitates the construction of comprehensible DISs by decomposing global analysis of the DIS into local analysis of each component and its feasible interactions. To this end, we introduce two small, uniform, sets of ET rule types for comprehensively specifying DIS components, and their interaction patterns. We also outline our synthesis technique in which the properties of the model are reliably transferred to the actual implementation code. Finally, we demonstrate the efficacy of our approach by modelling and synthesizing a fully functional Web-based interactive application.
机译：并发系统，无功系统和动态系统的开发和维护仍然面临诸多挑战，这些挑战归因于以下因素：1）并发执行流程以无法预料的方式进行交互的趋势； 2）反应系统促进与环境连续交互的必要性；以及3）动态系统不断变化的内部状态。事实证明，这三种类型的系统都由一个公共子集组成，这是大多数挑战的原因。我们将属于这种常见子集的系统称为动态交互系统（DIS）。我们提出了一种使用等效转换（ET）的增量，逐组件，按构造正确的方法来开发DIS。通过将DIS的全局分析分解为每个组件及其可行相互作用的局部分析，可以方便地构建DIS。为此，我们引入了两个小的，统一的ET规则类型集，以全面指定DIS组件及其交互模式。我们还概述了综合技术，在该综合技术中，模型的属性可以可靠地传输到实际的实现代码中。最后，我们通过建模和综合功能齐全的基于Web的交互式应用程序来证明我们方法的有效性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号