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

Web服务因其作为服务计算的实现技术而备受赞誉。这种技术在企业对客户（B2C）和企业对企业（B2B）中的广泛发展和使用，最近有助于确定一种组织和部署Web服务的进化方式，即通过将具有相似功能的Web服务聚集在同一个“虚拟”空间中，称为Web服务社区（CWS）。CWS允许创建专门知识的口袋和合作与竞争的环境，为用户提供最好的服务。为了实现这一新兴概念的全部潜力，Web服务被认为是配备，通过代理，语义信息和丰富的交互，推理和决策能力，使商业合同和社区加入的好处可以进行谈判。然而，尽管最近有许多关于指定、设计和保护化学武器系统的倡议，但一些基本问题和难题仍未得到解决，主要是因为缺乏严格的理论基础。为了使CWS成为B2C，B2B和电子应用的首选技术，迫切需要为研究人员和工程师提供强大的理论基础，以支持和分析灵活有效的交互，决策，验证和安全性，这些都是新兴应用的核心。该项目的第一个目标是提高服务计算的水平，从一个层次，服务只是反应性的实体和单独部署，他们被赋予语义和先进的推理和战略决策能力，并部署在社区内的水平。第二个目标是推进CWS的研究，从一个水平，Web服务和社区的设计在即兴的方式，建立理论基础，允许健全的工程使用正式的方法和技术，即正式的经济模型，博弈论，计算逻辑和模型检查的水平。该项目的最终目标是通过促进加拿大服务业的增长，促进加拿大的社会和经济发展。

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.