Requirements specification and modeling through SysML

被引:0
|
作者
Soares, Michel dos Santos [1 ]
Vrancken, Jos [1 ]
机构
[1] Delft Univ Technol, Fac Technol Policy & Anal, NL-2600 GA Delft, Netherlands
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Use Case diagrams are well-known for their use to specify and describe system requirements. From initial system requirements documents, use cases can be derived representing several scenarios. These scenarios can later be detailed in different ways, as for example, through informal descriptions. In this paper, system requirements are first specified using the SysML requirements diagram and later by use cases. The main goal is to fill the gap between documents written in natural language and use cases by modeling requirements in a graphical and tabular way, which can improve the requirements representation. Also, the relationship between requirements is enhanced. An example of a real time distributed system is given to illustrate the approach.
引用
收藏
页码:2138 / 2143
页数:6
相关论文
共 50 条
  • [31] Formal modeling with SysML
    Bouabana-Tebibel, Thouraya
    Rubin, Stuart H.
    Bennama, Miloud
    2012 IEEE 13TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2012, : 340 - 347
  • [32] SysML Implementation of Property Based Requirements
    Zimmer, Rhett
    Sliger, John
    INCOSE International Symposium, 2023, 33 (01) : 1555 - 1569
  • [33] Evaluation of Requirements Management Processes Utilizing System Modeling Language (SysML) Executable Models
    Katz, Tami
    INCOSE International Symposium, 2021, 31 (01) : 551 - 569
  • [34] Towards Improved Requirements Engineering with SysML and the User Requirements Notation
    Amyot, Daniel
    Anda, Amal Ahmed
    Baslyman, Malak
    Lessard, Lysanne
    Bruel, Jean-Michel
    2016 IEEE 24TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2016, : 329 - 334
  • [35] 5.5.1 An Overview of the SysML-Modelica Transformation Specification
    Paredis, Christiaan J.J.
    Bernard, Yves
    Burkhart, Roger M
    de Koning, Hans-Peter
    Friedenthal, Sanford
    Fritzson, Peter
    Rouquette, Nicolas F
    Schamai, Wladimir
    INCOSE International Symposium, 2010, 20 (01) : 709 - 722
  • [36] Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs
    Berrachedi, Amel
    Ioualalen, Malika
    Hammad, Ahmed
    PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON SIMULATION AND MODELING METHODOLOGIES, TECHNOLOGIES AND APPLICATIONS (SIMULTECH), 2021, : 83 - 91
  • [37] Multifunctional software systems Structured modeling and specification of functional requirements
    Broy, Manfred
    SCIENCE OF COMPUTER PROGRAMMING, 2010, 75 (12) : 1193 - 1214
  • [38] Describing Software Specification by Combining SysML with the B method
    Kinoshita, Satoko
    Nishimura, Hidekazu
    Takamura, Hiroki
    Mizuguchi, Daichi
    2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2014, : 146 - 151
  • [39] Managing Software Requirements Changes through Change Specification and Classification
    Jayatilleke, Shalinka
    Lai, Richard
    Reed, Karl
    COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2018, 15 (02) : 321 - 346
  • [40] Model-Based Structured Requirements in SysML
    Herber, Daniel R.
    Narsinghani, Jayesh B.
    Eftekhari-Shahroudi, Kamran
    SYSCON 2022: THE 16TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON), 2022,