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 条
  • [1] Inferring Compact Models of Communication Protocol Entities
    Bohlin, Therese
    Jonsson, Bengt
    Soleimanifard, Siavash
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, 2010, 6415 : 658 - +
  • [2] A compositional approach to connector construction
    Lopes, A
    Wermelinger, M
    Fiadeiro, JL
    [J]. RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2001, 2267 : 201 - 220
  • [3] An approach for testing real time protocol entities
    Khoumsi, A
    Akalay, M
    Dssouli, R
    En-Nouaary, A
    Granger, L
    [J]. TESTING OF COMMUNICATING SYSTEMS: TOOLS AND TECHNIQUES, 2000, 48 : 281 - 299
  • [4] Compositional construction of protocol behaviours with arbitrary channel capacities
    Puhakka, A
    [J]. SEVENTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2001, : 80 - 89
  • [5] Compositional verification of a communication protocol for a remotely operated aircraft
    Goodloe, Alwyn E.
    Munoz, Cesar A.
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (07) : 813 - 827
  • [6] Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle
    Goodloe, Alwyn E.
    Munoz, Cesar A.
    [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2009, 5825 : 86 - +
  • [7] PROTOCOL DESIGN BY LAYERED DECOMPOSITION - A COMPOSITIONAL APPROACH
    JANSSEN, W
    ZWIERS, J
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 307 - 326
  • [8] A compositional approach for constructing communication services and protocols
    Bista, BB
    Takahashi, K
    Shiratori, N
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1999, E82A (11) : 2546 - 2557
  • [9] Protocol for Profitability Analysis Using Internal Entities in Organizational Structure of Construction Companies
    Tamer, Ziad
    Yoon, Yoojung
    Hastak, Makarand
    [J]. JOURNAL OF CONSTRUCTION ENGINEERING AND MANAGEMENT-ASCE, 2012, 138 (12): : 1394 - 1402
  • [10] A compositional approach towards semantic representation and construction of ARABIC
    Haddad, B
    Yaseen, M
    [J]. LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS, PROCEEDINGS, 2005, 3492 : 147 - 161
12345