Formal Automated Transformation of SDL Specifications to Lotos Specifications

被引：0
|
作者：
El-Gendy, Hazem [1 ]
El Kadhi, Nabil [2 ]
Debnath, Narayan [3 ]
机构：
[1] Minist Endowments, Cairo, Egypt
[2] Epitech, F-94270 Le Kremlin Bicetre, France
[3] Winona State Univ, Dept Comp Sci, Windsor, CT USA
来源：
2008 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3 | 2008年
关键词：
Formal Description Techniques; SDL; Lotos; Computer/Communications Protocols; Specification; Distributed Real Time Systems; Formal Methods; Common Semantic Model; Verification; Testing;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, a formal method for automated transformation of an SDL specification into a corresponding Lotos specification is presented. The method is applicable to various SDL specifications and to various communications protocols for various ISO (international Standards Organization) OSI (Open Systems Interconnections) layers, This formal automated transformation facilitates immediate indirect applicability of future formal methods for derivation of testing sequences for Lotos specifications to SDL specifications. Firstly, the formal automated transformation method is applied to generate a Lotos version. Then, the Lotos-based derivation method is applied. This facilitates the best coverage of the testing sequences for SDL specifications as the formal test derivation method with the best coverage can be applied. This also facilitates comparison of various test derivation methods in terms of coverage, We develop an algorithm for constructing the Lotos specifications.
引用
收藏
页码：1117 / +
页数：3
相关论文
共 50 条
  • [1] Formal automated transformation of lotos specifications to SDL specifications
    El-Gendy, H
    [J]. 8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIII, PROCEEDINGS: INDUSTRIAL SYSTEMS, 2004, : 237 - 241
  • [2] Formal method for automated transformation of lotos specifications to estelle specifications
    El-Gendy, H
    El-Kadhi, N
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2005, 15 (05) : 873 - 891
  • [3] MIXING LOTOS AND SDL SPECIFICATIONS
    SARIA, H
    NIRSCHL, H
    BINDING, C
    [J]. IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 2 : 425 - 439
  • [4] Transformation of Lotos specifications to Estelle specifications
    ElGendy, H
    Baraka, H
    [J]. SECOND IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, PROCEEDINGS, 1997, : 215 - 220
  • [5] A COMMON COMPILER FOR LOTOS AND SDL SPECIFICATIONS
    BINDING, C
    BOUMA, W
    DAUPHIN, M
    KARJOTH, G
    YANG, Y
    [J]. IBM SYSTEMS JOURNAL, 1992, 31 (04) : 668 - 690
  • [6] Transformation of estelle specifications to Lotos specifications
    El-Gendy, H
    El-Sayed, H
    Fayez, AW
    [J]. INTERNATIONAL SOCIETY FOR COMPUTERS AND THEIR APPLICATIONS 13TH INTERNATIONAL CONFERENCE ON COMPUTERS AND THEIR APPLICATIONS, 1998, : 82 - 84
  • [7] AUTOMATED IMPLEMENTATIONS OF LOTOS SPECIFICATIONS
    CUYPERS, L
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 729 - 735
  • [8] TOOL SUPPORT TO IMPLEMENT LOTOS FORMAL SPECIFICATIONS
    MANAS, JA
    DEMIGUEL, T
    SALVACHUA, J
    AZCORRA, A
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1993, 25 (07): : 815 - 839
  • [9] PRACTICAL METHODS FOR THE FORMAL VALIDATION OF SDL SPECIFICATIONS
    HOLZMANN, GJ
    [J]. COMPUTER COMMUNICATIONS, 1992, 15 (02) : 129 - 134
  • [10] AUTOMATED PROTOCOL CONFORMANCE TEST-GENERATION BASED ON FORMAL METHODS FOR LOTOS SPECIFICATIONS
    CAVALLI, AR
    KIM, SU
    MAIGRON, P
    [J]. PROTOCOL TEST SYSTEMS, V, 1993, 11 : 237 - 248
12345