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
相关论文
共 19 条
  • [1] 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
  • [2] 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
  • [3] 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 - +
  • [4] Supporting the UML State Machine Diagrams at runtime
    Barbier, Franck
    MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2008, 5095 : 338 - 348
  • [5] Specification and Execution of System Optimization Processes with UML Activity Diagrams
    Wichmann, Alexander
    Jaeger, Sven
    Jungebloud, Tino
    Maschotta, Ralph
    Zimmermann, Armin
    2016 ANNUAL IEEE SYSTEMS CONFERENCE (SYSCON), 2016, : 458 - 464
  • [6] Natural Interpretation of UML/MARTE Diagrams for System Requirements Specification
    Khan, Aamir M.
    Mallet, Frederic
    Rashid, Muhammad
    2016 11TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2016,
  • [7] Logic Controller Design System Supporting UML Activity Diagrams
    Grobelny, Michal
    Grobelna, Iwona
    2015 22ND INTERNATIONAL CONFERENCE MIXED DESIGN OF INTEGRATED CIRCUITS & SYSTEMS (MIXDES), 2015, : 624 - 627
  • [8] Automatic generation of object-Z specification from UML diagrams
    Miao Huaikou
    Chen Yihai
    ICCSE'2006: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION: ADVANCED COMPUTER TECHNOLOGY, NEW EDUCATION, 2006, : 857 - 862
  • [9] UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for The Workflows Specification and Verification
    Ben Younes, Ahlem
    Ben Ayed, Leila Jemni
    2009 IEEE CONGRESS ON SERVICES (SERVICES-1 2009), VOLS 1 AND 2, 2009, : 330 - 333
  • [10] SPECIFICATION AND VERIFICATION OF WORKFLOW APPLICATIONS USING A COMBINATION OF UML ACTIVITY DIAGRAMS AND EVENT B
    Ben Younes, Ahlem
    Ben Ayed, Leila Jemni
    ICSOFT 2010: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 2, 2010, : 312 - 316
12