"Intelligent, Strategic and Verifiable Agent-based Communities of Web Services: Theoretical Foundations and Automation"
“智能、战略性和可验证的基于代理的 Web 服务社区:理论基础和自动化”
基本信息
- 批准号:341422-2012
- 负责人:
- 金额:$ 2.04万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2015
- 资助国家:加拿大
- 起止时间:2015-01-01 至 2016-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Web services are hailed for their role as implementation technology of service computing. The widespread development and use of this technology for Business-to-Customer (B2C) and Business-to-Business (B2B) have recently contributed in identifying an evolutionary way of organizing and deploying web services by gathering the ones having similar functionalities in the same "virtual" space, called Communities of Web Services (CWSs). CWSs permit to create pockets of expertise and settings of both cooperation and competition to provide the users with the best services. To achieve the full potential of this emerging concept, web services are perceived to be equipped, through agents, with semantic information and rich interaction, reasoning, and decision making capabilities so that business contracts and community joining benefits can be negotiated. However, despite recent and numerous initiatives around specifying, engineering, and securing CWSs, several fundamental issues and problems remain unresolved and yet to be addressed, mainly because of lack of rigorous theoretical foundations. To make CWSs the technology of choice for B2C, B2B and e-applications, there is an urgent need to provide researchers and engineers with strong theoretical foundations to support and analyze flexible and efficient interactions, decision making, verification, and security, which are core to the emerging applications. The first aim of this project is to raise the state of the art in service computing from a level where services are simply reactive entities and deployed individually, to a level where they are empowered with semantics and advanced reasoning and strategic decision making capabilities and deployed within communities. The second aim is to advance the research into CWSs from a level where web services and communities are designed in an impromptu way to a level where theoretical foundations are established allowing sound engineering using formal methods and techniques, namely formal economic models, game theory, computational logic, and model checking. The ultimate objective of this project is to contribute in the social and economic development of Canada by contributing in the growth of its service industry.
Web服务因其作为服务计算实现技术的角色而受到欢迎。这种技术在企业对客户(B2C)和企业对企业(B2B)领域的广泛开发和使用,最近有助于确定一种组织和部署web服务的演进方式,方法是将具有相似功能的web服务收集到同一个“虚拟”空间中,称为web服务社区(cws)。CWSs允许创建专业知识和合作和竞争的环境,为用户提供最好的服务。为了实现这个新兴概念的全部潜力,人们认为web服务通过代理配备了语义信息和丰富的交互、推理和决策制定功能,以便可以协商业务合同和社区加入利益。然而,尽管最近有许多关于指定、工程和保护cws的活动,但仍有几个基本问题和问题未得到解决,并且尚未得到解决,这主要是因为缺乏严格的理论基础。为了使cws成为B2C、B2B和电子应用程序的首选技术,迫切需要为研究人员和工程师提供强大的理论基础,以支持和分析灵活高效的交互、决策、验证和安全性,这些都是新兴应用程序的核心。该项目的第一个目标是提升服务计算的技术水平,从服务仅仅是反应性实体并单独部署的水平,提升到服务具有语义、高级推理和战略决策能力并在社区中部署的水平。第二个目标是推进对cws的研究,从一个以即兴方式设计web服务和社区的水平,到一个建立理论基础的水平,允许使用正式的方法和技术进行健全的工程,即正式的经济模型、博弈论、计算逻辑和模型检查。该项目的最终目标是通过促进加拿大服务业的增长,为加拿大的社会和经济发展作出贡献。
项目成果
期刊论文数量(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 }}
Bentahar, Jamal其他文献
Towards Trustworthy Multi-Cloud Services Communities: A Trust-Based Hedonic Coalitional Game
- DOI:
10.1109/tsc.2016.2549019 - 发表时间:
2018-01-01 - 期刊:
- 影响因子:8.1
- 作者:
Wahab, Omar Abdel;Bentahar, Jamal;Mourad, Azzam - 通讯作者:
Mourad, Azzam
A survey on trust and reputation models for Web services: Single, composite, and communities
- DOI:
10.1016/j.dss.2015.04.009 - 发表时间:
2015-06-01 - 期刊:
- 影响因子:7.5
- 作者:
Wahab, Omar Abdel;Bentahar, Jamal;Mourad, Azzam - 通讯作者:
Mourad, Azzam
New Insights Towards Developing Recommender Systems
- DOI:
10.1093/comjnl/bxx056 - 发表时间:
2018-03-01 - 期刊:
- 影响因子:1.4
- 作者:
Taghavi, Mona;Bentahar, Jamal;Hanachi, Chihab - 通讯作者:
Hanachi, Chihab
BigTrustScheduling: Trust-aware big data task scheduling approach in cloud computing environments
- DOI:
10.1016/j.future.2019.11.019 - 发表时间:
2020-09-01 - 期刊:
- 影响因子:7.5
- 作者:
Rjoub, Gaith;Bentahar, Jamal;Wahab, Omar Abdel - 通讯作者:
Wahab, Omar Abdel
Cloud Computing as a Platform for Monetizing Data Services: A Two-Sided Game Business Model
- DOI:
10.1109/tnsm.2021.3128160 - 发表时间:
2022-06-01 - 期刊:
- 影响因子:5.3
- 作者:
Bataineh, Ahmed Saleh;Bentahar, Jamal;El Barachi, May - 通讯作者:
El Barachi, May
Bentahar, Jamal的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Bentahar, Jamal', 18)}}的其他基金
Revolutionary Directions for New Generation of Smart, Trusted and Verifiable Distributed Cloud Services
新一代智能、可信、可验证分布式云服务的革命性方向
- 批准号:
RGPIN-2019-05471 - 财政年份:2022
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
Revolutionary Directions for New Generation of Smart, Trusted and Verifiable Distributed Cloud Services
新一代智能、可信、可验证分布式云服务的革命性方向
- 批准号:
RGPIN-2019-05471 - 财政年份:2021
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
Revolutionary Directions for New Generation of Smart, Trusted and Verifiable Distributed Cloud Services
新一代智能、可信、可验证分布式云服务的革命性方向
- 批准号:
RGPIN-2019-05471 - 财政年份:2020
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
Agent-based Intelligent Messaging Systems, Natural Language Generation, Markov Decision Processes, Verification, Machine Learning
基于代理的智能消息系统、自然语言生成、马尔可夫决策过程、验证、机器学习
- 批准号:
520347-2017 - 财政年份:2019
- 资助金额:
$ 2.04万 - 项目类别:
Collaborative Research and Development Grants
Revolutionary Directions for New Generation of Smart, Trusted and Verifiable Distributed Cloud Services
新一代智能、可信、可验证分布式云服务的革命性方向
- 批准号:
RGPIN-2019-05471 - 财政年份:2019
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
"Intelligent, Strategic and Verifiable Agent-based Communities of Web Services: Theoretical Foundations and Automation"
“智能、战略性和可验证的基于代理的 Web 服务社区:理论基础和自动化”
- 批准号:
341422-2012 - 财政年份:2018
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
Agent-based Intelligent Messaging Systems, Natural Language Generation, Markov Decision Processes, Verification, Machine Learning
基于代理的智能消息系统、自然语言生成、马尔可夫决策过程、验证、机器学习
- 批准号:
520347-2017 - 财政年份:2018
- 资助金额:
$ 2.04万 - 项目类别:
Collaborative Research and Development Grants
"Intelligent, Strategic and Verifiable Agent-based Communities of Web Services: Theoretical Foundations and Automation"
“智能、战略性和可验证的基于代理的 Web 服务社区:理论基础和自动化”
- 批准号:
341422-2012 - 财政年份:2017
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
"Intelligent, Strategic and Verifiable Agent-based Communities of Web Services: Theoretical Foundations and Automation"
“智能、战略性和可验证的基于代理的 Web 服务社区:理论基础和自动化”
- 批准号:
341422-2012 - 财政年份:2016
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
"Intelligent, Strategic and Verifiable Agent-based Communities of Web Services: Theoretical Foundations and Automation"
“智能、战略性和可验证的基于代理的 Web 服务社区:理论基础和自动化”
- 批准号:
341422-2012 - 财政年份:2014
- 资助金额:
$ 2.04万 - 项目类别:
Discovery Grants Program - Individual
相似海外基金
Collaborative Research: AGEP ACA: An HSI R2 Strategic Collaboration to Improve Advancement of Hispanic Students Into the Professoriate
合作研究:AGEP ACA:HSI R2 战略合作,以提高西班牙裔学生进入教授职位的水平
- 批准号:
2343235 - 财政年份:2024
- 资助金额:
$ 2.04万 - 项目类别:
Standard Grant
CAREER: Strategic Interactions, Learning, and Dynamics in Large-Scale Multi-Agent Systems: Achieving Tractability via Graph Limits
职业:大规模多智能体系统中的战略交互、学习和动态:通过图限制实现可处理性
- 批准号:
2340289 - 财政年份:2024
- 资助金额:
$ 2.04万 - 项目类别:
Continuing Grant
University of Nottingham and Strategic Innovation Limited KTP 23_24 R2
诺丁汉大学和战略创新有限公司 KTP 23_24 R2
- 批准号:
10077601 - 财政年份:2024
- 资助金额:
$ 2.04万 - 项目类别:
Knowledge Transfer Partnership
Collaborative Research: AGEP ACA: An HSI R2 Strategic Collaboration to Improve Advancement of Hispanic Students Into the Professoriate
合作研究:AGEP ACA:HSI R2 战略合作,以提高西班牙裔学生进入教授职位的水平
- 批准号:
2343236 - 财政年份:2024
- 资助金额:
$ 2.04万 - 项目类别:
Standard Grant
CAREER: Securing Off-premise Digital Services in the Presence of Strategic Incentives
职业:在战略激励的情况下确保场外数字服务的安全
- 批准号:
2337338 - 财政年份:2024
- 资助金额:
$ 2.04万 - 项目类别:
Continuing Grant
23-BIUK - Strategic funding for BioImagingUK
23-BIUK - BioImagingUK 的战略资助
- 批准号:
BB/Z000017/1 - 财政年份:2024
- 资助金额:
$ 2.04万 - 项目类别:
Research Grant
Planning: LPTC Cyberinfrastructure Strategic Planning
规划:LPTC 网络基础设施战略规划
- 批准号:
2231166 - 财政年份:2023
- 资助金额:
$ 2.04万 - 项目类别:
Standard Grant
Planning: Strategic Planning Workshop for the CSU Desert Studies Center
规划:科罗拉多州立大学沙漠研究中心战略规划研讨会
- 批准号:
2326991 - 财政年份:2023
- 资助金额:
$ 2.04万 - 项目类别:
Standard Grant
Collaborative Research: EPIIC: HBCU Alliance for Strategic Partnerships for Innovation and Research Enhancement (HBCU-ASPIRE)
合作研究: EPIIC:HBCU 创新和研究增强战略伙伴关系联盟 (HBCU-ASPIRE)
- 批准号:
2332023 - 财政年份:2023
- 资助金额:
$ 2.04万 - 项目类别:
Standard Grant
BBSRC Institute Strategic Programme: Microbes and Food Safety
BBSRC 研究所战略计划:微生物与食品安全
- 批准号:
BB/X018814/1 - 财政年份:2023
- 资助金额:
$ 2.04万 - 项目类别:
Research Grant