A framework for scalable dissemination-based systems
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A systematic study of functional language implementations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Models and issues in data stream systems
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
EMF: Eclipse Modeling Framework 2.0
EMF: Eclipse Modeling Framework 2.0
Detecting model inconsistency through operation-based model construction
Proceedings of the 30th international conference on Software engineering
Computer
Lazy execution of model-to-model transformations
Proceedings of the 14th international conference on Model driven engineering languages and systems
Morsa: a scalable approach for persisting and accessing large models
Proceedings of the 14th international conference on Model driven engineering languages and systems
Model interoperability in building information modelling
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
The wide adoption of MDE raises new situations where we need to manipulate very large models or even infinite model streams gathered at runtime (e.g., monitoring). These new uses cases for MDE raise challenges that had been unforeseen by the time standard modeling framework were designed. This paper proposes a formal definition of an infinite model, as well as a formal framework to reason on queries over infinite models. This formal query definition aims at supporting the design and verification of operations that manipulate infinite models. First, we precisely identify the MOF parts which must be refined to support infinite structure. Then, we provide a formal coinductive definition dealing with unbounded and potentially infinite graph-based structure.