Co-Evolution of Metamodels and Model Transformations PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Co-Evolution of Metamodels and Model Transformations PDF full book. Access full book title Co-Evolution of Metamodels and Model Transformations by Steffen Kruse. Download full books in PDF and EPUB format.
Author: Steffen Kruse
Publisher: BoD – Books on Demand
ISBN: 3738628940
Category : Computers
Languages : en
Pages : 278
Get Book Here
Book Description
Complexity is an essential property of software systems that increases in a non-linear fashion with the size of the software system. In software engineering, Model Driven Engineering (MDE) aims to alleviate this complexity by utilising models and modelling activities to raise the level of abstraction and to automate the production of artefacts. One specialised technique with this purpose is the model transformation, which allows the automated creation and modification of output models based on input models. As models and model transformations are used in a productive capacity, they underlie the same evolutionary pressure that conventionally build software systems do. Here the tight coupling between model transformations and metamodels becomes problematic, as changing the one often results in the need to check and adapt the other accordingly. This thesis presents an operator-based, stepwise approach to support software architects in the co-evolution of metamodels and model transformations. The approach allows the description of changes done to a metamodel and the automatic or semi-automatic resolution of the impact on related model transformations. Overall the effort needed for co-evolution is reduced.
Author: Steffen Kruse
Publisher: BoD – Books on Demand
ISBN: 3738628940
Category : Computers
Languages : en
Pages : 278
Get Book Here
Book Description
Complexity is an essential property of software systems that increases in a non-linear fashion with the size of the software system. In software engineering, Model Driven Engineering (MDE) aims to alleviate this complexity by utilising models and modelling activities to raise the level of abstraction and to automate the production of artefacts. One specialised technique with this purpose is the model transformation, which allows the automated creation and modification of output models based on input models. As models and model transformations are used in a productive capacity, they underlie the same evolutionary pressure that conventionally build software systems do. Here the tight coupling between model transformations and metamodels becomes problematic, as changing the one often results in the need to check and adapt the other accordingly. This thesis presents an operator-based, stepwise approach to support software architects in the co-evolution of metamodels and model transformations. The approach allows the description of changes done to a metamodel and the automatic or semi-automatic resolution of the impact on related model transformations. Overall the effort needed for co-evolution is reduced.
Author: Wael Kessentini
Publisher:
ISBN:
Category :
Languages : en
Pages :
Get Book Here
Book Description
Successful software products are evolved by introducing continuous changes at different levels. Thus, software industry is actively recruiting software engineers, not to create new software systems, but to evolve and maintain existing ones. Such evolution and maintenance tasks are tedious and time consuming. Thus, there is an urgent need to find better ways to evolve software systems and consequently, improve developers' productivity. Like the source code, the design is subject to evolution due to changing requirements and technological constraints. Model-Driven Software Evolution is concerned with the changes related to the design of software systems, from initial development to maintenance. In model driven development, the evolution of metamodels may break the relationships to dependent artifacts like models, transformation rules and OCL constraints. While several coevolution studies are proposed, most of them are providing either a manual or semi-automated support based on pre-defined templates of evolution scenarios. In addition to be pre-defined, these templates are specific to the artifact to co-evolve with the metamodel. The main objective of our research is to propose a generic search-based framework for the automated recommendation of coevolution strategies without using pre-defined templates for specific metamodel changes or artifact types. For an artifact to co-evolve, the goal is to produce a new version that conforms to the new version of the metamodel. To this end, we view the co-evolution as a multi-objective optimization problem, and guide the search for solutions by three objectives, which aims at minimizing the violation of the structure of the revised metamodel, the number of changes applied to the initial artifact, and the loss of information. Then, the framework is able to recommend an appropriate subset of co-evolution solutions, with the possibility of integrating the user in the loop to provide feedback and update the recommended changes. We validated our generic framework using three metamodel co-evolution cases, models, transformation rules, and OCL constraints, on sets of real-world data. The evaluation results show that our approach is effective in terms of correctness and usefulness as compared to the state-of-the-art co-evolution approaches.
Author: Keith Duddy
Publisher: Springer
ISBN: 3642388833
Category : Computers
Languages : en
Pages : 234
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013. The 13 full papers and 5 tool and application demonstrations were carefully selected from 58 submissions. The papers are grouped in topical sections which focus on new programming models, tools and applications, evolution and synchronization, transformation engineering, and testing.
Author: Richard F. Paige
Publisher: Springer Science & Business Media
ISBN: 3642024076
Category : Business & Economics
Languages : en
Pages : 294
Get Book Here
Book Description
This book constitutes the refereed proceedings of the Second International Conference on Theory and Practice of Model Transformations, ICMT 2009, held at the ETH in Zurich, Switzerland, in June 2009. The 14 revised full papers and 3 revised short papers presented together with 1 invited lecture were carefully reviewed and selected from 67 submissions. The papers address questions about the nature and features of model transformations, their composability and combination to build new model transformations and implement high-level model management operations, the classification of languages for expressing transformations, the measurement of the quality and extra-functional requirements of model transformations, and the definition of development methodologies that allow exploiting all their potential benefits. The volume also contains the minutes of the GRACE International Meeting on Bidirectional Transformations, held in December 2009 near Tokyo, Japan.
Author: José Cordeiro
Publisher: Springer
ISBN: 3642295789
Category : Computers
Languages : en
Pages : 271
Get Book Here
Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Software and Data Technologies, ICSOFT 2010, held in Athens, Greece, in July 2010. The 30 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from a total of 410 submissions in two rounds of reviewing and improvement. The papers cover a wide range of topics and are organized in four general topical sections on healthinf, biodevices, biosignals, and bioinformatics.
Author: Philippe Desfray
Publisher: Springer
ISBN: 331927869X
Category : Computers
Languages : en
Pages : 447
Get Book Here
Book Description
This book constitutes thoroughly revised and selected papers from the Third International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2015, held in Angers, France, in February 2015. The 25 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 94 submissions. They are organized in topical sections named: invited papers; modeling languages, tools and architectures; methodologies, processes and platforms; applications and software development.
Author: Laurence Tratt
Publisher: Springer
ISBN: 3642136885
Category : Computers
Languages : en
Pages : 286
Get Book Here
Book Description
Model transformations are the glue that tie modelling activities together. If you’ve used modelling in anger then, whether you know it or not, you’ve used model transformations. They come in all shapes and sizes from moving models between di?erent tools to generating implementations. Model transformations have humble beginnings—at one point, not long ago, it was said by many ‘in the know’ that the way forward in model transformations was to use XSLT. That this idea now raises a wry smile shows how far the model transformation community has come in a short time. Where once model transformations were hacked together in a variety of unsuitable languages, we now have a number of powerful, dedicated languages and theories at our disposal. Since 2008, the ICMT conference series has played a huge part in advancing the subject, and this third edition was no di?erent. The theories and languages presented at ICMT have allowed principled model transformations to play an ever greater part in real systems. Of course there is still much more to do: we need our model transformations, languages, and theories to scale further, allow greater expressivity, be more ?exible, and aid reusability; and we lack empirically backed studies of model transformations in use. Doubtless you can think of other gaps. Yet, though some real-world challenges lie just beyond our reach,eachyearseesonce-dauntingproblemsconquered.Muchofthatprogressis nowdriven byICMT, andthis year’sedition showedhow model transformations are increasingly being used in previously unfamiliar areas.
Author: Thelma Elita Colanzi
Publisher: Springer
ISBN: 3319992414
Category : Computers
Languages : en
Pages : 400
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 10th International Symposium on Search-Based Software Engineering, SSBSE 2018, held in Montpellier, France, in September 2018. The 12 full papers and 7 short papers presented together with 3 keynotes, 2 tutorials, and 1 anniversary paper were carefully reviewed and selected from 21 submissions. SSBSE welcomes not only applications from throughout the software engineering lifecycle but also a broad range of search methods ranging from exact Operational Research techniques to nature-inspired algorithms and simulated annealing. Chapter "Deploying Search Based Software Engineering with Sapienz at Facebook" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Author: Krzysztof Czarnecki
Publisher: Springer
ISBN: 3642360890
Category : Computers
Languages : en
Pages : 424
Get Book Here
Book Description
This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Software Language Engineering, SLE 2012, held in Dresden, Germany, in September 2012. The 17 papers presented together with 2 tool demonstration papers were carefully reviewed and selected from 62 submissions. SLE’s foremost mission is to encourage and organize communication between communities that have traditionally looked at software languages from different, more specialized, and yet complementary perspectives. SLE emphasizes the fundamental notion of languages as opposed to any realization in specific technical spaces.
Author: Tassilo Horn
Publisher: Logos Verlag Berlin GmbH
ISBN: 3832542914
Category : Computers
Languages : en
Pages : 475
Get Book Here
Book Description
This thesis is about a new model querying and transformation approach called FunnyQT which is realized as a set of APIs and embedded domain-specific languages (DSLs) in the JVM-based functional Lisp-dialect Clojure. Founded on a powerful model management API, FunnyQT provides querying services such as comprehensions, quantified expressions, regular path expressions, logic-based, relational model querying, and pattern matching. On the transformation side, it supports the definition of unidirectional model-to-model transformations, of in-place transformations, it supports defining bidirectional transformations, and it supports a new kind of co-evolution transformations that allow for evolving a model together with its metamodel simultaneously. Several properties make FunnyQT unique. Foremost, it is just a Clojure library, thus, FunnyQT queries and transformations are Clojure programs. However, most higher-level services are provided as task-oriented embedded DSLs which use Clojure's powerful macro-system to support the user with tailor-made language constructs important for the task at hand. Since queries and transformations are just Clojure programs, they may use any Clojure or Java library for their own purpose, e.g., they may use some templating library for defining model-to-text transformations. Conversely, like every Clojure program, FunnyQT queries and transformations compile to normal JVM byte-code and can easily be called from other JVM languages. Furthermore, FunnyQT is platform-independent and designed with extensibility in mind. By default, it supports the Eclipse Modeling Framework and JGraLab, and support for other modeling frameworks can be added with minimal effort and without having to modify the respective framework's classes or FunnyQT itself. Lastly, because FunnyQT is embedded in a functional language, it has a functional emphasis itself. Every query and every transformation compiles to a function which can be passed around, given to higher-order functions, or be parametrized with other functions.
