A Formal Model for the Requirements Diagrams of SysML

被引：3
|
作者：
Valles-Barajas, F.
机构：
[1] Departamento de Tecnologías de la Información, Universidad Regiomontana, Nuevo León
来源：
IEEE LATIN AMERICA TRANSACTIONS | 2010年 / 8卷 / 03期
关键词：
Formal methods; Alloy; SysML; requirement diagrams; system modeling;
D O I：
10.1109/TLA.2010.5538400
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
There are several notations to build a model: textual, graphical and mathematical. There are several notations to build a model: textual, graphical and by using mathematics. The Object Management Group (OMG) has developed a graphical notation to model systems called SysML (system modeling language); this notation includes the modeling of the system requirements. In this paper a precise model of the requirements diagrams of SysML is presented. This model is made using a modeling language called Alloy, which has been used to formally specify UML diagrams.
引用
收藏
页码：259 / 268
页数：10
相关论文
共 50 条
  • [1] A formal verification framework for SysML activity diagrams
    Ouchani, Samir
    Mohamed, Otmane Ait
    Debbabi, Mourad
    [J]. EXPERT SYSTEMS WITH APPLICATIONS, 2014, 41 (06) : 2713 - 2728
  • [2] A methodology for verifying SysML requirements using activity diagrams
    Rahim M.
    Hammad A.
    Ioualalen M.
    [J]. Innovations in Systems and Software Engineering, 2017, 13 (1) : 19 - 33
  • [3] A first attempt to combine SysML requirements diagrams and B
    Laleau, Regine
    Semmak, Farida
    Matoussi, Abderrahman
    Petit, Dorian
    Hammad, Ahmed
    Tatibouet, Bruno
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2010, 6 (1-2) : 47 - 54
  • [4] Translation rules of SysML state machine diagrams into CSP# toward formal model checking
    Ando, Takahiro
    Yatsu, Hirokazu
    Kong, Weiqiang
    Hisazumi, Kenji
    Fukuda, Akira
    [J]. INTERNATIONAL JOURNAL OF WEB INFORMATION SYSTEMS, 2014, 10 (02) : 151 - +
  • [5] Verifying SysML activity diagrams using formal transformation to Petri nets
    Huang, Edward
    McGinnis, Leon F.
    Mitchell, Steven W.
    [J]. SYSTEMS ENGINEERING, 2020, 23 (01) : 118 - 135
  • [6] A formal approach using SysML for capturing functional requirements in avionics domain
    Shaofan ZHU
    Jian TANG
    JeanMarie GAUTHIER
    Raphal FAUDOU
    [J]. Chinese Journal of Aeronautics, 2019, (12) - 2726
  • [7] Semi-formal Representation of Requirements for Automotive Solutions using SysML
    Musat, Liana
    Huebl, Markus
    Buzo, Andi
    Pelz, Georg
    Kandl, Susanne
    Puschner, Peter
    [J]. PROCEEDINGS OF THE 2014 FORUM ON SPECIFICATION & DESIGN LANGUAGES (FDL), 2014,
  • [8] A formal approach using SysML for capturing functional requirements in avionics domain
    Shaofan ZHU
    Jian TANG
    Jean-Marie GAUTHIER
    Raphaёl FAUDOU
    [J]. Chinese Journal of Aeronautics, 2019, 32 (12) : 2717 - 2726
  • [9] A formal approach using SysML for capturing functional requirements in avionics domain
    Zhu, Shaofan
    Tang, Jian
    Gauthier, Jean-Marie
    Faudou, Raphael
    [J]. CHINESE JOURNAL OF AERONAUTICS, 2019, 32 (12) : 2717 - 2726
  • [10] Model-Based Structured Requirements in SysML
    Herber, Daniel R.
    Narsinghani, Jayesh B.
    Eftekhari-Shahroudi, Kamran
    [J]. SYSCON 2022: THE 16TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON), 2022,
12345