Formal Requirements Engineering for Smart Industries Toward a Model-Based Graphical Language

被引：0

作者：

Le Borgne, Alexandre ^{[1
]}

Belloir, Nicolas ^{[1
]}

Bruel, Jean-Michel ^{[2
]}

Thuy Nguyen ^{[3
]}

机构：

[1] Univ Pau, LIUPPA, BP 1155, F-64013 Pau, France

[2] Univ Toulouse, IRIT, 118 Route Narbonne, Toulouse, France

[3] EDF R&D, Chatou, France

来源：

2016 INT IEEE CONFERENCES ON UBIQUITOUS INTELLIGENCE & COMPUTING, ADVANCED & TRUSTED COMPUTING, SCALABLE COMPUTING AND COMMUNICATIONS, CLOUD AND BIG DATA COMPUTING, INTERNET OF PEOPLE, AND SMART WORLD CONGRESS (UIC/ATC/SCALCOM/CBDCOM/IOP/SMARTWORLD) | 2016年

关键词：

Requirements engineering; formal languages; graphical languages; early validation;

D O I：

10.1109/UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld.2016.134

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

Requirements engineering is a most critical activity in the engineering process of complex cyber-physical systems. To avoid the ambiguity of natural or semi-formal languages and to provide tool support for engineering activities all along a system lifecycle (from scoping studies to system operation and maintenance), EDF has developed FORM-L, a formal constraints-based language for the modelling of assumptions, requirements and preliminary designs. This language can be interfaced with detailed design languages such as Modelica [7]. We present in this paper an ongoing work that aims at developing a graphical representation of FORM-L. The main objective is to facilitate the understanding of models, in particular by persons not familiar with FORM-L.

引用

页码：1028 / 1032

页数：5

共 50 条

[21] Fusing quantitative requirements analysis with model-based systems engineering
Cornford, Steven L.
Feather, Martin S.
Heron, Vance A.
Jenkins, J. Steven
RE'06: 14TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS, 2006, : 279 - +
[22] Requirements management within a full model-based engineering approach
Bernard, Yves
SYSTEMS ENGINEERING, 2012, 15 (02) : 119 - 139
[23] Model-Based Approach for Engineering Adaptive User Interface Requirements
Park, Kibeom
Lee, Seok-Won
REQUIREMENTS ENGINEERING IN THE BIG DATA ERA, 2015, 558 : 18 - 32
[24] Requirements Engineering for Model-Based Enterprise Architecture Management with ArchiMate
Bork, Dominik
Gerber, Aurona
Miron, Elena-Teodora
van Deventer, Phil
Van der Merwe, Alta
Karagiannis, Dimitris
Eybers, Sunet
Sumereder, Anna
ENTERPRISE AND ORGANIZATIONAL MODELING AND SIMULATION, EOMAS 2018, 2018, 332 : 16 - 30
[25] Combining Xtext and OSLC for integrated model-based requirements engineering
Marko, Nadja
Leitner, Andrea
Herbst, Beate
Wallner, Alfred
PROCEEDINGS 41ST EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS SEAA 2015, 2015, : 143 - 150
[26] Reverse Engineering on changed Functional Specification Documents for Model-Based Requirements Engineering
Koltun, Gennadiy
Basirati, Mohammad R.
Hammeed, Muhammed Subhan
Boehm, Markus
Krcmar, Helmut
Vogel-Heuser, Birgit
2019 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL CYBER PHYSICAL SYSTEMS (ICPS 2019), 2019, : 687 - 692
[27] Easing the use of smart contracts through model-based engineering
Gomez, Cristian
Vara, Juan Manuel
Perez-Blanco, Fco. Javier
Marcos, Esperanza
2022 IEEE 24TH CONFERENCE ON BUSINESS INFORMATICS (CBI 2022), VOL 2, 2022, : 126 - 132
[28] Editorial to the theme section on model-based engineering of smart systems
John Fitzgerald
Fuyuki Ishikawa
Peter Gorm Larsen
Software and Systems Modeling, 2020, 19 : 579 - 580
[29] Editorial to the theme section on model-based engineering of smart systems
Fitzgerald, John
Ishikawa, Fuyuki
Larsen, Peter Gorm
SOFTWARE AND SYSTEMS MODELING, 2020, 19 (03): : 579 - 580
[30] Toward an Experiential Design Language: Augmenting Model-Based Systems Engineering with Technical Storytelling in Virtual Worlds
Madni, Azad M.
Nance, Marcus
Richey, Michael
Hubbard, William
Hanneman, Leroy
2014 CONFERENCE ON SYSTEMS ENGINEERING RESEARCH, 2014, 28 : 848 - 856

← 1 2 3 4 5 →