Title :
Modeling peer-to-peer service goals in UML
Author :
Sanders, Richard Torbjørn ; Bræk, Rolv
Author_Institution :
SINTEF ICT / NTNU, Trondheim, Norway
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;
Conference_Titel :
Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on
Print_ISBN :
0-7695-2222-X
DOI :
10.1109/SEFM.2004.1347515
