A formal description for protocols in WSN based on STeC language

被引：0
|
作者：
Wang Na [1 ]
Liu DongQian [2 ]
He KangLi [2 ]
机构：
[1] Shanghai Second Polytech Univ, Sch Comp & Informat, Shanghai, Peoples R China
[2] East China Normal Univ, Sch Software, Shanghai, Peoples R China
来源：
PROCEEDINGS OF THE 2013 8TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION (ICCSE 2013) | 2013年
关键词：
wireless sensor network; STeC; formal description; protocols; temporal; TOLERANT CLOCK SYNCHRONIZATION; DISTRIBUTED SYSTEMS;
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Sensors are usually used in real-time system Since time constraint is an important requirement in real-time system, it is necessary to formalize the protocols in WSN by emphasizing on consistence of temporal and spatial. STeC is a language looking like an extension of process systems CSP and CCS including actions and comnmnication. But it stresses the spatial-temporal consistence of real-time systems. This spatial-temporal consistence means that agents do its tasks when it arrives at required location or time. These locations may be physical spaces or states that agents stay. The time concept here stresses at what time it executes and how long it maintains. STeC can easily describe the protocols in WSN with no attention on its location parameter.
引用
收藏
页码：921 / 924
页数：4
相关论文
共 50 条
  • [1] FORMAL DESCRIPTION AND VERIFICATION OF CCS-BASED PROTOCOLS.
    Karpov, Yu.G.
    Automatic Control and Computer Sciences, 1986, 20 (06) : 16 - 25
  • [2] Automatic implementation system of security protocols based on formal description techniques
    Mengual, L
    Barcia, N
    Jiménez, E
    Menasalvas, E
    Setién, J
    Yágüez, J
    ISCC 2002: SEVENTH INTERNATIONAL SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, PROCEEDINGS, 2002, : 355 - 360
  • [3] DESIGN OF PROTOCOLS - SPECIFICATION AND FORMAL DESCRIPTION TECHNIQUES
    MESTRAS, JP
    PEREDA, O
    TOMAS, JG
    REVISTA DE INFORMATICA Y AUTOMATICA, 1988, 21 (01): : 28 - 37
  • [4] FORMAL DESCRIPTION TECHNIQUE (FDT) LANGUAGES FOR PROTOCOLS
    VUONG, ST
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1992, 23 (05): : 323 - 324
  • [5] On the modelling of communication protocols with STATECHARTS: Formal description
    Benslimane, A
    INTERNATIONAL SOCIETY FOR COMPUTERS AND THEIR APPLICATIONS 10TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, 1997, : 485 - 488
  • [6] Formal description and verification of MAS interaction protocols
    Chen, Hongbing
    Yang, Qun
    Li, Qianmu
    Xu, Manwu
    MULTIAGENT AND GRID SYSTEMS, 2006, 2 (04) : 353 - 363
  • [7] Formal design of arithmetic circuits based on arithmetic description language
    Homma, Naofumi
    Watanabe, Yuki
    Aoki, Takafumi
    Higuchi, Tatsuo
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2006, E89A (12): : 3500 - 3509
  • [8] Formal language description of mobile agent
    Hua Zhen
    Chu Yongli
    Sun Jing
    Zhang Yong
    Wang Yanqian
    Man Shushuang
    ICCSE'2006: Proceedings of the First International Conference on Computer Science & Education: ADVANCED COMPUTER TECHNOLOGY, NEW EDUCATION, 2006, : 683 - 685
  • [9] TOOLS FOR THE FORMAL DESCRIPTION LANGUAGE LOTOS
    SCHOO, P
    DEMEER, J
    SYSTEMS ANALYSIS MODELLING SIMULATION, 1991, 8 (4-5): : 343 - 451
  • [10] LOCATION BASED PROTOCOLS IN WSN: A REVIEW
    Mittal, Vaishali
    Pokhriyal, Snigdha
    Srivastava, Harshita
    Vashist, Shruti
    Verma, Mohit
    IIOAB JOURNAL, 2018, 9 : 67 - 77
12345