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 条
  • [41] Incorporating Formal Techniques into Industrial Practice: an Experience Report
    Osaiweran, Ammar
    Schuts, Mathijs
    Hooman, Jozef
    Wesselius, Jacco
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2013, 295 : 49 - 63
  • [42] Enabling Multi-Tenancy: An Industrial Experience Report
    Bezemer, Cor-Paul
    Zaidman, Andy
    Platzbeecker, Bart
    Hurkmans, Toine
    't Hart, Aad
    2010 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, 2010,
  • [43] Generative programming for embedded software: An industrial experience report
    Czarnecki, K
    Bednasch, T
    Unger, P
    Eisenecker, U
    GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING 2002, PROCEEDINGS, 2002, 2487 : 156 - 172
  • [44] Controlling industrial emissions - practical experience: A report on the conference
    Nicholas, MJ
    CONTROLLING INDUSTRIAL EMISSIONS - PRACTICAL EXPERIENCE, 1997, (143): : 211 - 213
  • [45] Evaluating Usefulness of Software Metrics: An Industrial Experience Report
    Bouwers, Eric
    van Deursen, Arie
    Visser, Joost
    PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), 2013, : 921 - 930
  • [46] Microservices in a Small Development Organization An Industrial Experience Report
    Buchgeher, Georg
    Winterer, Mario
    Weinreich, Rainer
    Luger, Johannes
    Wingelhofer, Roland
    Aistleitner, Mario
    SOFTWARE ARCHITECTURE (ECSA 2017), 2017, 10475 : 208 - 215
  • [47] Using a balanced scorecard to identify opportunities to improve code review effectiveness: an industrial experience report
    Hasan, Masum
    Iqbal, Anindya
    Ul Islam, Mohammad Rafid
    Rahman, A. J. M. Imtiajur
    Bosu, Amiangshu
    EMPIRICAL SOFTWARE ENGINEERING, 2021, 26 (06)
  • [48] Using a balanced scorecard to identify opportunities to improve code review effectiveness: an industrial experience report
    Masum Hasan
    Anindya Iqbal
    Mohammad Rafid Ul Islam
    A.J.M. Imtiajur Rahman
    Amiangshu Bosu
    Empirical Software Engineering, 2021, 26
  • [49] EXTERNAL NETWORK MODELING - RECENT PRACTICAL EXPERIENCE
    KATO, K
    SNYDER, WL
    VEMURI, S
    PAPALEXOPOULOS, AD
    OATTS, ML
    CONTAXIS, GC
    SINGH, J
    SMITH, RA
    SAVULESCU, SC
    IEEE TRANSACTIONS ON POWER SYSTEMS, 1994, 9 (01) : 216 - 225
  • [50] PREDICTIVE MODELING FOR AN INDUSTRIAL NAPHTHA REFORMING PLANT USING ARTIFICIAL NEURAL NETWORK WITH RECURRENT LAYERS
    Sadighi, Sepehr
    Mohaddecy, Reza Seif
    INTERNATIONAL JOURNAL OF TECHNOLOGY, 2013, 4 (02) : 102 - 111
12345