EclipseCon Eu 2015 - Breathe life into your Designer!
Signaler
Partager
•2 j'aime•1,328 vues
EclipseCon Eu 2015 - Breathe life into your Designer!
•2 j'aime•1,328 vues
Signaler
Partager
Télécharger pour lire hors ligne
You have your shiny new DSL up and running thanks to the Eclipse Modeling Technologies and you built a powerful tooling with graphical modelers, textual syntaxes or dedicated editors to support it. But how can you see what is going on when a model is executed ? Don't you need to simulate your design in some way ? Wouldn't you want to see your editors being animated directly within your modeling environment based on execution traces or simulator results? The GEMOC Research Project designed a methodology to bring animation and execution analysis to DSLs. The companion technologies required to put this in action are small dedicated components (all open-source) at a "proof of concept" maturity level extending proven components : Sirius, Eclipse Debug, Xtend making such features within the reach of Eclipse based tooling. The general intent regarding those OSS technologies is to leverage them within different contexts and contribute them to Eclipse once proven strong enough. The method covers a large spectrum of use cases from DSLs with a straightforward execution semantic to a combination of different DSLs with concurrent execution semantic. Any tool provider can leverage both the technologies and the method to provide an executable DSL and animated graphical modelers to its users enabling simulation and debugging at an early phase of the design. This talk presents the approach, the technologies and demonstrate it through an example: providing Eclipse Debug integration and diagram animation capabilities for Arduino Designer (EPL) : setting breakpoints, stepping forward or backward in the execution, inspecting the variables states... We will walk you through the steps required to develop such features, the choices to make and the trade-offs involved. Expects live demos with simulated blinking leds and a virtual cat robot !
Contenu connexe
Tendances
Tendances(20)
En vedette
En vedette(20)
Similaire à EclipseCon Eu 2015 - Breathe life into your Designer!
Similaire à EclipseCon Eu 2015 - Breathe life into your Designer!(20)
Plus de melbats
Plus de melbats(20)
Dernier
Dernier(20)
EclipseCon Eu 2015 - Breathe life into your Designer!
- 1. With Sirius & GEMOC Mélanie Bats @melaniebats Obeo Benoit Combemale @bcombemale INRIA and Univ. Rennes 1 Breathe Life Into Your Designer!
- 4. Behavioral models Business Processes, Orchestrations, Functional chains, Activities, Protocols, Scenarios...
- 5. Step 12Step 1 Model execution Execution
- 6. Analysis of Behavioral Models ● Early V&V of behavioral properties ● Software engineering, systems engineering, enterprise architecture, scientific modeling...
- 10. Model Debugging
- 11. Model Debugging
- 12. Model Debugging
- 13. Model Debugging
- 14. Model Debugging
- 15. Model Debugging
- 16. Model Debugging
- 17. Model Debugging
- 18. Model Debugging
- 19. Model Debugging ● Traversing step forward the states reached by the model through the application of the interpreter ● Intuitive model comprehension technique ○ No abstraction gap ○ Better turn-arounds → Fast convergence towards an acceptable design
- 20. How To Get Your Own (Domain-Specific) Debugger ?
- 21. Gemoc ANR project “A Language Workbench for concurrent execution and simulation of heterogeneous models” http://gemoc.org/ins
- 24. A simple Eclipse based tooling
- 25. Arduino DSL
- 26. Demo
- 27. Demo … with no cat
- 28. Your own debugger recipe 1. Define the interpreter 2. Define the animator
- 29. Arduino simulator 2 new plugins: ● fr.obeo.dsl.arduino.simulator ● fr.obeo.dsl.arduino.simulator.design
- 30. Executable DSL Interpreter Model Animator (simulator.odesign) Model Editor (arduino. odesign) Eclipse Debug Control panel Domain Model (EMF) Breakpoints Animator parameterizes Debugger Stack frame configuration Variables configuration Stack frame Variables controls provided by the GEMOC Framework specific to Arduino Designer existing Eclipse components
- 31. Arduino simulator 2 new plugins: ● fr.obeo.dsl.arduino.simulator ● fr.obeo.dsl.arduino.simulator.design ------------------------------------------------------------ Language files blank comment code ------------------------------------------------------------ Java 14 229 318 1185 XML 5 0 0 329 Maven 2 12 18 54 ------------------------------------------------------------ SUM: 21 241 336 1568 ------------------------------------------------------------
- 32. Interpreter
- 33. Interpreter
- 34. Interpreter
- 35. Interpreter
- 36. Debug Controller
- 37. Debug Controller
- 38. Debug Controller
- 39. Debug Controller
- 40. Our debugger
- 41. Our debugger
- 42. Our debugger
- 43. Our debugger
- 44. Our debugger
- 48. Update variables
- 52. Animator ● Contributing actions ● Adapting style
- 54. Leverage the animation framework
- 55. Leverage the animation framework ● Encapsulate step over/into/return in transactions
- 56. Leverage the animation framework ● Encapsulate step over/into/return in transactions ● Bridge the Eclipse Debug APIs and the EMF APIs
- 57. Leverage the animation framework ● Encapsulate step over/into/return in transactions ● Bridge the Eclipse Debug APIs and the EMF APIs ● Transmit events and requests
- 58. Leverage the animation framework ● Encapsulate step over/into/return in transactions ● Bridge the Eclipse Debug APIs and the EMF APIs ● Transmit events and requests ● Initialize the tooling extension
- 59. Leverage the animation framework ● Encapsulate step over/into/return in transactions ● Bridge the Eclipse Debug APIs and the EMF APIs ● Transmit events and requests ● Initialize the tooling extension ● Provide off-the-shelf ecore model for runtime data
- 60. Ecore model for runtime data
- 61. Ecore model for runtime data
- 62. Ecore model for runtime data
- 63. Ecore model for runtime data
- 64. Ecore model for runtime data
- 65. Ecore model for runtime data
- 66. Ecore model for runtime data
- 68. Leverage the simulation framework
- 69. Leverage the simulation framework ● Use Xtend/Kermeta to define the interpreter
- 70. Leverage the simulation framework ● Use Xtend/Kermeta to define the interpreter ● A generic execution engine ● A generic control panel and timeline
- 71. Aspects
- 72. Aspects
- 73. Aspects
- 74. @Step
- 75. Executable DSL Interpreter Model Animator (simulator.odesign) Model Editor (arduino. odesign) Eclipse Debug Control panel Domain Model (EMF) Breakpoints Animator parameterizes Debugger Stack frame configuration Variables configuration Stack frame Variables controls provided by the GEMOC Framework specific to Arduino Designer existing Eclipse components
- 76. Executable DSL Execution engine Model Animator (simulator.odesign) Model Editor (arduino. odesign) Eclipse Debug Control panel Domain Model (EMF) Breakpoints Animator parameterizes Debugger Stack frame Variables controls Model Interpreter(K3) Xtend parameterizes Stack frame configuration Variables configuration provided by the GEMOC Framework specific to Arduino Designer existing Eclipse components
- 77. Executable DSL Execution engine Model Animator (simulator.odesign) Model Editor (arduino. odesign) Eclipse Debug Control panel Domain Model (EMF) Breakpoints Animator parameterizes Debugger Stack frame Variables controls Model Interpreter(K3) Xtend parameterizes Timeline Stack frame configuration Variables configuration provided by the GEMOC Framework specific to Arduino Designer existing Eclipse components
- 78. Arduino simulator based on simulation framework 2 new plugins: ● org.gemoc.arduino.operationalsemantics ● fr.obeo.dsl.arduino.simulator.design ------------------------------------------------------------ Language files blank comment code ------------------------------------------------------------ Xtend 2 35 1 413 Java 3 34 4 178 XML 2 0 0 329 ------------------------------------------------------------ SUM: 7 69 5 920 ------------------------------------------------------------
- 79. Demo … still with no cat
- 80. Leverage the Model Debugging
- 81. Executable DSL Execution engine Model Animator (simulator.odesign) Model Editor (arduino. odesign) Eclipse Debug Control panel Domain Model (EMF) Breakpoints Animator parameterizes Debugger Stack frame Variables controls Model Interpreter(K3) Xtend parameterizes Timeline Stack frame configuration Variables configuration provided by the GEMOC Framework specific to Arduino Designer existing Eclipse components
- 82. Executable DSL Execution engine Model Animator (simulator.odesign) Model Editor (arduino. odesign) Eclipse Debug Control panel Domain Model (EMF) Breakpoints Animator parameterizes Debugger Stack frame Variables controls Model Interpreter(K3) Xtend parameterizes Trace manager Timeline Stack frame configuration Variables configuration
- 83. Traces
- 84. Leverage the Model Debugging ● Relies on an execution trace to revert the executed model into a prior state ● Forward/backward navigation into the execution trace ○ No record & replay ○ (similar) Replay
- 85. Supporting Efficient and Advanced Omniscient Debugging for xDSMLs (Erwan Bousse, Jonathan Corley, Benoit Combemale, Jeff Gray, Benoit Baudry) In 8th International Conference on Software Language Engineering (SLE 2015), ACM, 2015. https://hal.inria.fr/hal-01182517
- 86. Another example See http://gemoc.org/ttc15 Debugging of Activity Diagrams
- 88. In a nutshell 1. Leverage Animation Framework (POJO simulator) ○ Code the interpreter ○ Code the execution engine → Quick results, easy to integrate, minimum execution control
- 89. In a nutshell 1. Leverage Animation Framework (POJO simulator) ○ Code the interpreter ○ Code the execution engine → Quick results, easy to integrate, minimum execution control 2. Leverage Simulation Framework (Advanced simulator) ○ Code the interpreter ○ Use the generic execution engine → More analysis capabilities and rich execution control (timeline...)
- 90. In a nutshell 1. Leverage Animation Framework (POJO simulator) ○ Code the interpreter ○ Code the execution engine → Quick results, easy to integrate, minimum execution control 2. Leverage Simulation Framework (Advanced simulator) ○ Code the interpreter ○ Use the generic execution engine → More analysis capabilities and rich execution control (timeline...) 3. Leverage Model Debugging ○ Use the trace manager → Advanced trace management facilities
- 91. Introducing Sirius Lab http://www.eclipse.org/sirius/lab.html Generic technologies (EPL) which have proven helpful and are looking for an interest to bring it at full maturity level. https://github.com/SiriusLab
- 92. To be continued ● Try executable Arduino Designer v0.1.x ● Read the GEMOC Publications ● Join the GEMOC Initiative ● Get in touch with us to breathe life into your designer
- 94. Thanks! Questions? Mélanie Bats @melaniebats Obeo Benoit Combemale @bcombemale INRIA and Univ. Rennes 1 Get the slides : http://fr.slideshare.net/melbats/eclipsecon-eu-2015-breathe-life-into-your-designer