Une extension SysML pour l'ingénierie des exigences ... · Une extension SysML pour l'ingénierie...

16
Une extension SysML pour l'ingénierie des exigences dirigée par les buts Christophe Gnaho* , ** — Farida Semmak* * LACL, 61 avenue du général de Gaulle, F-94010 Créteil cedex [email protected] ** Université Paris Descartes 45 rue des Saints-Pères 75006 Paris Contact : [email protected] RÉSUMÉ. Cet article présente un travail réalisé dans le cadre d'un projet ANR, qui a pour objectif d'établir des liens de traçabilité entre les phases d'analyse des besoins et de spécification. La principale idée est d'étendre le langage SysML avec les concepts les plus pertinents utilisés dans les approches dirigées par les buts. Dans cet article, nous proposons tout d'abord des extensions du modèle des exigences de SysML avec les concepts de buts de la méthode KAOS. Nous présentons ensuite un outil pour supporter les extensions proposées. ABSTRACT. This paper describes a work-in-progress in the framework of a research project aiming at defining traceability links between requirements phase and specification phase. The main idea is to extend the SysML language with the most relevant concepts of commonly used requirements engineering approaches. In this paper, we first define a set of SysML extensions to represent basic concepts of KAOS goal model. Then, we present a software tool to support the proposed extensions. MOTS-CLÉS : Ingénierie des exigences, SysML, Modèle de buts KAOS. KEYWORDS: Requirements engineering, SysML, KAOS goal model. Actes du XXVIII° congrès INFORSID, Marseille, mai 2010 277

Transcript of Une extension SysML pour l'ingénierie des exigences ... · Une extension SysML pour l'ingénierie...

Page 1: Une extension SysML pour l'ingénierie des exigences ... · Une extension SysML pour l'ingénierie des exigences dirigée par les buts Christophe Gnaho*, ** — Farida Semmak* * LACL,

Une extension SysML pour l'ingénierie des exigences dirigée par les buts

Christophe Gnaho*, ** — Farida Semmak*

* LACL, @����������?����,����61 avenue du général de Gaulle, F-94010 Créteil cedex [email protected]

** Université Paris Descartes45 rue des Saints-Pères 75006 Paris Contact : [email protected]

RÉSUMÉ. Cet article présente un travail réalisé dans le cadre d'un projet ANR, qui a pour objectif d'établir des liens de traçabilité entre les phases d'analyse des besoins et de spécification. La principale idée est d'étendre le langage SysML avec les concepts les plus pertinents utilisés dans les approches dirigées par les buts. Dans cet article, nous proposons tout d'abord des extensions du modèle des exigences de SysML avec les concepts de buts de la méthode KAOS. Nous présentons ensuite un outil pour supporter les extensions proposées. ABSTRACT. This paper describes a work-in-progress in the framework of a research project aiming at defining traceability links between requirements phase and specification phase. The main idea is to extend the SysML language with the most relevant concepts of commonly used requirements engineering approaches. In this paper, we first define a set of SysML extensions to represent basic concepts of KAOS goal model. Then, we present a software tool to support the proposed extensions. MOTS-CLÉS : Ingénierie des exigences, SysML, Modèle de buts KAOS. KEYWORDS: Requirements engineering, SysML, KAOS goal model.

Actes du XXVIII° congrès INFORSID, Marseille, mai 2010

277

Page 2: Une extension SysML pour l'ingénierie des exigences ... · Une extension SysML pour l'ingénierie des exigences dirigée par les buts Christophe Gnaho*, ** — Farida Semmak* * LACL,

1. Introduction

#�������������(���������������)���������������-2������3DDE.�-F��������������3DDG.� -%���������� ��� ���� 3DDD.����� ��������( �)����������� ���"����� ���������� �������� ���� ������� ��)�������������"������ ���������� �9���� ��������������������������"�������������������(������������ ����������������������������������������������� ���� �������� ��������� ������������ �������������������� �������������������������������������� �������� �������� ����� �������� ���� ������������������������ ���)� ������ �#(=%1������������������������������/��� ��� �"����������������'��%#�-=%1��4HHG.��� ��������� ����������������� �(���������������� ��"��� �> (���������)���������(�������,����� ����(@%# �#�� ������������������)� �������� �� (���������������������)������������������ �@����������������������������������'��%#����������������� ������� ����������� ��������������� ���������)�����������( ��������������(������������������ ��� ����������� ������������ �� �(�������� ���� ������� �����(/��(�������������� �

>����������� (����� ������������ ���������������� '��%#��(����������������������� ����� ���� �������� ���������( ���������������)� ���� �% ��������������� ��� ���������������������������������������������

,�#����������(�)������������������������"������������������������������)������ �

,� #������ ���������� ���� ����)� ������( ��������������� ������������ ��������� ��������������I���������������� �

9��������������( �������� ��� ����������� ��� �������� ������������������� �����'��%#���� ��������)�� ������������������ ������J� ������������������������������������������������������)����������������������������������)����� �?�������������������������(���������������� ����������������������������������������������������������������������������� ���������������������"��� ��������K2='���( ���� �������������� ������� ������� ��������� ����� ��������� ��� ��)� �����"���� �������-#���:�������4HHD. �>������)����������������� ��������'��%#��������� ������������������@%# �9���������� �����������/�� ���������)� �� �������������������)� �������,����������� �@������� �"����� �������� ��������� ���/� ����� �(� ���� �(���� �� ��������-#�������4H3H. �>�������������� ������������������������ �� ������������� �#��� ������������������������������������� �������������������������������������� �������� �������,�������������� ��������� (������������� �� �����,���� ������������� ��� �� ������������� �9������������������� ������� ����������������� �������������������� ��TOPCASED �*���������� �������(�����������������������"����������������������������������������������� ��� ���������������� �)������ �������������� ��� ���,��������������������������� ���������� �)����������������������������������J� �������������������������������������)����� �

>������ ����������������� ����� ���������������� �62> ='3� -Trustworthy�Assembling of� Components: frOm requirements to Specification.����������� �

�����������������������������3�#���������62>='�L�F�� �29F,HE,'�6*,H3M�

Actes du XXVIII° congrès INFORSID, Marseille, mai 2010

278

Page 3: Une extension SysML pour l'ingénierie des exigences ... · Une extension SysML pour l'ingénierie des exigences dirigée par les buts Christophe Gnaho*, ** — Farida Semmak* * LACL,

29F���� ��� ���/���������������������� ������ �������������� ������ ���������������"�����N������������(�)������������� ������������(/������������������������������������������������������������������� �����������)������� �#��� �������� (�������������������� ��� ������� ����������������� �������� ����� ����� ��� >�� � -?������� 3DDM.���������������������������������� ��,������������������������������������� �

#������ ��������� ������ ������ ������� ��� ���"������ ����� �#����� ���� 4� ��������� ��"����������������'��%#���������������������"��������)������������������K2='������������������� ��"������ ��� �#���������5�����������( �)��������������"��������)���������'��%# �#���������O�������������/��(������������������������������ �9�����)��������/�����������P��(���������(��������������)����������������������������/�����������E�������� ���������������������������������������� �

2. Pré requis

2.1. Le langage SysML

'��%#�-=% 1��4HHG.�������� ������ ������� �������� ������������� ������(���������������������������������"���������)�� �*������ ��������@%#�������������������������������� �'��@%#�������"�� �����������������(����������������������������������� ���� ��������������� (���������������� ��"������ ��������)�� ����� ��������������������)����� �'��%#����������)���������(@%#� ������(������������������� ����� ���� �������� � #��� ������� (@%#�� ���������� ��������� ���'��%#������� ������UML4SysML �'��%#������������������ ����������� �����������������(@%#�������������)������ �(��������������"�� �?������������������������������� ����)��������� ���������������������)��� ���������� ������������� ��"��������( ����������� ������J� ������������(��������������� � ������������������������������������������������������������� �!����� �������������> �� ��� ������ �8����������)�� �������� ����( �)������������ ����������� ��������� ���(�� ������ ��� ��� ���"��� �������� ���� ��� ��������� �������������������� ��� �*� ����� ������ �8� ������ ������������ ���������� �������������������������������������/�������������� ������� �

'��%#� �(���� ������� �������������� ��� �������� ��� ��������������� (���������������������� ��( ���������� ��� ��������� ����� ������@% #���� �������������� ��������������� ��� ��� ��� ��� ������ ����� ���������� ����� ��� �> ������ ��� ������� ��Q�����3�������������������?�����F������-F�������4HHD.��'��%#��(������������������������ ���������� ������������ ����� ������ ���� ����� (=%1����� ������������� ����� �2������ ������� ������������� ����� ���������� �����������)������ ����� ����������������������������������������������������������������)����� �

#����������������)� ��������������� ��������� ����������)�������������"�� �#����������������������� ��������������������)�������������������(�������������������( �)����������� ����������������,���� �����������/��( ������������ ��� ������(� �������� �>�� ���������( ��������������������� ��������������������

Actes du XXVIII° congrès INFORSID, Marseille, mai 2010

279

Page 4: Une extension SysML pour l'ingénierie des exigences ... · Une extension SysML pour l'ingénierie des exigences dirigée par les buts Christophe Gnaho*, ** — Farida Semmak* * LACL,

������������� ��� �������� ���������(����� ������(��������������J� �����������������)���������������������������������/�����)����� ���

Figure 1. Taxonomie des diagrammes SysML

��� '��%#�� ���� �)��������� ����R��������� �������������� ����������������������(�������"������������������������8��������������R�-=%1��4HHG. �@����)����� ����"��� ��� ������������ ������� �)������ �� ������ � �> (������ ���������������I����������"�������������������)�� ������������������������������� (�)���������������������/������������)� ���� �>����������������,��������'��%#��������������������������� ������������� ���������)� �������� ����� ������� ���� �)������ �����(����������� ��������� ���,���"�� � #��� ������������ Derives�� Contains�� Copy������������� ����� �������������������� ����� ���� �)������ ������� ���� ���� ������������Satisfy�� VerifiedBy�� Refine�� ��������� ���������� ��� �����������)��������������������������������������������������������� ������������ ������������"�� �#(����������� Contains��)��� �����( �����)� ������� ���� ����������������� ����)���� �#( ����������� Refine� �������� ��(����� ���������� ��"������� ���� ������������������������������(�����)������������)������������)�����������������������8������������������������(����������� �

@����)����������������������������������� Requirement������� �����������(�����)����������������������(������������������������������������������������� �

2.2. La méthode KAOS

K2='�-K��:�����2����������������=� �����'����������.���������� ������������� (���������������)� �������� ������ �������� �����)������������ ������� /��(@�������������#������� -#���:������� 4HHD. �>����������������������)����� ��������������������������"���������)���������������������������������/�����������������"��� �?���������K2='��(������������������������������������������� ��� �@�� ���

Actes du XXVIII° congrès INFORSID, Marseille, mai 2010

280

Page 5: Une extension SysML pour l'ingénierie des exigences ... · Une extension SysML pour l'ingénierie des exigences dirigée par les buts Christophe Gnaho*, ** — Farida Semmak* * LACL,

K2='� ������������ ��� �������� ���� ��"����� ��������� ������������� ��������� ������0��/����������������������������������� -����������������������� ����. �>��������� ���������Q�����4������ ��"������� �)������K2='������ ������������ ����,���"����������������������������"������������������

, #�� ���"��� ������� ���� ��� ���"��� ��� �� ����� ����� ��� ��� �� ������� ��"����� ��������������� ��������� �> ��� ��"��� ��������� �������������� ��������� �������0�������������������� ��������������������������������� ������� ����������-�����)�����. �

, #�� ���"��� � ����� �� ��� ������� ����( ������� ����� �� ����������� ���� �*� ���� ��������������������������������������@%# �

, #�� ���"��� ������������ ���������������� ����( �������������)��������)���������������� � �> ������� �������� ������������� ��"���/����� ������ -��������������.����/�������������������-�������)������. �

, #�����"����������������������������������������������������"��������������������������������������������������������������������������������"������� ������ ������������������� ������ �

, #�� ���"��������� ������������ �� ������� ��� ����� ����� ���������������� �������������������� ���������� ����������������)����� �>����� �����������������)������������������(������������)����������������������������� ��� �

Figure 2. Vue d'ensemble du modèle des exigences de KAOS

#(����������������"������ ������������������ ���������������������� ����������������������(���������������)����� �?����)������������������� ���������������(����������"����K2='�-������"�������������������������"���� �������� .�/��������������"������ ��� �!���� ����������"������ ��������������������� �����"��������������������������(�������� ���� �)������ �������� ����(�� ������� ������ ������(�� ������� ��� ��������� ���(������������(�������������������� �

Actes du XXVIII° congrès INFORSID, Marseille, mai 2010

281

Page 6: Une extension SysML pour l'ingénierie des exigences ... · Une extension SysML pour l'ingénierie des exigences dirigée par les buts Christophe Gnaho*, ** — Farida Semmak* * LACL,

#��� ���������K2='�������� ����������� ������� ����� ACHIEVE�� MAINTAIN��CEASE���� AVOID �@�� ���ACHIEVE�-���� � CEASE.������������������� ��������� ������"�������������-���� �����������������.� ����������������� ����������� ������� �@�� ��� MAINTAIN�-���� � AVOID.����� �������������� ������� ���� ��8� ���� ������������ ��-���� �������. �

#��� �� ��������� �8� �������� ������� ����������� ������� AND/OR �@�� ������������AND�� ������������� �������� ������������ , ���� ���� �������� ���������� ����������������������� ��������� �@��������������OR����������� �� �/������� ������������������, �������������������( �������������� ��� ������������������������)����(���������������(�����������������������, ��� ��

@�� �� ���� �������� ��� ���8� �������� ������ ����� ���/� ��� ���� � @�� ����� ���� �������������� �������� ��"������ ������������ ������� ��� ���������������� ��� �@�� ��������� ���/�������� ���� ������ ����� ���� ��- requisite. �@�� ��������������������������� �������( ���������������"� ��/���������������������������)�����-requirement.����� ��������������������������� �������(������������( ������������������� ��"���/����� ��������� ������ ������ �������� -expectation. �#�������������������������/�-#���:�������4HHD.������������������������������������������������� �

K2='��������������������������������������������������������������� �����0��/�������������� �����������������-#6#. �>� ����������������� ����������-#���:�������4HHD.�������������������������)������������������������������ �� ���������������� ������������������������������������������������������������������������ ��

3. Extension de SysML : SysML/KAOS

>����� ����������������� (�)������������ ��"��������)� ��������'� �%#������ �������������� ��"������ �� �����K2=' �?� �����������"�����)�����������������������������)�������������� �� � �=������ �������S�-%�����������3DDD.��>��:��-F��������3DDG.����������1;F2% �-2������3DDE. �?������������������K2='��� ��S������������� ����� ���������� ��� �����"���� ������ �#�����)��( ��������������K2='��������������������������� �K2='����������� ������������"��������������������������)������-���"������ ������ ��"������� �������� ��������� ��"���� ������� ��"�����������������).�������� �������������� ��������������������� ��"��� �K2='���������� ����� ��� ���������� ��� ��������������������� ���� ��� �� � �> ������� ������������������� ��"������� �� ��� �"���)��� ������ ��� ������������������� ��"����/������������������)��(� �������� �

!����� ������ ���-#�� �����4H3H.������)� ������� ���� ���� ������� ��� ���������������� �����/��� ����������� �@��� ���,���"����� ��������� ����������-� ������,���"��� SysML/KAOS.���������� ������������ ����������( �)���������� ������������������������ ��� �@���)�������(�����������(�)���������������������������������/����Q� ����P �9�������������������� ����,���"���SysML/KAOS������ �����������������)� �������,����������������(������������ ������������ ��������������� �

Actes du XXVIII° congrès INFORSID, Marseille, mai 2010

282

Page 7: Une extension SysML pour l'ingénierie des exigences ... · Une extension SysML pour l'ingénierie des exigences dirigée par les buts Christophe Gnaho*, ** — Farida Semmak* * LACL,

3.1. Extension de SysML/KAOS pour la représentation des exigences non-fonctionnelles

K2='��(���������������������"��������������������������������������������������������������������� ��������� ����)� ��������,���� �������������� ������ �����������������������������( ������������������"���-#���:�������4HH5. �Q���/���������)������� ������������� ��"���������������������� ���� �)������ ���,����������������� �����8� ���� �������� ��������� ���� �������� 8����� ������(� ��������� ����� ����)� ��������� ��������� �> ����� ����� ���������� �����������������������������������(��������������������������������������(���������������������������������� �?��������������������������������������������� SysML/KAOS��������������������������(����������������������������������������>����->�����������3DDD.������������>���������->����������������4HHO.���������������������� ��"��������,���������������������������������������� �

5 3 3�#���������������>����������>���������

5 3 3 3�#(�����������>����

>���������������������������"����S������������������������������������������������� ����������,����������������� ������������������ �� � �@�� �� ����,������������������������������������������ softgoal �#������� ��������������� ����������� ����������������������contribution�AND/OR et de contribution positive et négative �*��������)������������������������������������������������������ ������������8������������� ���������( ���������������������������� ��������� ����29!T=F� �(��� �������( ����������������������������������������-�������������������.������� ��� �

5 3 3 4�#(�����������>���������

>����������������������� ����������� �� ���"���� S���� ������������������ ������������������������)���������,�������������������� �����������"������������� �#������������������)���������� ������������ LeL���� ���� �������������� ����������������� ������ ���� �#���� ��"�������� ���������� ����,���� ������������ ��� � �������������� �#�����J� ���������������� ��"��� ���� �������������� ��"�������������(�������������������������) �������(� ������������� �������������� �(��������������������������������������������������������������� �

3.1.2 L'approche proposée�

#�������� ����������� ��������� ����� SysML/KAOS����� ���������� �������� ��� �I���� ���������� ���Q�����5��� ��� �I�������������������������������������'� �%# ���� ����������� �� ����,���"�������� � ����������� ����������( �)���������,���������������������������� �������,����������� ��

Actes du XXVIII° congrès INFORSID, Marseille, mai 2010

283

Page 8: Une extension SysML pour l'ingénierie des exigences ... · Une extension SysML pour l'ingénierie des exigences dirigée par les buts Christophe Gnaho*, ** — Farida Semmak* * LACL,

Figure 3. Extrait du méta-modèle de SysML étendu

#������,������Non Functional Goal���������������� �������,��������������������������������������������,������������� ���,������Goal,���������,�8���������������,������� ������ ���,������ Requirement� ���'� �%# �@�� �� ����,���� �������������������������������������������������� �������������������"������������������������)��������� �������� � #(����� ��� NFGType����� ����� ��� �����( �)��������,�����������������(����� ���Topic (sujet)�������������(�������������������������������� ������( �)���� �#( ���������( ��� �� ����,���� ������������� ������� ���� ���)������������� NFGType [Topic] �?����)�� ������� ��� BonnePrécision [données de localisation GPS]�������������� ������������������1?'� ���������������������� ������������� ��

@�� �� ����,���� ����������� �8� ������ ����� �� �� �� �����-� ���,������ AbstractNFG.���������� ������� ��������-� ���,������ Elementary NFG. �@�� �� ����,������������ ��������������������������, ��� �#����������������� �������������������������(�� ������������� ���(���� ������� Refinement �> ���������� "������� ��������� ������������������� ��� �� �� �� ������� ���������, �� ���� ���������� �� ����� ����� ���� ������������������������� �������AND/OR �@�� �� ���� �������� ������8� �������������� ���� �������������� �

@�� ��� �����������������8����������� /���� �� ������� �� ������-� ���,������Contribution Goal.�������������������������������"����������� ��������������������8������������� �#������������������� Contribution� ������������������������������������ ������/�� ����� ������������ �� ��� ��������� ��� ��������)������� ������ �

Actes du XXVIII° congrès INFORSID, Marseille, mai 2010

284

Page 9: Une extension SysML pour l'ingénierie des exigences ... · Une extension SysML pour l'ingénierie des exigences dirigée par les buts Christophe Gnaho*, ** — Farida Semmak* * LACL,

ContributionNature����ContributionType �#������������ContributionNature������������������������������� ����������positive����négative �@�������� ���������������-����������.����������������������������(��� ��������� �� ���������������/���� ����������� ��������������������J������������-����������. �=�������������(U(�������(,(��������������������� ����������� ������������������������������� ���������� ������������������ ��� ��������� �� ����� �#( ����� ��� ContributionType����� ��������������� ��� �������� ��������� � directe���� indirecte �@������ �� �������� ��������������������������������������� ������� ������������� ����� ������������ �� ������ �)������� ��� ����� �������������,���� ������ �@������ �� ������ ���������� ���������������������������������� ��������������������� �������������� ������������������ ������������������,���������� �#��Q�����O������ ������������������������������ �=�����������������)�� ��������� �� ����������� ����� Utiliser un format non compressé ������������� ������������� ��������� ��� ������� �����������,����������� Temps de réponse [Données de localisation] ��� ���� ����� ���������� ����� ����������� �� �Espace de stockage [Données de localisation] �

@�� �� ������� �� ���������� ���� ���� (� �����( �������� ������� AND/OR����������������������������(����������������)����������������,���"���������Q�����5 �

Figure 4. Illustration du concept de but de contribution

#�������� Impact����� ��������� ����� ��� ���� ���,������������ ��)� ��������������� �*� ���������� ��� ����� ����( ��� ��� ��� ����� ���������������� �������� �� ����������� �@�� ���������������)��������� ������/���� �������������������������"�� �?��� ���������� ��� ������ ����� �������)���� ��������J ������������������ ������������������ �������,� 8����)���� ��������� ���������������������"� ��������� ����������������������N� ���������� ������ �#�� ��������� ���� ��� ��������� ������� ��������������� ������� ���,�����8����� ������� �� ������ ��������� ���� ����"��� V� >������������������� ������,���"���-�����Q�����5.�����������Impact�������������������������������(������������������������������ ����������� ������������ �������������������������� ����� ����J������� ���� �� ����,���� ����������� �� ���������� ������������� �> ���� ��������� �8� ����� ����� ��� ������������� �� �������������� ����positive����négative������������direct����indirect ��

Actes du XXVIII° congrès INFORSID, Marseille, mai 2010

285

Page 10: Une extension SysML pour l'ingénierie des exigences ... · Une extension SysML pour l'ingénierie des exigences dirigée par les buts Christophe Gnaho*, ** — Farida Semmak* * LACL,

3.2. Etude de cas : le composant de localisation

#(� ��������������������������( �����������(��������������������������������������������������������������� �@������"������������������������������������������(�������"������� ���������� �������� �; ���������� ����"���� ��� ������������ ���� ������������������������������� "���������� �#� ������"�������� ������������������ �8� �����J�������������������� ����������� ����������� ������A �Q������;������������������������������������������"���������� ��

#������������������ ����������� ��"��� �����)����������� �����������������������������������������������������������������

,�#(�����������������������(��� ���������(���������������������������,�#������ ��������������� �"�������� SysML/KAOS������ ��"��� ���� �)������

�����������������������"��������)���������,���������������,�#(������������������)����"��� �#�������,��������������������������� ��"��������������)������"���������� �

3.2.1. Le modèle de buts fonctionnels SysML/KAOS du composant de localisation

#��Q�����P�� ����������)� ��������� ��"������ ����������������SysML/KAOS��������������������������� �

Figure 5. Extrait du modèle de buts fonctionnels du composant de localisation

!�����(�)���������� ����������������������������������������������

Achieve�W#�����������>�� X�InformelDef������>�� ������8������������

>�� �� ���� ������������� ���������, �������������������������AND �>�� ����������������������������������������/����Q�����P���������������������������������������������������������)����������� ��������� �#�������������, �����������

Achieve�WQ������ ��������������X� InformelDef�� �!(� ���������� ������������ ������������������

Actes du XXVIII° congrès INFORSID, Marseille, mai 2010

286

Page 11: Une extension SysML pour l'ingénierie des exigences ... · Une extension SysML pour l'ingénierie des exigences dirigée par les buts Christophe Gnaho*, ** — Farida Semmak* * LACL,

Achieve�W>����������������������������������������������X�

� InformelDef��������������������������������������������������������������

Achieve�WQ�����������������������������������X�

� InformelDef�� ������������������������������� ������������������(� ���������������������������� �

#�� �� � Achieve�WQ������ ����� ���������X� ��������������������������� ����AND�������)�����, �� ��� � Utiliser un GPS et Utiliser un WPS �> �������� ���� ����� �����)���������� ���������-���� �������F������� ���.���������������� �������� �������������������������� GPS���� WPS �#���������� �������( ��������������������� �������������������������������������������������(����������� �������������� �

#������������������������������������� ��� ��� ����"��������� ��"��������-'����<��������4HHG. �

3.2.2 Le modèle de buts non-fonctionnels SysML/KAOS de la localisation

?���������������"���������������������������������������������������������"������� ���������> �� ��� ��������������� ������������ � ��������� ������������ ��������������������������������������������� ����� �?����������������� ����������������������������������������8������������������� ������������������������� �>��� ����������������� ������� �� ��������������� SysML/KAOS����������� ������������ �� �����,����������� �@���)�������������������/�� ��Q�����E �#������� ��������(��� �� ����,������������������� ������������)�����"���������������������NFGType�����������������Topic �

2��������� �� �Sécurité [Données de localisation]���������������������������������������������� NFGType �*������������������ ���������, �������,���������������������������������AND���

Disponibilité [Données de localisation] ������� ������������ �� � ������� �(�������������������������������������������������/������������� �

Intégrité [Données de localisation] �������������� ���� ���������������� ���������������������������������������� � #��������������������������������� �����������������������������������/��������������������������������� �

Confidentialité [Données de localisation]���������������������)����������������������� �

Actes du XXVIII° congrès INFORSID, Marseille, mai 2010

287

Page 12: Une extension SysML pour l'ingénierie des exigences ... · Une extension SysML pour l'ingénierie des exigences dirigée par les buts Christophe Gnaho*, ** — Farida Semmak* * LACL,

Figure 6. Extrait du modèle de buts non-fonctionnels de la localisation

Le but Disponibilité [Données de localisation] ��������� ����������)�����, �� ��������� ������� ������� OR���� �� ������������� �������� �������� ������� ��� Topic���Disponibilité [Données de localisation Odomètre], Disponibilité [Données de localisation GPS].�

!��� ���8 ����� ��"����� �� ��� Bonne précision [Données de localisation] ������������������)�����, �� ������������������� ���� 29!�-�������� ����������� Topic.���Bonne précision [Données GPS] et Bonne précision [Données WPS].

>������ ��� ������� ��Q� ����E��� ������, �� � Confidentialité [Données de localisation]������8���������������� ������������ ����������������� �������, ����������������� ������������ ��������Utiliser un code PIN, Exiger un identifiant additionnel et Comparer les signatures. !���8������� ����������� ������Avoir un GPS défectueux ����� ����������"�������������)� �������,������������Disponibilité [Données de localisation] et Bonne précision [Données GPS] �#�� �� � Dégrader confiance ������������� ��������� ������������������������ ������,���������� Bonne précision [Données GPS].

3.2.3. L'intégration des deux modèles de buts

>������������/�����������5 3������������(impact���������������������������������(��� ��������� �� ���������������� �������� ������������� �#��Q� ����M�� ����������)������ ��� �� ����� ��� �������� � ?���� � ���������� ��������� ������� ��� ���� ��������������������� �������� ������������������������,����������������������� �� ����������� ������Donner une valeur de confiance élevée.�>�� �������� ����������������������������������� ��������������Fusionner les données de localisation �

Actes du XXVIII° congrès INFORSID, Marseille, mai 2010

288

Page 13: Une extension SysML pour l'ingénierie des exigences ... · Une extension SysML pour l'ingénierie des exigences dirigée par les buts Christophe Gnaho*, ** — Farida Semmak* * LACL,

Figure 7. Impact entre buts non-fonctionnels et buts fonctionnels

4. L'outil SysML/KAOS dans TOPCASED

#(������������'��%#������(����������� �������������� �������(21#��������������������������� ���� ���/� �������� ���� ������ � #�������������������/������������������������'��%#������2�������'���:�����9��%����6�������������������������?2?YF @'4����6=?>2'�!5 �9���������������� �������������������������� ������(��������������6=?>2'�!���������������������� ������ ���� ���)����������������������������������������<���������������������������������� �

6=?>2'�!� -6���<����� �=� ��,�������� ��>�������2� ���������Z�'����� ��!����������.���������������������������������������������(2�� ���Q��������4HHO �#(� �����������������������������/��������������������������������������������������� ����(��������(��������������"����������������������������������������������������"������������������������ �@��������� ����������� �������������6=?>2'�!���������������������������������������� � �!��������������������������6=?>2'�!��������8������������������������I���� ���"��� ������������� ������������������������������������������������������������������������ ������������������������������������������������,������������������������� ��������������� � �����"�������� ��������������������������������������������/����������N�������)�������������������� �

4.1. Architecture

>������������������Q�����G��6=?>2'�!�������������������������������������� ������������ ���� ����������� ���� �#( �����������������������������������������6=?>2'�!�'!K�����<�����������������������������/���������������� ����(������������������������������ � �����"���������� ���������������������������)� ����������������������������� �?��� ���������������� ������������������ �������������������

�����������������������������4�?2?YF@'�������TT::: ���������� ���5�6=?>2'�!�������TT::: ������� ���

Actes du XXVIII° congrès INFORSID, Marseille, mai 2010

289

Page 14: Une extension SysML pour l'ingénierie des exigences ... · Une extension SysML pour l'ingénierie des exigences dirigée par les buts Christophe Gnaho*, ** — Farida Semmak* * LACL,

���������� ��������� �> �������� �������� � ������������)����� �:��<������������������(���������

Figure 8. Architecture de TOPCASED

, �%Q�-�������%�������Q����:��<.������ � �����"��������������������������������������������

, 1�Q�-1���������������Q����:��<.������ � �����"������������������������������������������� ����������� ���������� �������� ������ ������� �����)�������������%[>�-%��"���[���>���������.�

6=?>2'�!�'!K��( ������������ ������������������� ��������� �����26#T\[6O��2����P���� �

2���������"������������(���������������������������������������������������������������������������� �#( ������'��%#TK2='��(�������������(�����������/������������������������������������������������� � ������������� ���� ����������/�� ����� ������������ �

4.2. Génération de l'outil SysML/KAOS dans TOPCASED

#������������������������ ��������( ������'��%#TK2='���������� ��/���� Q�����D �*�������������������������������������

, ������������������� ���,���"���'� �%#TK2='�������� ����>=F� � >��������������������(���������>=F�����6=?>2'�!��

, ����������������(������"��������������������������������������������������(������-� ��������� ��� ������������ ����� ��������������� ����������� ������ ���������������� .�

, ��� ���������������������( ���������� ���������������������������������������������������������������%Q���������������������������6=?>2'�!��

, ����������������������������������� �>��������� ���������Q� ����D ���(� ������ ��������� �������� ����� ��� ������ �(���

����� ��� ������,��������������������� ���������������� ���"�����)���������������(������ ������������������������������O�26#������TT::: ������ ��T�4�T���T�P�2����������TT����� ���

Actes du XXVIII° congrès INFORSID, Marseille, mai 2010

290

Page 15: Une extension SysML pour l'ingénierie des exigences ... · Une extension SysML pour l'ingénierie des exigences dirigée par les buts Christophe Gnaho*, ** — Farida Semmak* * LACL,

Figure 9. Génération de l'outil SysML/KAOS

5. Travaux similaires

'��%#� ����������������� ������������������������������������������������������� ������)� �������������� ������� �������� �������� ��"������ ���)�� �#��� ��������)� ������)� ������� ������ �������������������� �������������� ������/������������������������ �?�������������������������)������%�%��6�)�-2� ������������4HHM.�����������������)������26�''6E��������/���������������)������������'��%#������� ��� �����������������)� ����������� ����� ����� ���� ����"������ ������������������ �!����-'� ���,'�������4HHD.�����������@%#T'Y'%#� -TTool.�������������������������� ��� ���J� ������ �(�)�������������������������������������������(�������"������������� ��

#(�)���������������������������� �������� ���������������� � �������(����������������������� �� ������� �����"��������)� ��������'� �%# �#(������������ ����� �������������������'��%#�������� ��������J� ����� ���������� ��������������������������������������������)������������������������������)����� �

6. Conclusion et perspectives

!��������������������������� �����(� ������������������)� ����������� ��"��������)���������'� �%#������� ������������������������� ��"������ �������K2='�����������������"����������� �������,����� ������ � ?���������������������������������

�����������������������������E�26�''6��������http://www.atesst.org �

Actes du XXVIII° congrès INFORSID, Marseille, mai 2010

291

Page 16: Une extension SysML pour l'ingénierie des exigences ... · Une extension SysML pour l'ingénierie des exigences dirigée par les buts Christophe Gnaho*, ** — Farida Semmak* * LACL,

����� ���������� ����� �)������� � >��� ������)����� ����������� ���������� �������������"����������������� ���������������� � ���J� ������������������������( ������������ ������������������������ �#(�������� ������� ��������������'��%#��������( ���������������������������������������������������(�������"�� �

#�������������������������� ���������������������������������������������������������������������������������������������� ��( ������'��%#TK2='������������������������ ������� ������������� �������� ��������( ������� ��������� �(���������� �����)����������������)�������(������������������������ �

7. Bibliographie

2� �����2 ��;��������] ,# ��!� ����+ ��?������,Q�����% ,2��'�����Y ��[���\ ,!��%����, ���������������������������� ���������� ����������� ���������������3rd ECMDA workshop on traceability��]����HM��+������*����� �

2�����2*��1���� ����������������������� ��� �In Proceedings of International Conference on Requirements Engineering (ICRE96)�������35E,3OO��3DDE �

>��������� ��9��,����������F���������������Software Engineering��K��:����3DDD�

>�������������� ��9������������F������������ �Q������������������>���������%������ IEEE TSE��%���4HHO�

#������F��'�� ��<�Q��%�������� 2 ��?�����! ��+������2 ��6��� �����; ��2�Q�����2���� ������>�� ����'� �%#�F�������� ����!����������� ; In Innovations Systems and Software Engineering journal��4H3H�6�������� �'������,[���� �

#���:������2 ��Requirements Engineering: From System Goals to UML Models to Software Specifications �A������4HHD �

#���:������2 ��Q ����' ������1���� ����' ���:����2����������� In Formal Methods for Software architectures��% �;�������Z�? �*��������� -���.��#9>'�4GHO��'�������[������4HH5�

%����������]��>����#��Y�����Q����= ��� ,=�������� ���1���,=��������F������������2������� �In Communications of the ACM O4-3.�������53,5M��3DDD �

=%1���'��%#�[�3 3��������TT::: �� ��T���T'��%#T3 3��4HHG �

?������% ��2����������� ������������������� �������:���������������������:�����������Proc.Of the World Congress on Intelligent transport systems��=� �3DDM �

F������?��SysML par l'exemple�4HHD���������� �

F�������>��'����� ���>��;���2�����>��1� �����1����%�������@����'��������� In IEEE Trans. on Sofware Engineering 24(12)�������3HPP,3HM3��3DDG �

'����,'�������?���������� ��� 2���������#�������6��J� �������( �)��������� ���������������(������@%#T'��%#�66��� In: GPL 2009, 4G,5H�]����4HHD��6���������Q���� ��

'����<�Q ������ �F����������������?������6��� �4HHG �

Actes du XXVIII° congrès INFORSID, Marseille, mai 2010

292