Une extension SysML pour l'ingénierie des exigences ... · Une extension SysML pour l'ingénierie...
Transcript of Une extension SysML pour l'ingénierie des exigences ... · Une extension SysML pour l'ingénierie...
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
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
�
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
������������� ��� �������� ���������(����� ������(��������������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
�
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
�
#��� ���������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
�
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
�
�
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
�
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
�
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
�
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
�
�
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
�
�
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
�
���������� ��������� �> �������� �������� � ������������)����� �:��<������������������(���������
�
�
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
�
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
����� ���������� ����� �)������� � >��� ������)����� ����������� ���������� �������������"����������������� ���������������� � ���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