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

Post on 27-May-2020

54 views 1 download

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 semmak@univ-paris12.fr

** Université Paris Descartes45 rue des Saints-Pères 75006 Paris Contact : christophe.gnaho@mi.parisdescartes.fr

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