基于场景规约的Web Service组合行为获取与验证研究
批准号：
60673125
项目类别：
面上项目
资助金额：
22.0 万元
负责人：
李宣东
依托单位：
学科分类：
软件理论、软件工程与服务
结题年份：
2009
批准年份：
2006
项目状态：
已结题
项目参与者：
张岩、于笑丰、张天、卜磊、丘晓康、徐伟、柳溪、潘敏学
项目摘要
结项摘要
项目成果
李宣东的其他基金
相似基金
相关文献
中文摘要
本项目采用以消息交互为主要特征的建模语言，从行为的层次探索Web Services组合行为的获取与验证。用基于场景的规约（Scenario-Based Specifications）描述服务需求，用接口自动机（Interface Automata）作为服务的形式模型。研究内容包括构造编导性的服务（Orchestration Services）从服务组合中获取所需要的行为，避开服务组合中不需要的、非法的行为，从不兼容的服务组合中最大限度地抽取可用行为；设计算法和工具判定服务组合中是否存在满足基于场景规约的行为，是否存在不需要的行为，是否存在不安全的行为。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
DOI：
--
发表时间：
--
期刊：
《计算机学报》
影响因子：
--
作者：
[杨璐, 柳溪, 王林章, 陈鑫, 李宣东]
通讯作者：
李宣东
DOI：
10.1093/comjnl/bxm057
发表时间：
2009-08
期刊：
Comput. J.
影响因子：
--
作者：
[Mingsong Chen;Xiaokang Qiu;W. Xu;Linzhang Wang;Jianhua Zhao;Xuandong Li]
通讯作者：
Mingsong Chen;Xiaokang Qiu;W. Xu;Linzhang Wang;Jianhua Zhao;Xuandong Li
DOI：
--
发表时间：
--
期刊：
《软件学报》，Vol.18, No.1，2007
影响因子：
--
作者：
[张岩, 胡军, 于笑丰, 张天, 李宣]
通讯作者：
李宣
DOI：
10.1007/s10796-007-9042-7
发表时间：
2006-10
期刊：
Information Systems Frontiers
影响因子：
5.9
作者：
[Xiaofeng Yu;Yan Zhang;Tian Zhang;Linzhang Wang;Jun Hu;Jianhua Zhao;Xuandong Li]
通讯作者：
Xiaofeng Yu;Yan Zhang;Tian Zhang;Linzhang Wang;Jun Hu;Jianhua Zhao;Xuandong Li
国家自然科学基金委员会计算机学科系统与软件“十四五”发展规划研究
-
批准号：--
-
项目类别：专项基金项目
-
资助金额：16万元
-
批准年份：2019
-
负责人：李宣东
-
依托单位：
基于符号执行的复杂软件系统测试与验证研究
-
批准号：61632015
-
项目类别：重点项目
-
资助金额：255.0万元
-
批准年份：2016
-
负责人：李宣东
-
依托单位：
基于认识与理解途径的软件可信性度量与评估体系及支撑技术研究
-
批准号：90818022
-
项目类别：重大研究计划
-
资助金额：260.0万元
-
批准年份：2008
-
负责人：李宣东
-
依托单位：
实时和混成系统的组合模型验证研究
-
批准号：60073031
-
项目类别：面上项目
-
资助金额：15.0万元
-
批准年份：2000
-
负责人：李宣东
-
依托单位：
实时和混成系统的模型确认算法及工具的研究
-
批准号：69703009
-
项目类别：青年科学基金项目
-
资助金额：10.0万元
-
批准年份：1997
-
负责人：李宣东
-
依托单位：
国内基金
海外基金