用于动态组合服务的规范逻辑

Proceedings 21st International Conference on Distributed Computing Systems Workshops Pub Date : 2001-04-16 DOI:10.1109/CDCS.2001.918700

S. Lämmermann, E. Tyugu

{"title":"用于动态组合服务的规范逻辑","authors":"S. Lämmermann, E. Tyugu","doi":"10.1109/CDCS.2001.918700","DOIUrl":null,"url":null,"abstract":"We focus on a composition model for services, which are composed of pre-programmed service components represented as Java classes. A common formal basis for representing the semantics of dynamic composition of services from service components is presented. We propose a logic and a specification language that enable us to reason about and deploy service components automatically. The proposed composition model uses a logical proof as witness for the correct deployment of service components in the context of their use. The composition model has been implemented in Java as an environment for dynamic composition of services. We illustrate the proposed composition method on an example of composition of a service.","PeriodicalId":273489,"journal":{"name":"Proceedings 21st International Conference on Distributed Computing Systems Workshops","volume":"86 1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"A specification logic for dynamic composition of services\",\"authors\":\"S. Lämmermann, E. Tyugu\",\"doi\":\"10.1109/CDCS.2001.918700\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We focus on a composition model for services, which are composed of pre-programmed service components represented as Java classes. A common formal basis for representing the semantics of dynamic composition of services from service components is presented. We propose a logic and a specification language that enable us to reason about and deploy service components automatically. The proposed composition model uses a logical proof as witness for the correct deployment of service components in the context of their use. The composition model has been implemented in Java as an environment for dynamic composition of services. We illustrate the proposed composition method on an example of composition of a service.\",\"PeriodicalId\":273489,\"journal\":{\"name\":\"Proceedings 21st International Conference on Distributed Computing Systems Workshops\",\"volume\":\"86 1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-04-16\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 21st International Conference on Distributed Computing Systems Workshops\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CDCS.2001.918700\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 21st International Conference on Distributed Computing Systems Workshops","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CDCS.2001.918700","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

摘要

我们将重点关注服务的组合模型，该模型由表示为Java类的预编程服务组件组成。给出了表示来自服务组件的服务动态组合语义的通用形式化基础。我们提出了一种逻辑和规范语言，使我们能够自动推理和部署服务组件。建议的组合模型使用逻辑证明作为服务组件在其使用上下文中正确部署的见证。组合模型已经在Java中实现为动态组合服务的环境。我们通过一个服务组合的示例来说明所提出的组合方法。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A specification logic for dynamic composition of services

We focus on a composition model for services, which are composed of pre-programmed service components represented as Java classes. A common formal basis for representing the semantics of dynamic composition of services from service components is presented. We propose a logic and a specification language that enable us to reason about and deploy service components automatically. The proposed composition model uses a logical proof as witness for the correct deployment of service components in the context of their use. The composition model has been implemented in Java as an environment for dynamic composition of services. We illustrate the proposed composition method on an example of composition of a service.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings 21st International Conference on Distributed Computing Systems Workshops

自引率

0.00%

发文量