Modeling the UPnP-UP Protocol using Coloured Petri Nets

被引：0
|
作者：
Rached, Taciana [1 ]
Gorgonio, Kyller [1 ]
Perkusich, Angelo [1 ]
Almeida, Hyggo [1 ]
机构：
[1] Univ Fed Campina Grande, Embedded Syst & Pervas Comp Lab, Campina Grande, Brazil
来源：
2009 INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS | 2009年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：307 / 311
页数：5
相关论文
共 50 条
  • [1] Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets
    Westergaard, Michael
    Maggi, Fabrizio M.
    [J]. APPLICATIONS AND THEORY OF PETRI NETS, 2011, 6709 : 169 - 188
  • [2] MODELING OF COLLABORATIVE PRODUCTION SYSTEMS USING COLOURED PETRI NETS
    Igei, Percy
    Cugnasca, Carlos E.
    Junqueira, Fabricio
    Miyagi, Paulo E.
    Garcia, Jose I.
    [J]. PECCS 2011: PROCEEDINGS OF THE 1ST INTERNATIONAL CONFERENCE ON PERVASIVE AND EMBEDDED COMPUTING AND COMMUNICATION SYSTEMS, 2011, : 257 - 260
  • [3] Modelization of a communication protocol for CSCW systems using coloured Petri nets
    Garcia, E
    Henriet, J
    Lapayre, JC
    [J]. COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING, PROCEEDINGS, 2005, 3675 : 14 - 21
  • [4] New approach to cryptographic protocol analysis using coloured Petri nets
    Basyouni, AM
    Tavares, SE
    [J]. 1997 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, CONFERENCE PROCEEDINGS, VOLS I AND II: ENGINEERING INNOVATION: VOYAGE OF DISCOVERY, 1997, : 334 - 337
  • [5] PROTOCOL MODELING AND VALIDATION USING PETRI NETS
    AYACHE, JM
    COURTIAT, JP
    DIAZ, M
    JUANOLE, G
    [J]. TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1985, 4 (01): : 51 - 71
  • [6] Modeling of AS/RS via coloured Petri nets
    Basile, F
    Carbone, C
    Chiacchio, P
    [J]. 2001 IEEE/ASME INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT MECHATRONICS PROCEEDINGS, VOLS I AND II, 2001, : 1029 - 1034
  • [7] Modeling control systems with coloured Petri nets using global variables
    Baranauskas, Virginijus
    Bartkevicius, Stanislovas
    Kragnys, Ricardas
    Sarkauskas, Kastytis
    [J]. ELECTRICAL AND CONTROL TECHNOLOGIES, PROCEEDINGS, 2006, : 306 - 309
  • [8] Modeling and optimization of runway traffic flow using coloured Petri nets
    Kovács, A
    Németh, E
    Hangos, KM
    [J]. 2005 INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA), VOLS 1 AND 2, 2005, : 881 - 886
  • [9] Modeling multiple interactions using coloured Petri nets:: A case study
    Camargo-Santacruz, F
    Frausto-Solís, J
    Ramos-Quintana, F
    [J]. ADVANCED DISTRIBUTED SYSTEMS, 2005, 3563 : 182 - 193
  • [10] Modeling FlexRay macrotick generation process using Coloured Petri Nets
    Mejdi, Hana
    Hasnaoui, Salem
    [J]. 2018 14TH INTERNATIONAL WIRELESS COMMUNICATIONS & MOBILE COMPUTING CONFERENCE (IWCMC), 2018, : 1127 - 1130
12345