Modelica is a general equation-based object-oriented language for continuous and discrete-event modeling of physical systems for the purpose of efficient simulation. The language ...
The theory of nominal sets is a theory for names, freshness and binders. It has recently been suggested as a framework for modelling local store because it allows for a more eleme...
Current modelling systems adequately support either modelling of parts or modelling of assemblies, whereas ideal modelling systems should adequately support both. To achieve this,...
Alex Noort, Geoffry F. M. Hoek, Willem F. Bronsvoo...
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mecha...
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...