26
Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No. 6, 57-68, Jun 2008 ISSN 1796-217X Presenter: Ming-Chih Li ESL, Dept. of CSIE, CCU 2011/03/11

Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

Embed Size (px)

Citation preview

Page 1: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

Model-Driven User RequirementsSpecification using SysML

Authors: Michel dos Santos Soares, Jos Vrancken

Source:Journal of Software(JSW), Vol. 3, No. 6, 57-68, Jun 2008ISSN 1796-217X

Presenter:Ming-Chih LiESL, Dept. of CSIE, CCU2011/03/11

Page 2: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

2

Outline

Introduction A Proposed User Requirements

Classification User Requirements Specification Using

SysML Diagrams SysML Requirements Diagram Extensions Case Study Discussion Conclusion

2011/3/11

Page 3: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

3

Introduction

Requirements engineering(RE) is an important phase in a system’s life cycle. When poorly performed failures, cost overrun and delays

RE can be divided into two main groups of activities Requirements development

Documenting and analyzing Requirements management

2011/3/11

Page 4: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

4

Introduction (cont.)

Well-written user requirements documentation is fundamental as it facilitates later phases, not only during RE, but during the whole system life cycle.

2011/3/11

Page 5: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

5

Introduction (cont.)

The increasing complexity of systems makes requirements engineering activities both more important and more difficult. large number of elements and reliability

factors must be decomposed into several

smaller components increase the level of abstraction Model-driven approaches

2011/3/11

Page 6: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

6

Introduction (cont.)

UML and its profiles(e.g. SysML, MARTE) are the current dominant graphical languages used in model-driven approaches

This paper is about applying a Model-Driven Requirements

Engineering approach based on SysML

Requirements diagrams Use Case diagrams

2011/3/11

Page 7: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

7

Introduction (cont.)

First, a classification for each atomic requirement is proposed

the SysML Requirements diagram is used to represent graphically single user requirements and their relationships

2011/3/11

Page 8: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

8

Introduction (cont.)

Then, User requirements are also represented in a tabular format, which may facilitate requirements tracing during the system life cycle.

Finally, SysML Use Case diagrams are applied to represent the actors involved and the use cases, giving a context diagram delimiting the system

2011/3/11

Page 9: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

9

Introduction (cont.)

After being structured and graphically represented, user requirements may be detailed into systems requirements

2011/3/11

Page 10: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

10

A Proposed User Requirements Classification

A common classification proposed for requirements is based on the level of abstraction functional

describes what the system should do non-functional

are related to emergent system properties, such as reliability and performance

external a detailed description of all inputs into and

outputs from the software system

2011/3/11

Page 11: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

11

User Requirements Specification Using SysML Diagrams

The SysML Requirements Diagram is a stereotype of the UML Class diagram

2011/3/11

Page 12: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

12

User Requirements Specification Using SysML Diagrams (cont.)

Requirements relationships hierarchy derive satisfy

dependency relationship between a requirement and a model element

verify how a test case can verify a requirement

refine trace

2011/3/11

Page 13: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

13

User Requirements Specification Using SysML Diagrams (cont.)

Requirements Table This allows an agile way to identify,

prioritize and trace requirements

2011/3/11

Page 14: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

14

User Requirements Specification Using SysML Diagrams (cont.)

The SysML Use Case Diagram The SysML Use Case diagram is derived

without important extensions from the UML 2.0 Use Case diagram

The Use Case diagram shows system functionalities that are performed through the interaction of the system with its actors.

2011/3/11

Page 15: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

15

SysML Requirements Diagram Extensions

2011/3/11

Type: tagged valuese.g. Performance, Security and Efficiency for non-functional req. User, Hardware, Software and Communication for External Interface req.

Page 16: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

16

SysML Requirements Diagram Extensions (cont.)

Grouping Requirements Requirements may be decomposed into

atomic requirements, and may later even be related in the sense that together they are capable of delivering a whole feature

2011/3/11

Page 17: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

17

Case Study

The case study is based on a document with 79 atomic requirements for a road traffic management system.

We have selected in this paper to model the requirements of the Traffic Manager(TM, 10) and the Traffic Management Center(TMC, 8).

2011/3/11

Page 18: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

18

Case Study (cont.)

2011/3/11

Page 19: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

19

Case Study (cont.)

2011/3/11

Page 20: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

202011/3/11

Page 21: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

212011/3/11

Page 22: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

222011/3/11

Page 23: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

23

Discussion

natural language is the only description of requirements ambiguity, lack of easy visualization and

impossibility to analyze and simulate. SysML is a language

is highly customizable and can be extended into families of languages

Profiles may specialize language semantics, provide new graphical icons and domain-specific model libraries

2011/3/11

Page 24: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

24

Conclusion (cont.)

It is essential to have properly-structured and controlled requirements specifications

requirements tables are useful to represent decomposition in a tabular form and improve traceability

Using a specific diagram for requirements is a SysML advantage over UML

2011/3/11

Page 25: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

25

Conclusion

An extension to the basic SysML Requirements diagram is proposed, based on a classification for user requirements

It is also shown that related requirements can be grouped, which can be seen as an initial system decomposition into subsystems

2011/3/11

Page 26: Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No

26

Thanks for your listening

2011/3/11