FORMAL SPECIFICATION AND VERIFICATION OF ISDN SERVICES IN LOTOS

被引：0
|
作者：
YAMANO, K
JOKANOVIC, D
ANDO, T
OHTA, M
TAKAHASHI, K
机构：
来源：
IEICE TRANSACTIONS ON COMMUNICATIONS | 1992年 / E75B卷 / 08期
关键词：
LOTOS; SPECIFICATION; VERIFICATION; SWITCHING SOFTWARE;
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
In this paper an approach to formal specification and verification of ISDN services in LOTOS is presented. As for specification, it is shown that LOTOS can be effectively applied to describe different levels of ISDN service specifications. At the higher level, only the external behaviour of the network is specified. On the other hand, at the lower level, specifications include the behaviour of network components such as switching systems, where each switching system can be specified independently of each other. Such specification style, proves suitable for verification of specifications by using the concepts of the simulation relation.
引用
收藏
页码：715 / 722
页数：8
相关论文
共 50 条
  • [1] ON THE FORMAL SPECIFICATION AND VERIFICATION OF CIM ARCHITECTURES USING LOTOS
    BIEMANS, F
    BLONK, P
    [J]. COMPUTERS IN INDUSTRY, 1986, 7 (06) : 491 - 504
  • [2] A formal specification for web services composition and verification
    Shi, YL
    Zhang, L
    Liu, B
    Liu, FF
    Lin, LL
    Shi, BL
    [J]. Fifth International Conference on Computer and Information Technology - Proceedings, 2005, : 252 - 256
  • [3] SPECIFICATION AND IMPLEMENTATION OF AN ISDN TELEPHONE SYSTEM USING LOTOS
    ERNBERG, P
    HOVANDER, T
    MONFORT, F
    [J]. IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1993, 10 : 171 - 186
  • [4] Specification and verification of synchronous hardware using LOTOS
    He, J
    Turner, KJ
    [J]. FORMAL METHODS FOR PROTOCOL ENGINEERING AND DISTRIBUTED SYSTEMS, 1999, 28 : 295 - 312
  • [5] SPECIFICATION AND VERIFICATION OF A SLIDING WINDOW PROTOCOL IN LOTOS
    MADELAINE, E
    VERGAMINI, D
    [J]. IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 2 : 495 - 510
  • [6] Formal Verification of UML Statecharts using the LOTOS Formal Language
    Javani, Mohamad
    Neysiani, Behzad Soleimani
    Babamir, Seyed Morteza
    [J]. 2015 2ND INTERNATIONAL CONFERENCE ON KNOWLEDGE-BASED ENGINEERING AND INNOVATION (KBEI), 2015, : 754 - 760
  • [7] FORMAL CONVERSION BETWEEN LOTOS SPECIFICATION AND GALILEO NETS
    LEON, G
    MARCHENA, S
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 483 - 490
  • [8] FORMAL MODELING OF TELEMATIC SERVICES USING LOTOS
    TVRDY, I
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1989, 25 (1-5): : 313 - 317
  • [9] Formal specification of a reactive system: An exercise in VHDL, LOTOS and UNITY
    Pierre, L
    [J]. EUROPEAN DESIGN & TEST CONFERENCE 1996 - ED&TC 96, PROCEEDINGS, 1996, : 607 - 607
  • [10] Formal specification and verification of VHDL
    Bickford, M
    Jamsek, D
    [J]. FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 310 - 326
12345