An implementation of multi-level modelling in F-Logic
Date
2014
Authors
Igamberdiev, M.
Grossmann, G.
Stumptner, M.
Editors
Atkinson, C.
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Conference paper
Citation
CEUR Workshop Proceedings, 2014 / Atkinson, C. (ed./s), vol.1286, pp.33-42
Statement of Responsibility
Conference Name
Proceedings of the Workshop on Multi-Level Modelling (28 Sep 2014 : Valencia, Spain)
Abstract
Multi-level modelling is currently regaining attention in the database and software engineering community with different emerging proposals and implementations. One driver behind this trend is to reduce model complexity, a crucial aspect in a time of big data research in which more and more data from different sources are required to be integrated. From our experience, multi-level modelling also improves understanding of complex specifications, simplify their management and evolution, and facilitate interoperability between them. This paper focuses on the requirement of reasoning for interoperability. Although there exist formalisation approaches for multi-level modelling, only few have the implementation for three fundamental aspects: formalisation, querying and validation of multi-level models. We propose an F-Logic framework to implement these aspects. In addition, we believe this approach is more likely to be adapted in real-world use cases because of its simple objectoriented declarative nature.
School/Discipline
Dissertation Note
Provenance
Description
Access Status
Rights
Copyright 2014 the authors