A Theory of Discrete Event Systems as a Foundation for Component-Based Software Engineering/Une théorie des systèmes à événements discrets comme base à l'ingénierie du logiciel

作为基于组件的软件工程基础的离散事件系统理论/Une théorie des systèmes à événements discrete comme base à lingénierie dulogiciel

基本信息

  • 批准号:
    41803-2013
  • 负责人:
  • 金额:
    $ 1.82万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Grants Program - Individual
  • 财政年份:
    2015
  • 资助国家:
    加拿大
  • 起止时间:
    2015-01-01 至 2016-12-31
  • 项目状态:
    已结题

项目摘要

There are two ways to consider programming: as an art and as a science. The latter way cannot be done without theories, in particular when the component-based software development approach is used to cope with the complexity of modern software systems, which are built by assembling reusable components. Since control constitutes an important part of a component, it is natural to apply the principle of separation of concerns, such that control explicitly appears, and exploit a control theory to solve the underlying control problems. Therefore, the ever-increasing influence of formal methods combined with software evolution requires reexamining current component models and hierarchical control theories to provide better tools for system developers. In this perspective, the main goal of this research program is to develop formal methods to lay foundations for a new theoretical framework for component-based software engineering, which will be centered around mathematically-based control theories, with applications in service-oriented computing and networks of autonomous agents. The main obstacle is to find formal component models and hierarchical control theories that perfectly fit in order to keep the balance between theory and practice. This research will contribute to make formal methods more scalable to real software applications and increase safety, security and quality of service in software solutions.
有两种方式来考虑编程:作为一门艺术和作为一门科学。后一种方法不能没有理论,特别是当基于组件的软件开发方法是用来科普现代软件系统的复杂性,这是通过组装可重用组件。由于控制构成了组件的重要组成部分,因此很自然地应用关注点分离的原则,使得控制显式地出现,并利用控制理论来解决潜在的控制问题。因此,形式化方法与软件演化相结合的影响力越来越大,需要重新审视当前的组件模型和分层控制理论,为系统开发人员提供更好的工具。从这个角度来看,本研究计划的主要目标是开发正式的方法,奠定基础,为基于组件的软件工程,这将是围绕基于控制理论,在面向服务的计算和网络的应用程序的自主代理的新的理论框架。主要的障碍是找到形式化的组件模型和完全适合的分层控制理论,以保持理论和实践之间的平衡。这项研究将有助于使正式的方法更可扩展到真实的软件应用程序,并提高安全性,安全性和服务质量的软件解决方案。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

StDenis, Richard其他文献

StDenis, Richard的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('StDenis, Richard', 18)}}的其他基金

A Theory of Discrete Event Systems as a Foundation for Component-Based Software Engineering/Une théorie des systèmes à événements discrets comme base à l'ingénierie du logiciel
作为基于组件的软件工程基础的离散事件系统理论/Une théorie des systèmes à événements discrete comme base à lingénierie dulogiciel
  • 批准号:
    41803-2013
  • 财政年份:
    2017
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual
A Theory of Discrete Event Systems as a Foundation for Component-Based Software Engineering/Une théorie des systèmes à événements discrets comme base à l'ingénierie du logiciel
作为基于组件的软件工程基础的离散事件系统理论/Une théorie des systèmes à événements discrete comme base à lingénierie dulogiciel
  • 批准号:
    41803-2013
  • 财政年份:
    2016
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual
A Theory of Discrete Event Systems as a Foundation for Component-Based Software Engineering/Une théorie des systèmes à événements discrets comme base à l'ingénierie du logiciel
作为基于组件的软件工程基础的离散事件系统理论/Une théorie des systèmes à événements discrete comme base à lingénierie dulogiciel
  • 批准号:
    41803-2013
  • 财政年份:
    2014
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual
A Theory of Discrete Event Systems as a Foundation for Component-Based Software Engineering/Une théorie des systèmes à événements discrets comme base à l'ingénierie du logiciel
作为基于组件的软件工程基础的离散事件系统理论/Une théorie des systèmes à événements discrete comme base à lingénierie dulogiciel
  • 批准号:
    41803-2013
  • 财政年份:
    2013
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual
Controller synthesis for infinite-state systems / synthese de controleurs pour des systemes a espace d'états infini
无限状态系统的控制器综合/synthese de controleurs pour des systemes a espace détats infini
  • 批准号:
    41803-2008
  • 财政年份:
    2012
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual
Controller synthesis for infinite-state systems / synthese de controleurs pour des systemes a espace d'états infini
无限状态系统的控制器综合/synthese de controleurs pour des systemes a espace détats infini
  • 批准号:
    41803-2008
  • 财政年份:
    2011
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual
Controller synthesis for infinite-state systems / synthese de controleurs pour des systemes a espace d'états infini
无限状态系统的控制器综合/synthese de controleurs pour des systemes a espace détats infini
  • 批准号:
    41803-2008
  • 财政年份:
    2010
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual
Controller synthesis for infinite-state systems / synthese de controleurs pour des systemes a espace d'états infini
无限状态系统的控制器综合/synthese de controleurs pour des systemes a espace détats infini
  • 批准号:
    41803-2008
  • 财政年份:
    2009
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual
Controller synthesis for infinite-state systems / synthese de controleurs pour des systemes a espace d'états infini
无限状态系统的控制器综合/synthese de controleurs pour des systemes a espace détats infini
  • 批准号:
    41803-2008
  • 财政年份:
    2008
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual
Virtual manufacturing processes/procédés de fabrication virtuels
虚拟制造流程/procédés de Manufacturing badls
  • 批准号:
    41803-2003
  • 财政年份:
    2007
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual

相似海外基金

Automatic Generation of Discrete Optimization Model Using Input and Output Data Based on Discrete Event Systems Theory
基于离散事件系统理论的输入输出数据自动生成离散优化模型
  • 批准号:
    17K18951
  • 财政年份:
    2017
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Grant-in-Aid for Challenging Research (Exploratory)
A Theory of Discrete Event Systems as a Foundation for Component-Based Software Engineering/Une théorie des systèmes à événements discrets comme base à l'ingénierie du logiciel
作为基于组件的软件工程基础的离散事件系统理论/Une théorie des systèmes à événements discrete comme base à lingénierie dulogiciel
  • 批准号:
    41803-2013
  • 财政年份:
    2017
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual
A Theory of Discrete Event Systems as a Foundation for Component-Based Software Engineering/Une théorie des systèmes à événements discrets comme base à l'ingénierie du logiciel
作为基于组件的软件工程基础的离散事件系统理论/Une théorie des systèmes à événements discrete comme base à lingénierie dulogiciel
  • 批准号:
    41803-2013
  • 财政年份:
    2016
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual
A Theory of Discrete Event Systems as a Foundation for Component-Based Software Engineering/Une théorie des systèmes à événements discrets comme base à l'ingénierie du logiciel
作为基于组件的软件工程基础的离散事件系统理论/Une théorie des systèmes à événements discrete comme base à lingénierie dulogiciel
  • 批准号:
    41803-2013
  • 财政年份:
    2014
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual
A Theory of Discrete Event Systems as a Foundation for Component-Based Software Engineering/Une théorie des systèmes à événements discrets comme base à l'ingénierie du logiciel
作为基于组件的软件工程基础的离散事件系统理论/Une théorie des systèmes à événements discrete comme base à lingénierie dulogiciel
  • 批准号:
    41803-2013
  • 财政年份:
    2013
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual
Extending and applying discrete-event system theory to emergency and essential services
将离散事件系统理论扩展到紧急和基本服务
  • 批准号:
    348714-2007
  • 财政年份:
    2008
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Postgraduate Scholarships - Doctoral
Extending and applying discrete-event system theory to emergency and essential services
将离散事件系统理论扩展到紧急和基本服务
  • 批准号:
    348714-2007
  • 财政年份:
    2007
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Postgraduate Scholarships - Doctoral
SoD: A Normative Theory for the Design of Discrete Event Dynamic Systems for Supervisory Control
SoD:用于监督控制的离散事件动态系统设计的规范理论
  • 批准号:
    0437415
  • 财政年份:
    2005
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Standard Grant
Design of Power-Aware Supervisor for Embedded Control Systems Based on Discrete Event Systems Theory
基于离散事件系统理论的嵌入式控制系统功耗感知监控器设计
  • 批准号:
    17360198
  • 财政年份:
    2005
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Discrete-event control theory and hybrid systems
离散事件控制理论和混合系统
  • 批准号:
    138887-1996
  • 财政年份:
    1999
  • 资助金额:
    $ 1.82万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了