Some maintainability metrics for a communication protocol specified in Estelle

被引：0
|
作者：
Huang, SJ [1 ]
Lai, R [1 ]
机构：
[1] La Trobe Univ, Dept Comp Sci & Comp Engn, Bundoora, Vic 3083, Australia
来源：
TWENTY-SECOND ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE - PROCEEDINGS | 1998年
关键词：
D O I：
10.1109/CMPSAC.1998.716659
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
With the uses of Formal Description Techniques (FDTs) in the communication protocol area since the mid 80's, avenues have been opened vp for a system to be analyzed early in the specification phase. Quantitative measures on its maintainability can then be extracted from such a formal specification, so that we can develop easily maintainable communication software systems and further reduce the increasingly high cost of software maintenance. This paper describes some maintainability metrics for a communication protocol specified in Estelle.
引用
收藏
页码：218 / 223
页数：6
相关论文
共 50 条
  • [1] VERIFICATION OF ISO ACSE PROTOCOL SPECIFIED IN ESTELLE
    LAI, R
    JIRACHIEFPATTANA, A
    [J]. COMPUTER COMMUNICATIONS, 1994, 17 (03) : 172 - 188
  • [2] EHPVS - A PROTOCOL VERIFICATION SYSTEM FOR VERIFYING PROTOCOLS SPECIFIED IN ESTELLE
    HUANG, CM
    HSU, JM
    [J]. JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 1995, 18 (03) : 379 - 390
  • [3] Estimating the size of an Estelle specification for a communication protocol
    Huang, SJ
    Lai, R
    [J]. COMPSAC 97 : TWENTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1997, : 565 - 568
  • [4] Verification of Estelle-specified communication protocols high-level Petri nets
    Nepomnyashchij, V.A.
    Alekseev, G.I.
    Bystrov, A.V.
    Myl'nikov, S.P.
    Okunishnikova, E.V.
    Chubarev, P.A.
    Churina, T.G.
    [J]. Programmirovanie, 2001, 27 (02): : 5 - 21
  • [5] PROTOCOL VISUALIZATION IN ESTELLE
    AMER, PD
    NEW, D
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1993, 25 (07): : 741 - 760
  • [6] Verification of Estelle-specified communication protocols using high-level Petri nets
    Nepomniaschy, VA
    Alekseev, GI
    Bystrov, AV
    Myl'nikov, SP
    Okunishnikova, EV
    Chubarev, PA
    Churina, TG
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 2001, 27 (02) : 58 - 68
  • [7] Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets
    V. A. Nepomniaschy
    G. I. Alekseev
    A. V. Bystrov
    S. P. Myl'nikov
    E. V. Okunishnikova
    P. A. Chubarev
    T. G. Churina
    [J]. Programming and Computer Software, 2001, 27 : 58 - 68
  • [8] Measuring the maintainability of a communication protocol based on its formal specification
    Huang, SJ
    Lai, R
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2003, 29 (04) : 327 - 344
  • [9] Protocol visualization of Estelle specifications
    [J]. 1600, Publ by Elsevier Science Publishers B.V., Amsterdam, Neth
  • [10] Maintainability metrics of UML design
    Zaretska, Iryna
    Besedina, Maryna
    [J]. CEUR Workshop Proceedings, 2012, 848 : 96 - 101
12345