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 条
  • [21] Formal Specification and Verification of Security Guidelines
    Zhioua, Zeineb
    Roudier, Yves
    Ameur, Rabea Boulifa
    [J]. 2017 IEEE 22ND PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2017), 2017, : 267 - 273
  • [22] FORMAL SPECIFICATION AND VERIFICATION OF MICROPROCESSOR SYSTEMS
    JOYCE, JJ
    [J]. INTEGRATION-THE VLSI JOURNAL, 1989, 7 (03) : 247 - 266
  • [23] Formal specification and verification of a micropayment protocol
    Gouda, MG
    Liu, AX
    [J]. ICCCN 2004: 13TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS, PROCEEDINGS, 2004, : 489 - 494
  • [24] Formal Verification of ABAP by Z Specification
    Rodruksa, Soravit
    Pradubsuwun, Denduang
    [J]. PROCEEDINGS OF 2017 14TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER SCIENCE AND SOFTWARE ENGINEERING (JCSSE), 2017,
  • [25] FORMAL SPECIFICATION AND VERIFICATION OF DISTRIBUTED SYSTEMS
    CHEN, BS
    YEH, RT
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (06) : 710 - 722
  • [26] FORMAL TECHNIQUES FOR PROTOCOL SPECIFICATION AND VERIFICATION
    SUNSHINE, C
    [J]. COMPUTER, 1979, 12 (09) : 20 - 27
  • [27] Formal specification in VHDL for hardware verification
    Reetz, R
    Schneider, K
    Kropf, T
    [J]. DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS, 1998, : 257 - 263
  • [28] Trends and challenges in Formal Specification and Verification of Services Composition in Ambient Assisted Living Applications
    Hilia, Mohamed
    Chibani, Abdelghani
    Djouani, Karim
    [J]. 4TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT 2013), THE 3RD INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2013), 2013, 19 : 540 - 547
  • [29] FORMAL SPECIFICATION OF TELEPHONE SYSTEMS IN LOTOS - THE CONSTRAINT-ORIENTED STYLE APPROACH
    FACI, M
    LOGRIPPO, L
    STEPIEN, B
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1991, 21 (01): : 53 - 67
  • [30] Specification and verification of the Co4 distributed knowledge system using LOTOS
    Pecheur, C
    [J]. AUTOMATED SOFTWARE ENGINEERING, 12TH IEEE INTERNATIONAL CONFERENCE, PROCEEDINGS, 1997, : 63 - 70
12345