02/10/2014 Safely Reusing Model Transformations through Family Polymorphism ������������������������ Director of IRISA ����������������� ������������������������������������������ � +� ���! -��������&���������-(��� � � ����������������� � ������������������� � ����������� ���� ����!������� � "#�$���� ����!��������� % � &���� �����'��� ��( �����!����� ) $�������(*��( ����� +�������������(, INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTEMES ALEATOIRES 2 02/10/2014 1
02/10/2014 Mechanical Airlines Structure Human- Machine Avionics Interaction Environmenta Aerodynamics l Impact Propulsion Safety System Regulations Authorities Communications Navigation INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTEMES ALEATOIRES 3 02/10/2014 Mechanical Airlines Structure Human- Machine Avionics Interaction Environmenta Aerodynamics l Impact Heterogeneous Modeling Languages Propulsion Safety System Regulations Authorities Communications Navigation INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTEMES ALEATOIRES 4 4 02/10/2014 2
02/10/2014 .� ����-������� /��'��'�� ����0���(����� ) 1�(2�3������ ������������� ������������ My problem My favorite toolbox Very « square »: fully formal � LO t of TO oling S upport The DSL Approach Reuse? Reuse? ) 0��� �������� ��������� � .-/�����!��� – 50+ variants of StateCharts have been reported! INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTEMES ALEATOIRES 5 02/10/2014 =(����� �����(��� �����.-/ � -����� ������� ����4�����'�������5� ������ � �������� ���! ��� ����6 � 7���� �������� ������ ���! ������� � � ffmpeg -i input.avi -b:v 64k -bufsize 64k output.avi ) +� �������������� ��'���'��� ��'��� � � 0�������������� ������ ���!����'��'� � �� ��' �����' ���� ) 8������������������������������������������"�����������9������������������9� ������(��'������������������������/������������'���������������:;<��������������� �'�������������������������������� ����� � 8��� �����9���9������9, � �'�����������������=����'��� ���������'��'�% INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTEMES ALEATOIRES 6 02/10/2014 3
02/10/2014 .-/��>�� +���� ���0�'�������' � >�� ���������' �����'���.-/, � +������� �(���!9��*��������(���!9��� ������9� ���' ����� ) 0������9��������9�-� �������9�+� ������, ) 3���������+���6���9�?���������' �����9�+���������, � ,=�����������' ���������.-/� � &���������' ����'����� � 0��� .-/����� ������� ������� � 8����������' ������� � � ��������/��������.-/�% INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTEMES ALEATOIRES 7 02/10/2014 &����� � -������������.-/ � & �������"�����������8�&���� �����������8�&� � &������������ *������.-/�������������������� �!�����'���������'��'��:��'��-����< � 0!�������.-/������������������(���!����� �� �������������������'�� � /��'��'������'�������:����7� ��< � �������������������������������������� � 3��6������� ����*����(9���'������������������� � -���������������������������� INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTEMES ALEATOIRES 8 02/10/2014 4
02/10/2014 ➠ Visit http://gemoc.org 7� �� &��������� >������ ��� ��������� ����������� ������������������� ����������������������������� �������� ��������� INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTEMES ALEATOIRES 9 02/10/2014 >������������ ���6 ) 0��� �������������� ����������������� .-/��� ����� � @���������� ������������ �������������� ������� .-/�������2 � @��������������( ����� �!�����' �����2 ⇒ >�� �.0����-/0,����� ������� ���� ⇒ ������ �(���' ���� ����� ����������������������� � >������ ����� ����������������������� *������ ������� .-/� INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTEMES ALEATOIRES 10 02/10/2014 5
02/10/2014 =(���-(��� � ) =(����(��� ��������������������� ����6�� ���*���'� ��(� ���������� � � 8*��������� � ?��������������( � & ���������(��� � 8������ ������� � , ) 1��� �*������ ������������� �(����(��� 2 11 INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTEMES ALEATOIRES 11 02/10/2014 3��6'�����������A�7�������������' -���6 A Model is a simplified representation of an aspect of the World for a specific purpose INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTEMES ALEATOIRES 12 02/10/2014 6
Recommend
More recommend