DocumentCode
1652125
Title
Modeling peer-to-peer service goals in UML
Author
Sanders, Richard Torbjørn ; Bræk, Rolv
Author_Institution
SINTEF ICT / NTNU, Trondheim, Norway
fYear
2004
Firstpage
144
Lastpage
153
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.
Keywords
Unified Modeling Language; formal specification; peer-to-peer computing; UML; dynamic discovery; peer-to-peer service goals; peer-to-peer systems; service specification; service validation; Collaboration; Computer interfaces; Formal languages; Peer to peer computing; Power system modeling; Protocols; Real time systems; Telecommunication computing; Telecommunication services; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on
Print_ISBN
0-7695-2222-X
Type
conf
DOI
10.1109/SEFM.2004.1347515
Filename
1347515
Link To Document