«

»

Formally Defining and Iterating Infinite Models

by Benoit Combemale, Xavier Thirioux, Benoit Baudry
Abstract:
The wide adoption of MDE raises new situations where we need to manipulate very large models or even infinite model streams gathered at runtime. 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.
Reference:
Formally Defining and Iterating Infinite Models (Benoit Combemale, Xavier Thirioux, Benoit Baudry), In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), 2012.
Bibtex Entry:
@inproceedings{combemale12,
    title = {{Formally Defining and Iterating Infinite Models}},
    author = {Combemale, Benoit and Thirioux, Xavier and Baudry, Benoit},
    abstract = {{The wide adoption of MDE raises new situations where we need to manipulate very large models or even infinite model streams gathered at runtime. 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.}},
    booktitle = {Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS)},
    address = {Innsbruck, Austria},
    keywords = {MDE},
    year = {2012},
    url = {http://hal.inria.fr/hal-00716623/PDF/models12-infinitemodel.pdf},
	X-Country = {Austria},
	X-International-Audience = {yes},
	X-Language = {EN},
	X-Proceedings = {yes},
    x-abbrv = {MODELS},    
}