Dynamic composition of systems and services
Dynamic composition of systems and services
批准号:
122224-2011
负责人:
Dssouli, Rachida
金额:
$1.46万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2012
资助国家:
加拿大
项目状态:
已结题
起止时间:
2012-01-01 至 2013-12-31
中文摘要
本研究建议的主要目标是促进日益增长的研究活动,在考虑到他们的礼仪和语义领域的系统的组成。更准确地说,目标是生成有效的系统组合,在运行时保持所需的特性。在这个项目中,我们将集中在系统的服务,Web服务作为一种手段,高层次的系统的组合,和移动的服务组合。
英文摘要
The main objective of this research proposal is to contribute to the growing research activities in the domain of systems' composition taking into account their proprieties and semantics. More precisely, the aim is to generate valid compositions of systems that preserve desirable proprieties at run time. In this project we will be focusing on systems' services, web services as a mean of high level systems' composition, and mobile service composition.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Service composition testing and verification
-
批准号:RGPIN-2018-06796
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2022
-
负责人:Dssouli, Rachida
-
依托单位:
Service composition testing and verification
-
批准号:RGPIN-2018-06796
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2021
-
负责人:Dssouli, Rachida
-
依托单位:
Service composition testing and verification
-
批准号:RGPIN-2018-06796
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2020
-
负责人:Dssouli, Rachida
-
依托单位:
Service composition testing and verification
-
批准号:RGPIN-2018-06796
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2019
-
负责人:Dssouli, Rachida
-
依托单位:
Service composition testing and verification
-
批准号:RGPIN-2018-06796
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2018
-
负责人:Dssouli, Rachida
-
依托单位:
Specification and verification of design models for certifiable avionics software
-
批准号:463076-2014
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$4.37万
-
财政年份:2017
-
负责人:Dssouli, Rachida
-
依托单位:
Specification and verification of design models for certifiable avionics software
-
批准号:463076-2014
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$4.37万
-
财政年份:2016
-
负责人:Dssouli, Rachida
-
依托单位:
Dynamic composition of systems and services
-
批准号:122224-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2015
-
负责人:Dssouli, Rachida
-
依托单位:
Dynamic composition of systems and services
-
批准号:122224-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2014
-
负责人:Dssouli, Rachida
-
依托单位:
Specification and verification of design models for certifiable avionics software
-
批准号:463076-2014
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$4.3万
-
财政年份:2014
-
负责人:Dssouli, Rachida
-
依托单位:
Dynamic composition of systems and services
-
批准号:122224-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2013
-
负责人:Dssouli, Rachida
-
依托单位:
Dynamic composition of systems and services
-
批准号:122224-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2011
-
负责人:Dssouli, Rachida
-
依托单位:
Communication software engineering based on formal methods
-
批准号:122224-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.43万
-
财政年份:2010
-
负责人:Dssouli, Rachida
-
依托单位:
Communication software engineering based on formal methods
-
批准号:122224-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.43万
-
财政年份:2009
-
负责人:Dssouli, Rachida
-
依托单位:
Communication software engineering based on formal methods
-
批准号:122224-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.43万
-
财政年份:2008
-
负责人:Dssouli, Rachida
-
依托单位:
Communication software engineering based on formal methods
-
批准号:122224-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.43万
-
财政年份:2007
-
负责人:Dssouli, Rachida
-
依托单位:
Communication software engineering based on formal methods
-
批准号:122224-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.43万
-
财政年份:2006
-
负责人:Dssouli, Rachida
-
依托单位:
Systematic creation and testing of communication services: quality driven methods
-
批准号:122224-2000
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2005
-
负责人:Dssouli, Rachida
-
依托单位:
Systematic creation and testing of communication services: quality driven methods
-
批准号:122224-2000
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2004
-
负责人:Dssouli, Rachida
-
依托单位:
Systematic creation and testing of communication services: quality driven methods
-
批准号:122224-2000
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2003
-
负责人:Dssouli, Rachida
-
依托单位:
国内基金
海外基金
高维及无限维区域上函数空间的算子论及相关调和分析
-
批准号:12071134
-
项目类别:面上项目
-
资助金额:51.0万元
-
批准年份:2020
-
负责人:黄寒松
-
依托单位:
解析Sobolev空间上的算子理论
-
批准号:12071155
-
项目类别:面上项目
-
资助金额:51.0万元
-
批准年份:2020
-
负责人:曹广福
-
依托单位:
解析函数空间上加权复合算子和广义Hilbert算子若干问题的研究
-
批准号:11801219
-
项目类别:青年科学基金项目
-
资助金额:22.0万元
-
批准年份:2018
-
负责人:胡晴华
-
依托单位: