MoDELS-D&P 2016
MoDELS 2016 - Demos and Posters

Table of Contents

Demo Session

• NeoEMF: a Multi-database Model Persistence Framework for Very Large Models 1-7
  Gwendal Daniel , Gerson Sunyé , Amine Benelallam , Massimo Tisi , Yoann Vernageau , Abel Gómez , Jordi Cabot
• txtUML 8-15
  Gergely Dévay , Tibor Gregorics , Melinda Tóth , Domonkos Asztalos , Dávid János Németh , Gábor Ferenc Kovács , Boldizsár Németh , Zoltán Gera , András Dobreff , Balázs Gregorics , András Nagy , Martin Budai , Zsolt Kulik , Kristóf Kanyó
• Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools 16-23
  Joel Greenyer , Daniel Gritzner , Guy Katz , Assaf Marron
• iOCL: An Interactive Tool for Specifying, Validating and Evaluating OCL Constraints 24-31
  Hammad Muhammad , Tao Yue , Shaukat Ali , Shuai Wang
• Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems 32-39
  Huafeng Zhang , Yu Jiang , Han Liu , Ming Gu , Jiaguang Sun
• SAC-OCL: A Tool for A Semi Automatic Co-evolution of OCL Constraints 40-47
  Djamel Eddine Khelladi , Reda Bendraou , Marie-Pierre Gervais
• C Code Verification based on the Extended Labeled Transition System Model 48-55
  Dexi Wang , Chao Zhang , Guang Chen , Ming Gu , Jiaguang Sun
• ArchFeature: A Modeling Environment Integrating Features into Product Line Architecture 56-63
  Gharib Gharibi , Yongjie Zheng
• Reifier: Model-Driven Engineering of Component-Based and Service-Oriented JEE Applications 64-71
  Jérôme Rocheteau , David Sferruzza
• ModifRoundtrip: A Model-Based tool to reuse legacy transformations 72-79
  Paola Vallejo , Jean-Philippe Babau , Mickaël Kerboeuf

Poster Session

• Operators for Template-Based MDE 80-86
  Matthieu Allon
• An Approach for Synthesizing Energy-Efficient Controllers for Production Systems from Scenario-Based Specifications 87-93
  Joel Greenyer , Daniel Gritzner
• Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing 94-100
  Assaf Marron , Brit Arnon , Achiya Elyasaf , Michal Gordon , Guy Katz , Hadas Lapid , Rami Marelly , Dana Sherman , Smadar Szekely , Gera Weiss , David Harel