位置：立项数据库 > 立项详情页
服务计算的开放软件模型与协同机理研究
  • 项目名称：服务计算的开放软件模型与协同机理研究
  • 项目类别：重点项目
  • 批准号：60736015
  • 申请代码：F0202
  • 项目来源：国家自然科学基金
  • 研究期限：2008-01-01-2011-12-31
  • 项目负责人：吕建
  • 负责人职称：教授
  • 依托单位：南京大学
  • 批准年度：2007
中文摘要：

本项目针对Internet开放环境下的资源共享与集成对软件技术与平台提出的挑战，提出了一种网构化的软件范型，并将其应用于服务计算，得到一种从服务开发、集成协同、演化适应、以及可信使用四个层面体现服务计算理念的松耦合服务计算模型；在复杂环境的高效感知、基于环境建模的软件服务描述发现与组合、软件系统的无缝演化、综合化的服务系统可信保障和基于进程代数的服务组合的原子性分析等关键技术研究方面取得了进展，开发了包括可信自适应软件中间件ARTEMIS-TEC、软件无缝演化支撑平台ARTEMIS-AWARE等多个原型系统，可为开放环境下的松耦合服务计算应用系统的开发和运行提供支持，也为后续研究工作提供了平台和基础。在《中国科学》、《ACM TOSEM》、《IEEE TSE》等国内外重要刊物和ICSE、FSE等著名国际会议发表论文90余篇，得到国内外同行的关注与引用；申请国家发明专利18项，其中已授权2项；课题组成员多次应邀在国内外重要会议上做主题报告和大会报告。相关成果获2011年度国家科技进步二等奖（已公告）与2010年度教育部技术发明一等奖。

中文主题词： 服务计算; 网构软件; 软件在线演化; 情境感知; 可信
结论摘要：

英文主题词Service Computing; Internetware; Online Software Evolution; Context-Aware Computing; Trust

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 56
  • 63
  • 9
  • 2
  • 0
期刊论文
Ontology patterns for service-oriented software development
过程感知信息系统中过程的动态演化
基于Skyline和局部选择的启发式服务组合方法
一种基于动态语境组装的分布式构件框架的设计与实现
Web服务组合动态演化的实例可迁移性
A collaborative scheduling approach for service-driven scientific workflow execution
Partial Constraint Checking for Context Consistency in Pervasive Computing
Cooperative cache consistency maintenance for pervasive internet access
一种图文法制导的软件体系结构开发环境Artemis-GADE
面向可信服务选取的基于声誉的推荐者发现方法
Artemis-COOR:一个基于Agent的软件动态协同支撑平台
开放环境特性感知技术
A QoS-Aware Service Evaluation Method for Co-Selecting a Shared Service-extension
A QoS-Aware Composition Method Supporting Cross-Platform Service Invocation in Cloud Environment
A QoS-Aware Service Discovery Method for Elastic Cloud Computing in an Unstructured P2P Network
A Petri net-based approach for supporting aspect-oriented modeling
On environment-driven software model for Internetware
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix I
面向服务的建模:一种全过程复用的方法
软件服务多模式交互中间件模型及其支撑技术
需求驱动的服务Agent协作及其协商框架
Web Services Composing by Multiagent Negotiation
面向网构软件的环境驱动模型与支撑技术研究
基于图文法的动态软件体系结构支撑环境
A trust-based approach to estimating the confidence of the software system in open environments
Atomicity Analysis of Service Composition across Organizations
A workflow framework for intelligent service composition
一种基于QoS剪枝的Top-k自动服务组合方法
一种基于不变量的从工作流网到PERT图的转换方法
跨组织协同中基于局部服务质量优化的Web服务组合方法
层次化网关转发的agent迁移技术与应用
智能空间的资源管理及其应用研究
知识引导的软件可信性需求的提取
基于知识的软件可信性需求获取
一个描述可视化语言上下文属性化的图文法框架
ARDF：一种用于应用迁移的资源描述框架
会议论文
Combining local optimization and enumeration for QoS-aware web service composition
An internetware based approach to building web page integration applications for mobile devices
Assignment Problem in Requirements Driven Agent Collaboration and its Implementation
Lessons learnt in building a real-world body area sensor network system
A QoS-aware web service selection method based on credibility evaluation
ESPar: Mining Emerging Sequential Patterns for Activity Recognition in Wireless Body Sensor Networks
An Agent-Based Framework Supporting Trust Evaluation for Service Selection
A Trust Measurement Mechanism for Service Agents
A modeling approach for service-oriented application based on extensive reuse
Mining emerging patterns for recognizing activities of multiple users in pervasive computing
epSICAR: An Emerging Patterns based Approach to Sequential, Interleaved and Concurrent Activity Reco
Requirement Driven Agent Collaboration and QoS based Negotiation
Internetware: A shift of software paradigm
Service Discovery and Substitution according to Inheritance of Behavior with Invariant Analysis
A QoS-aware service selection approach on P2P network for dynamic cross-organizational workflow deve
A global QoS-driven evaluation strategy for web services composition
A dynamic trust network based simulation framework for reputation-based service selection
Privacy protection in participatory sensing applications requiring fine-grained locations
A lattice-theoretic approach to runtime property detection for pervasive context
Concurrent Event Detection for Asynchronous Consistency Checking of Pervasive Context
A broker-assisting trust and reputation system based on artificial neural network
A runtime architecture-based approach for the dynamic evolution of distributed component-based syste
Refactoring and publishing WS-BPEL processes to obtain more partners
A history record-based service optimization method for QoS-aware service composition
Unifying Domain Ontology with Agent-Oriented Modeling of Services
A Survey on Common Vulnerabilities in Reputation Systems
Artemis-FollowMe: an Agent-based Middleware for Mobile Context-aware Applications
Minimizing the Side Effect of Context Inconsistency Resolution for Ubiquitous Computing
A QoS evaluation method for personalized service requests
A QoS-aware service evaluation method for co-selecting a shared service
Version-consistent dynamic reconfiguration of component-based distributed systems
Comparing linkage graph and activity graph of online social networks
An analytical model for broadcasting by self pruning in wireless ad hoc networks
A framework for agent-based service-oriented modelling
A personalized trust-based approach for service selection in internetwares
Inter-context control-flow and data-flow test adequacy criteria for nesC applications
A Petri net-based approach for supporting aspect-oriented modeling
Towards the complexity of controls for timed automata with a small number of clocks
An agent-based trust model for service-oriented systems
Toward a model-based approach to dynamic adaptation of composite services
Variability model and management for web service: a petri net based approach
Order Constraints for Multi-view Software Process Model
How and How Much Should We Disclose?
Heuristics-based strategies for resolving context inconsistencies in pervasive computing application
A Personalized Trust-based Approach for Service Selection in Internetwares
Timed modeling and verification of BPEL processes using time Petri nets
Sensor-Based Human Activity Recognition in a Multi-user Scenario
Constructing Confluent Context-sensitive Graph Grammars from Non-confluent Productions for Parsing E
Cluster filtered KNN: A WLAN-based indoor positioning scheme
A probabilistic approach to consistency checking for pervasive context
QoS-Aware Service Selection Using QDG for B2B Collaboration
Probe: A system for context collection, dissemination and processing
Building a real-world body area sensor network system
Detection of behavioral contextual properties in asynchronous pervasive computing environments
Preserving data flow correctness in process adaptation
A QoS-optimal automatic service composition method based on backtracting theory
A QoS-aware exception handling method in scientific workflow execution
Towards analysis of semi-Markov decision processes
A comprehensive evaluation method for cross-organizational service selection
Middleware support for context-awareness in asynchronous pervasive computing environments
Detecting atomic-set serializability violations in multi-threaded programs through active randomized
Semantic approach for service oriented requirements modeling
Service-oriented modeling: An extensive reuse method
专利
一种基于抽象格结构的异步普适计算环境感知方法
一种面向软件中间件的智能决策支撑框架及其工作方法
一种基于逻辑时钟的智能空间感知方法
一种基于移动代理的应用无缝迁移方法
一种基于软件主体的环境探知平台系统及其环境探知方法
工作流执行中基于服务质量的异常处理方法
一种基于信任管理的面向Web服务的工作流编辑方法
支持弹性云计算平台开发的资源外包方法
网络系统中SOA架构下基于服务质量的服务组合方法
获奖
网构化软件关键技术、平台与应用
网构软件技术、平台与应用
相关项目
网构软件体系结构建模与检测的方法和技术研究
期刊论文 13 会议论文 7
泛在环境下基于情境感知的信息多维推荐服务模型与实现研究
期刊论文 17 著作 1
面向网构软件的情境感知和自适应体系结构研究
期刊论文 11 会议论文 11
基于服务的信息物理融合系统软件结构建模方法
期刊论文 71 会议论文 22
面向Internet的软件方法与技术研究
期刊论文 134 会议论文 96 获奖 18 专利 78 著作 1
随机QoS感知的服务计算风险管理研究
期刊论文 30 会议论文 15 著作 1
面向终端用户的情境化服务构造与演化关键技术研究
期刊论文 9 会议论文 10 获奖 2
基于服务计算的一类不可分解调度问题自适应算法
期刊论文 28 会议论文 13
高可靠服务组合快速优化方法研究
期刊论文 30
吕建的项目
第一届“中国-美国-欧洲”联合研讨会
　面向Internet的软件方法与技术研究
可信软件理论、方法集成与综合试验平台
期刊论文 47
层次式面向对象并行应用框架技术的研究
第三届平行和分布式处理及其应用国际学术会议
面向Internet的软件方法与技术研究
期刊论文 134 会议论文 96 获奖 18 专利 78 著作 1
面向Internet的软件方法与技术研究
期刊论文 53
计算机软件
软件Agent的软件服务协同模式与中间件技术研究
期刊论文 8
面向Internet的软件方法与技术研究
期刊论文 167 会议论文 54 专利 34