1 / 8

MODELS 2013

MODELS 2013. Model Driven Engineering Languages and Systems, 16th International Conference Miami, Florida - USA 29 September 2013 through 4 October 2013. Papers.

lilah
Download Presentation

MODELS 2013

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. MODELS 2013 Model Driven Engineering Languages and Systems, 16th International Conference Miami, Florida - USA29 September 2013 through 4 October 2013

  2. Papers • Farias, Kleinner, et al. "Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies. • Selim, Gehan, et al. "Automated Verification of Model Transformations in the Automotive Industry." • Fondement, Frédéric, et al. "Big Metamodels Are Evil." 

  3. Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies MC Composition effort Different changes Influential factors Steps: Model Composition Detect inconsistencies Resolve them Industry cases: KleinnerFarias[unisinos.br], Alessandro Garcia[inf.puc-rio.br], Jon Whittle[Lancaster University, UK], and Carlos Lucena [inf.puc-rio.br]

  4. Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies Critical factors - > Effort to combine design models(1), detect(2) & resolve inconsistencies(3) in practice 5 industry cases: MC-> to evolve and reconcile large-scale design models AIMS: 1. the extent of composition effort >changes 2. identifying and analyzing their influential factors. HOW: A series of 297 evolution scenarios was performed on the target systems, leading to more than 2 million compositions of model elements. FINDINGS: 1. the inconsistency resolution effort is much higher than the upfront effort to apply the composition technique and detect inconsistencies; 2. the developer’s reputation significantly influences the resolution of conflicting changes; 3. and the evolutions dominated by additions required less effort. KleinnerFarias[unisinos.br], Alessandro Garcia[inf.puc-rio.br], Jon Whittle[Lancaster University, UK], and Carlos Lucena [inf.puc-rio.br]

  5. Automated Verification of Model Transformations in the Automotive Industry. PROBLEM: automated verification of industrial model transformations GM-to-AUTOSAR transformation verification -> the satisfiabilityof a transformation model, with respect to well-formedness OCL constraints. IMPLEMENTATION: A prototype for the ATL language to reason about the correctness of an ATL RESULTS: 1. the verification results of this transformation 2. the practicality of using such tools on industrial size problems Gehan M. K. Selim[Queen's University, CA], Fabian Buttner[INRIA, Nantes, France], James R. Cordy[Queen's University, CA], JuergenDingel[Queen's University, CA], and Shige Wang[General Motors Research,US] 146 corporate members as of October 2012 VCS

  6. Automated Verification of Model Transformations in the Automotive Industry. Gehan M. K. Selim[Queen's University, CA], Fabian Buttner[INRIA, Nantes, France], James R. Cordy[Queen's University, CA], JuergenDingel[Queen's University, CA], and Shige Wang[General Motors Research,US]

  7. Big Metamodels Are EvilPackage Unmerge - A Technique for Downsizing Metamodels PROBLEM & MOTIVATION: Reuse -> keeping irrelevant concerns in derived elements Additive techniques [profiling & package merge] -> harmful overheads of complexity for both tool builders and users CONTRIBUTION: «package unmerge» - a proposal for a subtractive relation between packages FrédéricFondement, Pierre-Alain Muller, Laurent Thiry, Brice Wittmann, and GermainForestier - Université de Haute Alsace,France

  8. Big Metamodels Are EvilPackage Unmerge - A Technique for Downsizing Metamodels FrédéricFondement, Pierre-Alain Muller, Laurent Thiry, Brice Wittmann, and GermainForestier - Université de Haute Alsace,France

More Related