用UML对对等服务目标建模

Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. Pub Date : 2004-09-28 DOI:10.1109/SEFM.2004.26

R. Sanders, Rolv Bræk

{"title":"用UML对对等服务目标建模","authors":"R. Sanders, Rolv Bræk","doi":"10.1109/SEFM.2004.26","DOIUrl":null,"url":null,"abstract":"In this paper we present a method for describing Service Goals for peer-to-peer systems using UML 2. 0. We propose how to model services at a higher level than protocols and state machines, and how this modeling can relate to lower layers of abstraction. We show how this novel way of service specification can contribute to service validation and to dynamic discovery of peer-to-peer services.","PeriodicalId":207271,"journal":{"name":"Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004.","volume":"48 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"16","resultStr":"{\"title\":\"Modeling peer-to-peer service goals in UML\",\"authors\":\"R. Sanders, Rolv Bræk\",\"doi\":\"10.1109/SEFM.2004.26\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper we present a method for describing Service Goals for peer-to-peer systems using UML 2. 0. We propose how to model services at a higher level than protocols and state machines, and how this modeling can relate to lower layers of abstraction. We show how this novel way of service specification can contribute to service validation and to dynamic discovery of peer-to-peer services.\",\"PeriodicalId\":207271,\"journal\":{\"name\":\"Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004.\",\"volume\":\"48 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2004-09-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"16\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SEFM.2004.26\",\"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 of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SEFM.2004.26","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 16

摘要

在本文中，我们提出了一种使用UML 2描述对等系统的服务目标的方法。0. 我们提出了如何在比协议和状态机更高的层次上对服务进行建模，以及如何将这种建模与较低的抽象层相关联。我们将展示这种新颖的服务规范方式如何有助于服务验证和对等服务的动态发现。

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

查看原文本刊更多论文

Modeling peer-to-peer service goals in UML

In this paper we present a method for describing Service Goals for peer-to-peer systems using UML 2. 0. We propose how to model services at a higher level than protocols and state machines, and how this modeling can relate to lower layers of abstraction. We show how this novel way of service specification can contribute to service validation and to dynamic discovery of peer-to-peer services.

求助全文

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

来源期刊

Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004.

自引率

0.00%

发文量