"Intelligent, Strategic and Verifiable Agent-based Communities of Web Services: Theoretical Foundations and Automation"

“智能、战略性和可验证的基于代理的 Web 服务社区：理论基础和自动化”

• 批准号: 341422-2012
• 负责人: Bentahar, Jamal
• 金额: $ 2.04万
• 依托单位: Concordia University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2014
• 资助国家: 加拿大
• 起止时间: 2014-01-01 至 2015-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=549344
• 关键词: Intelligent; Strategic; Verifiable; Agent; based

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 Services的社区（CWSS））中收集相似的功能来确定组织和部署Web服务的进化方式。 CWSS允许创建专业知识和合作和竞争的设置的口袋，以为用户提供最好的服务。为了实现这一新兴概念的全部潜力，通过代理，可以将Web服务视为具有语义信息和丰富的互动，推理和决策能力的能力，以便可以协商业务合同和社区加入福利。但是，尽管最近围绕指定，工程和确保CWSS的倡议，但几个基本问​​题和问题仍未解决，尚未解决，这主要是由于缺乏严格的理论基础。为了使CWSS成为B2C，B2B和电子应用的首选技术，迫切需要为研究人员和工程师提供强大的理论基础，以支持和分析灵活，有效的交互，决策，验证和安全性，这是新兴应用程序的核心。该项目的第一个目的是将服务计算中的最新技术从服务的水平提高服务的水平，即服务是一个反应性实体并单独部署的，将它们赋予了语义和高级推理和战略决策能力并在社区内部部署的水平。第二个目的是从一个即兴设计的级别上推进对CWSS的研究，以建立理论基础的水平，从而允许使用正式的方法和技术，即正式的经济模型，游戏理论，计算逻辑和模型检查，从而允许使用正式的方法和技术进行合理的工程。该项目的最终目标是通过为其服务行业的增长做出贡献来为加拿大的社会和经济发展做出贡献。