Record:   Prev Next
作者 Hayrapetyan, Anush
書名 Formalized, validated and executable CPN models of SIP-based presence and dynamic discovery protocols for mobile applications
說明 58 p
附註 Source: Masters Abstracts International, Volume: 45-04, page: 2003
Adviser: Vijay Gehlot
Thesis (M.S.)--Villanova University, 2007
The Session Initiation Protocol (SIP) was conceived for internet telephony which is now viewed as an enabler of converged communications across distributed networked entities
Of particular interest to us was the SIP-based Presence protocol. Depending on the type of presence information, a variety of services can be built on top of it. These range from simple notification services to more complex dynamic discovery and load balancing. As a logical enhancement of Presence protocol, the SIP-based Discovery protocol has been examined which has been developed for the Multi-Channel Service Oriented Architecture (MCSOA)
This work gives details of validated Colored Petri Net models of SIP based Presence and Discovery protocols. By using the modular and hierarchy mechanism of our adopted modeling approach, other services and applications for mobile computations that make use of presence or dynamic discovery can be easily built on the top of the presented model
School code: 0245
Host Item Masters Abstracts International 45-04
主題 Computer Science
Alt Author Villanova University
Record:   Prev Next