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: 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: 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: 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: 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.
Author: Dmitri Valeri Panfilenko
Publisher: Logos Verlag Berlin GmbH
ISBN: 3832552405
Category : Business & Economics
Languages : en
Pages : 330
Get Book Here
Book Description
Information system architecture (ISA) specification as a part of software engineering field has been an information systems research topic since the 60's of the 20th century. There have been manifold specification methodologies over the recent decades, developed newly or adapted in order to target the domains of software modelling, legacy systems, steel production, and automotive safety. Still, there exist considerable issues constituting the need for a flexible ISA development, e.g. incomplete methodology for requirements in model-driven architectures, lacking qualitative methods for thorough definition and usage of viewpoints. Currently existing methods for information system architecture specification usually de- vise the target architectures either addressing only a part of software life-cycles or neglect- ing less structured information. The method for flexible information system architectures (FISA) specification uses the viewpoint concept for mediating the domain expert and technical system levels. The FISA-method defines construction and application reference models based on the ANSI/IEEE Standard 1471-2000, viewpoints with model transfor- mations based on OMG-Standard Model-Driven Architecture (MDA), and four different approaches for ISA specification, thus providing for flexibility both in construction and refactoring procedures. The development of FISA-method has been based on a thorough analysis of the ISA specification method field and constructs a comprehensive procedure and reference engi- neering models for flexible ISA specification. The genericity of the conceived construction and application procedure models of FISA allows for its usage not only in research, but also in industry settings, as presented on illustrative scenarios in steel manufacturing and automotive safety.
