UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project

被引：0
|
作者：
Cerotti, Davide
Codetta-Raiteri, Daniele
Donatelli, Susanna
Brasca, Claudio
Dondossola, Giovanna
Garrone, Fabrizio
机构：
来源：
CRITICAL INFORMATION INFRASTRUCTURES SECURITY | 2008年 / 5141卷
关键词：
Electric Power System; UML; Class Diagrams; critical scenario; modelling; CRUTIAL;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The paper proposes the representation in form of UML Class Diagrams of the electric power system (EPS) intended to be composed by two kinds of interdependent infrastructures: the physical infrastructure for the production and the distribution of the electric power, and the ICT infrastructure for the control, the management and the monitoring of the physical infrastructure. Such work was developed inside the EU funded project CRUTIAL pursuing the resilience of the EPS. The paper first motivates the use of UML. Then, several UML Class Diagrams representing the EPS domain are presented and described. Finally, an example of critical scenario is represented by means of UML diagrams.
引用
收藏
页码：106 / 123
页数：18
相关论文
共 50 条
  • [1] AN UML ACTIVITIES DIAGRAMS TRANSLATION INTO EVENT B SUPPORTING THE SPECIFICATION AND THE VERIFICATION OF WORKFLOW APPLICATION MODELS From UML Activities Diagrams to Event B
    Ben Ayed, Leila Jemni
    Hamdi, Najet
    Hlaoui, Yousra Bendaly
    ICSOFT 2010: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 2, 2010, : 329 - 332
  • [2] Supporting the Composition of UML Component Diagrams
    Ermel, Guilherme
    Farias, Kleinner
    Goncales, Lucian Jose
    Bischoff, Vinicius
    PROCEEDINGS OF THE 14TH BRAZILIAN SYMPOSIUM ON INFORMATION SYSTEMS (SBSI2018), 2018, : 441 - +
  • [3] Analysis and specification of Consistency Rules for UML Diagrams
    Niepostyn, S.
    PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH-ENERGY PHYSICS EXPERIMENTS 2019, 2019, 11176
  • [4] A Formal Specification of UML Class and State Diagrams
    Hu, Gongzhu
    SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING, 2008, 149 : 247 - 257
  • [5] From a B specification to UML StateChart diagrams
    Hammad, A
    Tatibouët, B
    Voisinet, JC
    Wu, WP
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 511 - 522
  • [6] From UML Activity Diagrams to Specification Requirements
    Drusinsky, Doron
    2008 IEEE INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2008, : 69 - 73
  • [7] Formal semantic specification for a set of UML diagrams
    Zhang, C
    SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 883 - 889
  • [8] Supporting collaborative modelling in UML class diagrams
    Cortiana Neto, Raul Antonio
    Farias, Kleinner
    Bischoff, Vinicius
    Goncales, Lucian Jose
    REVISTA BRASILEIRA DE COMPUTACAO APLICADA, 2019, 11 (03): : 39 - 46
  • [9] Supporting the UML State Machine Diagrams at runtime
    Barbier, Franck
    MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2008, 5095 : 338 - 348
  • [10] UML Activity Diagrams in Requirements Specification of Logic Controllers
    Grobelna, Iwona
    Grobelny, Michal
    INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2015 (ICCMSE 2015), 2015, 1702
12345