Construction of a multiple entities communication protocol by compositional approach

被引：2
|
作者：
Bista, BB [1 ]
Shiratori, N [1 ]
机构：
[1] Iwate Prefectural Univ, Fac Soft & Info Sci, Iwate 0200193, Japan
来源：
12TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS | 2001年
关键词：
D O I：
10.1109/DEXA.2001.953057
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we consider compositional approach for designing service and protocol specifications for n-communicating entities. The proposed techniques consider alternative, sequential,, and parallel composition of service specifications and protocol specifications. The specifications are specified in Basic LOTOS which is a Formal Description Techniques(FDTs). We use the weak bisimulation equivalence to represent the correctness properties between the service specification and the protocol specification.
引用
收藏
页码：162 / 166
页数：3
相关论文
共 50 条
  • [41] Multiple Objective Optimization Approach of Construction Projects
    Song Jincan
    [J]. Proceedings of 2008 International Conference on Construction & Real Estate Management, Vols 1 and 2, 2008, : 174 - 176
  • [42] The body as a communication territory for Umbanda entities
    Gomes, Maurilio Mendonca de Avellar
    Vieira Junior, Erly Milton Vieira
    [J]. PATRIMONIO E MEMORIA, 2023, 19 (01): : 41 - 64
  • [43] Development of Compositional and Contextual Communication of Robots by using the Multiple Timescales Dynamic Neural Network
    Park, Gibeom
    Tani, Jun
    [J]. 5TH INTERNATIONAL CONFERENCE ON DEVELOPMENT AND LEARNING AND ON EPIGENETIC ROBOTICS (ICDL-EPIROB), 2015, : 176 - 181
  • [44] Compositional testing of communication systems
    Gotzhein, Reinhard
    Khendek, Ferhat
    [J]. TESTING OF COMMUNICATION SYSTEMS, PROCEEDINGS, 2006, 3964 : 227 - 244
  • [45] Processes in multiple economic entities
    Sobotkiewicz, Dariusz
    [J]. MANAGEMENT-POLAND, 2015, 19 (01): : 19 - 32
  • [46] SYNTHESIS OF PROTOCOLS AND PROTOCOL CONVERTERS USING THE SUBMODULE CONSTRUCTION APPROACH
    KELEKAR, SG
    HART, GW
    [J]. PROTOCOL SPECIFICATION, TESTING AND VERIFICATION, XIII, 1993, 16 : 307 - 322
  • [47] Health and Safety Design by means of a Systemic Approach Linking Construction Entities and Activities for Hazard Prevention
    Trento, Armando
    Fioravanti, Antonio
    Rossini, Francesco
    [J]. FUSION: DATA INTEGRATION AT ITS BEST, VOL 1, 2014, : 633 - 642
  • [48] A multi-protocol architecture for SNMP entities
    Lopes, RP
    Oliveira, JL
    [J]. 2002 IEEE WORKSHOP ON IP OPERATIONS AND MANAGEMENT, 2002, : 75 - 79
  • [49] An approach of covert communication based on the Ethereum whisper protocol in blockchain
    Zhang, Lejun
    Zhang, Zhijie
    Jin, Zilong
    Su, Yansen
    Wang, Zhuzhu
    [J]. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2021, 36 (02) : 962 - 996
  • [50] A modular approach to the communication protocol and standard for multimedia information: A review
    M. Sh. Levin
    [J]. Journal of Communications Technology and Electronics, 2013, 58 : 594 - 601
12345