EMF-IncQuery gets Sirius: faster and better diagrams

Transcription

1 EMF-IncQuery gets Sirius: faster and better diagrams Ákos Horváth, Ábel Hegedüs, Zoltán Ujhelyi IncQuery Labs Ltd. Ádám Lengyel, István Ráth, Dániel Varró Budapest University of Technology and Economics Budapest University of Technology and Economics Department of Measurement Eclipsecon and Information 2015 Systems IncQuery Labs Ltd.

2 Motivation and background Sirius and queries Interpreter based integration Overview Demo and evaluation Outline of the talk Main Contributors o Ádám Lengyel o Ábel Hegedüs o Zoltán Ujhelyi o István Ráth o Ákos Horváth Query-based viewpoint definition Overview Demo and evaluation Conclusion Current status Future work 2

3 Introduction Viewpoint: Different view of underlying model Abstraction hides complexity?? I don t need all that information Can I define a simplified model? Can I define a viewpoint to visualize it? Maintanence Maintenance: Incrementally Immediately 3

4 Motivating scenario: CONCERTO EU-ECSEL project (started in 2013) o General MDD toolchain for safety-critical systems Analysis and code generation for component based systems UML based modeling Non-modifiable PSM Simplified Example PilotControl SubS1 Navigation tag: func tag: func SubS2 Simulink EMS tag: func FAM_PilotControl : Function subfunctions FAM_Navigation : Function Concerto Component models (UML + profiles) provider FAM_EMS : Function consumer nav2ems :InformationLink FMS tag: func View FAM_FMS : Function provider consumer nav2fms :InformationLink Id Id Function SubSystem with "func" tag) Other SubSystem without tag InPort/OutPort Port Blocks id:function EMS: Engine Management System FMS: Flight Management System More details on Matlab Simulink and Eclipse integration: id:informationlink 4

5 Sirius Background: Sirius o Custom concrete syntax for visualization Tree, table, graph, etc. o Provides viewpoint definition over EMF models o Abstraction can be defined using interpreted expressions MTL Acceleo Model-to-Text language OCL- Object Constraint language AQL (recommended as of 3.1) Acceleo Query Language o Supports several viewpoints over the same abstract syntax More details on Sirius: 5

6 EMF-IncQuery Background: EMF-IncQuery o Incremental model query engine o Own query language = IQPL declarative graph pattern based Model change Query Model Always up-to-date results without model re-traversal Updated results Evaluator Efficient change propagation Result deltas Track changes of your model in terms of queries More details on EMF-IncQuery integration: 6

7 IncQuery as a query language in Sirius

8 Overview: IQPL as query language for Sirius Sirius provides API to provide custom expression interpreter o org.eclipse.sirius.common.expressioninterpreter o org.eclipse.sirius.common.proposalprovider B. Change A. Model Notifications Modification Live Live Queries Queries 1. UI refresh EMF Model 2. Get queries VSM 3. Query results Render 4. UI updates 8

9 DEMO Using IncQuery in Sirius Same model query written in o MTL o AQL o IncQuery sendsignal() S1: S2: State State SM1: State Machine Master:AppType receivesignal() SA: SB: State State SM1: State Machine Slave:AppType instanceof :Master allocatedto allocatedto :Slave instanceof :HostInstance :HostInstance communicates 9

10 Evaluation: Interpreted expression EXECUTION TIME [MS] Profiler was used to isolate query execution time AQL o provides good performance o Low memory profile IncQuery o Recalculations < 50 ms o Requires up to 2x memory Large ~1.2 Gb Models EObjects EReferences EAttributes Diagram nodes Diagram edges Small Medium Large First Execution Recalculation MTL AQL EIQ MTL AQL EIQ MTL AQL EIQ Small Medium Large MODEL SIZE 10

11 Query-based resource Viewpoints as separate EMF resources

12 VIEW MODELS AND SIRIUS C. Delta updates A. Model Modification B. Change Notifications Live Live Queries Transformation Derived Model D. UI refresh VSM + Render EMF Model B. Change Notifications Live Live Queries Transformation EVM C. Delta updates Derived Model D. UI refresh More details on EVM:

13 Execution of motivating example More matches can appear at the same time o Ordered execution schema (priority for rules) Internal traceability for created objects o Explicit definition Configuration model hides underlying EVM rule definitions o Predefined set of manipulation rules available In summary: One way incremental synchronization arbitrary transformation Simulink PilotControl tag: func SubS1 Navigation tag: func FMS tag: func Query results function f_1 f_2 f_3 Traceability Trace Trace Trace FAM_PilotControl : Function subfunctions FAM_Navigation : Function subfunctions consumer FAM_FMS : Function CCM Query results subfunction f_1 i_1 f_2 i_2 functionidentifier f_1 i_1 f_2 i_2 f_3 i_3 1 a appear 2 create 3 add b appear 4 set

14 Updating derived models Initial setup of derivation rules o EClassifiers, EStructuralFeatures Query result deltas o Delta = (Found, Lost, Updated) Based on EMF-IncQuery Event-Driven Virtual machine Integration architecture Application 1 Source model Model manipulation Live transformation rules IncQuery- EVM Configuration Model manipulation 4 Sirius 5 Derived model UI update 2 Change notifications 3 Match set delta Query engine 14

15 DEMO Using IncQuery in Sirius Standard Sirius domain o Family representation o Incremental synchronization On-the-fly Concerto EMF-UML2 o Viewpoint for simplified representation 15

16 Evaluation - Concerto RUNTIME [MS] First time execution 10+ derivation rules Transformation ~33% of overall runtime Memory consumption ~3.5x of original model Models EObjects EReferences Diagram nodes Diagram edges Transformation Transformation + Sirius SIZE OF TARGET (VIEW) MODEL (ELEMENTS + REFERENCES) 16

17 RUNTIME [MS] Evaluation - Concerto Incremental recalculation Transformation re-execution < 50 ms Refreshing < 1 s Refreshing is also faster Models EObjects EReferences Diagram nodes Diagram edges Deletion Deletion + Sirius SIZE OF TARGET (VIEW) MODEL (ELEMENTS + REFERENCES) 17

18 Conclusions What we have done and where to move forward

19 Conclusions Proof-of-concept version is available o IncQuery does well as expected in incremental recalculations o Incremental refreshing is not available Would be nice to have explicit API o Usage requires deep knowledge of both Sirius and IncQuery o Common base with new EMF-IncQuery Viewers Experience o Concerto EU-ECSEL project Works with Papyrus and EMF-UML2! o Aimed application scenario Viewpoint definition directly for EMF models (one-to-one mapping) Online synchronization 19

20 Final points The examples and more details are available form o o Contributors: Main: BME-FTSRG, IncQuery Labs Ltd. Supporting projects: Concerto (EU-Artemis) (Hopefully) future partner: Obeo Your contributions (feedback, forum posts, ideas, patches) are very welcome! o To what direction should we enhance this approach? 20

21