Spécification et vérification formelles de services web

服务网络的规范和验证

• 批准号: 183776-2006
• 负责人: Tremblay, Guy
• 金额: $ 1.39万
• 依托单位: Université du Québec à Montréal
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2007
• 资助国家: 加拿大
• 起止时间: 2007-01-01 至 2008-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=362981
• 关键词: Sp; cification; et; rification; formelles

Les services Web émergent de plus en plus comme une infrastructure fondamentale pour le développement et la mise en oeuvre du commerce électronique et, plus généralement, des processus d'affaires électroniques.  De nombreux langages et standards existent pour décrire et spécifier de tels services et processus, et ce à plusieurs niveaux, par exemple, orchestration décrivant le fonctionnement interne d'un processus, interface comportementale d'un processus, chorégraphie régissant la coopération entre divers processus et services. Bien qu'on reconnaisse que les méthodes formelles de spécification et de vérification peuvent jouer un rôle important dans le développement de logiciels de qualité, ces méthodes sont encore peu utilisées dans le cadre des processus d'affaires et services Web. L'objectif de notre recherche est de concevoir et développer des outils de support aux méthodes formelles qui permettront de développer des processus d'affaires basés sur les services Web qui soient corrects et fiables.  Plus spécifiquement, notre recherche vise tout d'abord à définir un langage de spécification d'assertions et de contrats pour les opérations de services Web ainsi qu'un engin d'exécution de processus d'affaires permettant la vérification dynamique de ces contrats. Notre recherche vise ensuite à développer des outils d'analyse de processus d'affaires qui permettent d'effectuer diverses vérifications formelles, par exemple, vérifier que l'interface comportementale d'un processus possède certaines propriétés, vérifier qu'un groupe de services sont compatibles entre eux et peuvent effectivement collaborer tel que requis par une orchestration de référence.

The web services that support the efforts of the web, including those who have experienced the institution, are not just forewarned, and the organization has led to the development of infrastructure, including those who have experienced the institution, and those who have experienced the institution, and those who have experienced the institution, such as the institution, and the institution of commerce, and the institution of commerce, and the institution of commerce, and the institution of commerce, and the institution of commerce, are not限于标准。网络的服务不仅限于该过程的重要性和公司的服务。重要的是要注意，了解包括政府在内的过程的重要性和公司服务的重要性很重要。 dedévelopperdes processus d'Affairesbaséssur les services web qui soient correct confice et fiables。  Plus spécifiquement, notre recherche vise tout d'abord à définir un langage de spécification d'assertions et de contrats pour les opérations de services Web ainsi qu'un engin d'exécution de processus d'affaires permettant la vérification dynamique de ces contrats.巴黎圣母院的vishe套房développerdes of d'Analyse d'Affocus d'Affaires d'Affaires qui permettent组织合作的有效性是组织的无形系统，该组织专注于提供支持组织有效性的服务。