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 条
  • [31] A component-based design and compositional verification of a fault-tolerant multimedia communication protocol
    Hanumantharaya, A
    Sinha, P
    Agarwal, A
    [J]. REAL-TIME IMAGING, 2003, 9 (06) : 401 - 422
  • [32] A compositional logic for protocol correctness
    Durgin, N
    Mitchell, J
    Pavlovic, D
    [J]. 14TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2001, : 241 - 255
  • [33] Compositional verification of an ATM protocol
    Rusu, V
    [J]. FME 2003: FORMAL METHODS, PROCEEDINGS, 2003, 2805 : 223 - 243
  • [34] An Approach to Optimize Intra-ECU Communication Based on Mapping of AUTOSAR Runnable Entities
    Long, Rongshen
    Li, Hong
    Peng, Wei
    Zhang, Yi
    Zhao, Minde
    [J]. 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2009, : 138 - 143
  • [35] World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems
    Capiluppi, Marta
    Segala, Roberto
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (124): : 58 - 72
  • [36] Communication, Policy and National Construction: an approach to East Timor
    Pena, Alberto
    [J]. EPTIC, 2011, 13 (01):
  • [37] An nD modelling approach to improve communication processes for construction
    Marshall-Ponting, AJ
    Aouad, G
    [J]. AUTOMATION IN CONSTRUCTION, 2005, 14 (03) : 311 - 321
  • [38] The Compositional Construction of Markov Processes
    Albasini, Luisa de Francesco
    Sabadini, Nicoletta
    Walters, Robert F. C.
    [J]. APPLIED CATEGORICAL STRUCTURES, 2011, 19 (01) : 425 - 437
  • [39] The Compositional Construction of Markov Processes
    Luisa de Francesco Albasini
    Nicoletta Sabadini
    Robert F. C. Walters
    [J]. Applied Categorical Structures, 2011, 19 : 425 - 437
  • [40] Compositional construction of SWN models
    Rojas, I
    [J]. COMPUTER JOURNAL, 1995, 38 (07): : 612 - 621
12345