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 条
  • [41] Prospex: Protocol Specification Extraction
    Comparetti, Paolo Milani
    Wondracek, Gilbert
    Kruegel, Christopher
    Kirda, Engin
    [J]. PROCEEDINGS OF THE 2009 30TH IEEE SYMPOSIUM ON SECURITY AND PRIVACY, 2009, : 110 - +
  • [42] EPVD - AN INTERACTIVE PROTOCOL SPECIFICATION AND VALIDATION ENVIRONMENT IN ESTELLE FORMAL SPECIFICATION
    HUANG, KC
    NAIN, TS
    HSIEH, WS
    YANG, CS
    LU, CS
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 71 - 77
  • [43] Specification and Verification of an Agent-Based Auction Service
    Badica, Amelia
    Badica, Costin
    [J]. INFORMATION SYSTEMS DEVELOPMENT: TOWARDS A SERVICE PROVISION SOCIETY, 2009, : 239 - +
  • [44] An Enterprise Ontology-Based Approach to Service Specification
    Terlouw, Linda I.
    Albani, Antonia
    [J]. IEEE TRANSACTIONS ON SERVICES COMPUTING, 2013, 6 (01) : 89 - 101
  • [45] Automatic Reverse Engineering Method for Extracting Well-trimmed Protocol Specification
    Goo, Young-Hoon
    Shim, Kyu-Seok
    Kim, Myung-Sup
    [J]. PROCEEDINGS OF THE 2018 2ND INTERNATIONAL CONFERENCE ON TELECOMMUNICATIONS AND COMMUNICATION ENGINEERING (ICTCE 2018), 2018, : 16 - 21
  • [46] HOW TO PRODUCE A SERVICE SPECIFICATION
    HUNT, DA
    [J]. BRITISH MEDICAL JOURNAL, 1991, 303 (6794): : 125 - 125
  • [47] An environment for interactive service specification
    Berkani, K
    Cave, R
    Coudert, S
    Klay, F
    Le Gall, P
    Ouabdesselam, F
    Richier, JL
    [J]. FEATURE INTERACTIONS IN TELECOMMUNICATIONS AND SOFTWARE SYSTEMS VII, 2003, : 25 - 41
  • [48] Pattern based property specification and verification for service composition
    Yu, Jian
    Manh, Tan Phan
    Han, Jun
    Jin, Yan
    Han, Yanbo
    Wang, Jianwu
    [J]. WEB INFORMATION SYSTEMS - WISE 2006, PROCEEDINGS, 2006, 4255 : 156 - 168
  • [49] Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities
    Koch, Thorsten
    Holtmann, Joerg
    Lindemann, Timo
    [J]. MODELSWARD: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2017, : 53 - 64
  • [50] Service specification with MSCs and roles
    Krüger, IH
    [J]. Proceedings of the IASTED International Conference on Software Engineering, 2004, : 42 - 47
12345