English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

In model-driven engineering, models abstract the relevant features ofsoftware artefacts and model transformations act on them automating complextasks of the development process. It is, thus, crucially important to providepragmatic, reliable methods to verify that model transformations guarantee thecorrectness of generated models in order to ensure the quality of the final endproduct. In this paper, we build on an object-oriented algebraic encoding ofmetamodels and models as defined in the standard Meta-Object Facility and intools, such as the Eclipse Modeling Framework, to specify a domain-specificlanguage for representing the action part of model transformations. Weintroduce the big-step operational structural semantics of this language andits type system, which includes a notion of polymorphic model subtyping,showing that well-typed model transformations are well behaved. That is, thatmetamodel-conformant model transformations never go wrong.

Well-Behaved Model Transformations with Model Subtyping