user

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 条
  • [31] Formal specification of a Web services protocol
    Johnson, James E.
    Langworthy, David E.
    Lamport, Leslie
    Vogt, Friedrich H.
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 70 (01): : 34 - 52
  • [32] Formal Specification of Web Services Composition
    Bachtarzi, Faycal
    Chaoui, Allaoua
    [J]. 2013 IEEE SYMPOSIUM ON WIRELESS TECHNOLOGY & APPLICATIONS (ISWTA2013), 2013, : 34 - 39
  • [33] A Survey of Smart Contract Formal Specification and Verification
    Tolmach, Palina
    Li, Yi
    Lin, Shang-Wei
    Liu, Yang
    Li, Zengxiang
    [J]. ACM COMPUTING SURVEYS, 2021, 54 (07)
  • [34] Formal Specification and Verification of Mobile Agent Systems
    Kahloul, L.
    Grira, M.
    [J]. INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2014, 9 (03) : 292 - 304
  • [35] Formal Specification and Verification of Ubiquitous and Pervasive Systems
    Coronato, Antonio
    De Pietro, Giuseppe
    [J]. ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2011, 6 (01)
  • [36] Tools for formal specification, verification, and validation of requirements
    Heitmeyer, C
    Kirby, J
    Labaw, B
    [J]. COMPASS '97 - ARE WE MAKING PROGRESS TOWARDS COMPUTER ASSURANCE?, 1997, : 35 - 47
  • [37] Formal Specification and Verification of Dynamic Parametrized Architectures
    Cimatti, Alessandro
    Stojic, Ivan
    Tonetta, Stefano
    [J]. FORMAL METHODS, 2018, 10951 : 625 - 644
  • [38] A survey on formal specification and verification of separation kernels
    Zhao, Yongwang
    Yang, Zhibin
    Ma, Dianfu
    [J]. FRONTIERS OF COMPUTER SCIENCE, 2017, 11 (04) : 585 - 607
  • [39] Formal Specification Technique in Smart Contract Verification
    Lee, Seung-Min
    Park, Soojin
    Park, Young B.
    [J]. 2019 INTERNATIONAL CONFERENCE ON PLATFORM TECHNOLOGY AND SERVICE (PLATCON), 2019, : 7 - 10
  • [40] VESAR - A PRAGMATIC APPROACH TO FORMAL SPECIFICATION AND VERIFICATION
    ALGAYRES, B
    COELHO, V
    DOLDI, L
    GARAVEL, H
    LEJEUNE, Y
    RODRIGUEZ, C
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1993, 25 (07): : 779 - 790
12345