USING Z FOR NETWORK MODELING - AN INDUSTRIAL EXPERIENCE REPORT

被引：1
|
作者：
WEZEMAN, CD [1 ]
机构：
[1] BT LABS,IPSWICH IP5 7RE,SUFFOLK,ENGLAND
来源：
COMPUTER STANDARDS & INTERFACES | 1995年 / 17卷 / 5-6期
关键词：
FORMAL METHODS; FORMAL SPECIFICATION; NETWORK MANAGEMENT; OBJECT ORIENTATION; STANDARDS; Z;
D O I：
10.1016/0920-5489(95)00017-O
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
As telecommunication and computing networks have grown in size and complexity, so has the scale of the problems encountered when modelling them. This paper demonstrates a new method for modelling network components from a network management viewpoint. The method, which was developed by BT, uses an object oriented variant of the formal description technique Z. As a result of its development and successful application, the international standardization organization ITU has now adopted Z for specification of network components.
引用
收藏
页码：631 / 638
页数：8
相关论文
共 50 条
  • [21] Artifact Traceability in DevOps: An Industrial Experience Report
    Pauzi, Zaki
    Thind, Rajvir
    Capiluppi, Andrea
    27TH INTERNATIONAL CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2023, 2023, : 180 - 183
  • [22] Artifact Traceability in DevOps: An Industrial Experience Report
    Pauzi, Zaki
    Thind, Rajvir
    Capiluppi, Andrea
    ACM International Conference Proceeding Series, 2023, : 180 - 183
  • [23] An Industrial Experience Report on Retro-inspection
    Yang, Lanxin
    Zhang, He
    Zhang, Fuli
    Zhang, Xiaodong
    Rong, Guoping
    2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING IN PRACTICE (ICSE-SEIP 2022), 2022, : 43 - 52
  • [24] Exemplary industrial system and network modeling in Poland
    Lewoc, Jozef B.
    Izworski, Antoni
    Kieleczawa, Antonina
    Hersh, Marion A.
    Bulz, Nicolae
    Leitgeb, Erich
    OPEN COMPUTER SCIENCE, 2015, 5 (01): : 51 - 59
  • [25] Probabilistic Boolean network modeling of an industrial machine
    Rivera Torres, Pedro J.
    Serrano Mercado, E. I.
    Anido Rifon, Luis
    JOURNAL OF INTELLIGENT MANUFACTURING, 2018, 29 (04) : 875 - 890
  • [26] Probabilistic Boolean network modeling of an industrial machine
    Pedro J. Rivera Torres
    E. I. Serrano Mercado
    Luis Anido Rifón
    Journal of Intelligent Manufacturing, 2018, 29 : 875 - 890
  • [27] Modeling and Profiling of Aggregated Industrial Network Traffic
    Lavassani, Mehrzad
    akerberg, Johan
    Bjoerkman, Mats
    APPLIED SCIENCES-BASEL, 2022, 12 (02):
  • [28] An Experience Report on Analyzing Industrial Software Systems Using Code Clone Detection Techniques
    Yoshida, Norihiro
    Higo, Yoshiki
    Kusumoto, Shinji
    Inoue, Katsuro
    2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), VOL 1, 2012, : 310 - 313
  • [29] Modelling large-scale information systems using ADLs - An industrial experience report
    Woods, Eoin
    Bashroush, Rabih
    JOURNAL OF SYSTEMS AND SOFTWARE, 2015, 99 : 97 - 108
  • [30] An experience report on analyzing industrial software systems using code clone detection techniques
    Yoshida, Norihiro
    Higo, Yoshiki
    Kusumoto, Shinji
    Inoue, Katsuro
    Proceedings - Asia-Pacific Software Engineering Conference, APSEC, 2012, 1 : 310 - 313
12345