Automatic modification of a protocol specification based on changes of a service specification

被引：0
|
作者：
Go, K [1 ]
Takahashi, K [1 ]
Kaminaga, H [1 ]
Shiratori, N [1 ]
机构：
[1] TOHOKU UNIV,ELECT COMMUN RES INST,SENDAI,MIYAGI 980,JAPAN
来源：
1996 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS | 1996年
关键词：
D O I：
10.1109/ICPADS.1996.517554
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：129 / 134
页数：6
相关论文
共 50 条
  • [1] SYNTHESIS OF PROTOCOL SPECIFICATION FROM SERVICE SPECIFICATION
    KARPOV, YG
    [J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1989, (04): : 3 - 12
  • [2] EXAMPLES OF PROTOCOL SYNTHESIS FROM SERVICE SPECIFICATION
    KARPOV, JG
    [J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1989, (06): : 3 - 14
  • [3] Model-based protocol specification
    Mordecai, Yaniv
    [J]. SYSTEMS ENGINEERING, 2019, 22 (02) : 188 - 210
  • [4] Coupled signature and specification matching for automatic service binding
    Klein, M
    König-Ries, B
    [J]. WEB SERVICES, PROCEEDINGS, 2004, 3250 : 183 - 197
  • [5] A formal service specification for the Internet open trading protocol
    Ouyang, C
    Kristensen, LM
    Billington, J
    [J]. APPLICATIONS AND THEORY OF PETRI NETS 2002, 2002, 2360 : 352 - 373
  • [6] Specification-based Protocol Obfuscation
    Duchene, Julien
    Alata, Eric
    Nicomette, Vincent
    Kaaniche, Mohamed
    Le Guernic, Colas
    [J]. 2018 48TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), 2018, : 478 - 489
  • [7] Service retrieval based on behavioral specification
    Grigori, D
    Bouzeghoub, M
    [J]. 2005 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, VOL 1, PROCEEDINGS, 2005, : 333 - 336
  • [8] An automatic implementation of the ISOFTAM protocol based on an integrated specification of Estelle and ASN.1
    Lo, A
    Lai, R
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1999, 48 (02) : 119 - 137
  • [9] PROTOCOL SPECIFICATION FOR OSI
    VONBOCHMANN, G
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1990, 18 (03): : 167 - 184
  • [10] Formal Specification of Automatic DMARF based on CSP
    Ding, Jieqi
    Zhu, Huibiao
    Li, Qin
    [J]. 2011 8TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON ENGINEERING OF AUTONOMIC AND AUTONOMOUS SYSTEMS (EASE), 2011, : 32 - 39
12345