Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
UML for real
Towards the UPnP-UP: Enabling User Profile to Support Customized Services in UPnP Networks
UBICOMM '08 Proceedings of the 2008 The Second International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies
Hi-index | 0.00 |
UPnP defines an architecture for pervasive peer-to-peer network connectivity of intelligent appliances, wireless devices, and PCs of all form factors and platforms. It is designed to support zero-configuration, "invisible" networking, and automatic discovery for a breadth of device categories from a wide range of vendors. UPnP-UP is an extension of the UPnP protocol that provides support to customized services in UPnP networks. This paper presents the modeling of the UPnP-UP protocol using Coloured Petri Nets (CPN). CPN have a graphical representation and a well-defined semantics allowing formal analysis and verification of systems.