• norsk
    • English
  • English 
    • norsk
    • English
  • Login
View Item 
  •   Home
  • University of Bergen Library
  • Registrations from Cristin
  • View Item
  •   Home
  • University of Bergen Library
  • Registrations from Cristin
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

A General Methodology for Internalising Multi-level Model Typing

König, Harald; Wolter, Uwe Egbert
Chapter
Accepted version
Thumbnail
View/Open
Accepted version (967.0Kb)
URI
https://hdl.handle.net/11250/2989326
Date
2021
Metadata
Show full item record
Collections
  • Department of Informatics [740]
  • Registrations from Cristin [5237]
Original version
2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C).   https://doi.org/10.1109/MODELS-C53483.2021.00080
Abstract
Multilevel Modelling approaches allow for an arbitrary number of abstraction levels in typing chains. In this paper, a transformation of a multi-level typing chain into a single all-covering representing model is proposed. This comprehensive model is of equal size as the most concrete model in the chain and encodes all typing information in its labels, such that the typing chain can completely be restored. This guideline for maintaining multi-level typing chains in respective implementations of multi-level typing environments is based on a categorical equivalence theorem, which we generalize to a more convenient graph-oriented version.
Publisher
IEEE
Copyright
Copyright IEEE. All rights reserved

Contact Us | Send Feedback

Privacy policy
DSpace software copyright © 2002-2019  DuraSpace

Service from  Unit
 

 

Browse

ArchiveCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsDocument TypesJournalsThis CollectionBy Issue DateAuthorsTitlesSubjectsDocument TypesJournals

My Account

Login

Statistics

View Usage Statistics

Contact Us | Send Feedback

Privacy policy
DSpace software copyright © 2002-2019  DuraSpace

Service from  Unit