safely reusing model transformations through family
play

Safely Reusing Model Transformations through Family Polymorphism - PDF document

02/10/2014 Safely Reusing Model Transformations through Family Polymorphism Director of IRISA


  1. 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

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend