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 条
  • [1] RPerf: Mining user reviews using topic modeling to assist performance testing: An industrial experience report
    Wang, Zehao
    Liu, Wei
    Chen, Jinfu
    Chen, Tse-Hsun
    JOURNAL OF SYSTEMS AND SOFTWARE, 2025, 222
  • [2] Modeling an Industrial Symbiosis Network using Bilevel Programming
    Das, Gulesin Sena
    Yesilkaya, Murat
    Altinkaynak, Busra
    Birgoren, Burak
    2021 62ND INTERNATIONAL SCIENTIFIC CONFERENCE ON INFORMATION TECHNOLOGY AND MANAGEMENT SCIENCE OF RIGA TECHNICAL UNIVERSITY (ITMS), 2021,
  • [3] An Experience Report on Modeling Software Process in Industrial Context: Challenges and Solutions
    Li, Yue
    Zhang, He
    Dong, Liming
    Liu, Bohan
    Yang, Lanxin
    PROCEEDINGS OF THE 2024 INTERNATIONAL CONFERENCE ON SOFTWARE AND SYSTEMS PROCESSES, ICSSP 2024, 2024, : 1 - 12
  • [4] Using Ontologies for Comparing Modeling Techniques: Experience Report
    Bider, Ilia
    Perjons, Erik
    Johanneson, Paul
    ADVANCES IN CONCEPTUAL MODELING, ER 2019, 2019, 11787 : 180 - 190
  • [5] Experience Report: An Industrial Experience Report on Test Outsourcing Practices
    Xia, Xin
    Lo, David
    Kochhar, Pavneet Singh
    Xing, Zhenchang
    Wang, Xinyu
    Li, Shanping
    2015 IEEE 26TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2015, : 370 - 380
  • [6] Experiences using viewpoints for information systems architecture: An industrial experience report
    Woods, E
    SOFTWARE ARCHITECTURE, 2004, 3047 : 182 - 193
  • [7] Software process modeling and enactment: An experience report related to problem tracking in an industrial project
    Gruhn, V
    Urbainczyk, J
    PROCEEDINGS OF THE 1998 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1998, : 13 - 21
  • [8] Predictive modeling of an industrial UASB reactor using NARX neural network
    Jain, V. K.
    Banerjee, Atiya
    Kumar, Shashi
    Kumar, Surendra
    Sambi, Surinder S.
    2015 6th International Renewable Energy Congress (IREC), 2015,
  • [9] Modeling and Predicting an Industrial Process Using a Neural Network and Automation Data
    Nykyri, Mikko
    Kuisma, Mikko
    Hallikas, Jukka
    Immonen, Mika
    Silventoinen, Pertti
    2020 IEEE 29TH INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE), 2020, : 505 - 509
  • [10] Reverse architecting: An industrial experience report
    Riva, C
    SEVENTH WORKING CONFERENCE ON REVERSE ENGINEERING - PROCEEDINGS, 2000, : 42 - 50
12345