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