FDMM: a formalism for describing ADOxx meta models and models
HG Fill, T Redmond, D Karagiannis - International Conference on …, 2012 - scitepress.org
In the paper at hand we present the FDMM formalism that can be used to describe the core
constituents of the ADOxx meta modeling approach as it is provided for the Open Models
Initiative (OMI). The formalism is based on a first-order logic setting. Thereby formal
descriptions of the implementation of modeling languages based on ADOxx can be realized
in an intuitive and mathematically exact format. To illustrate the use of the formalism it is
applied to a modeling language and its instances from the area of risk management that has …
constituents of the ADOxx meta modeling approach as it is provided for the Open Models
Initiative (OMI). The formalism is based on a first-order logic setting. Thereby formal
descriptions of the implementation of modeling languages based on ADOxx can be realized
in an intuitive and mathematically exact format. To illustrate the use of the formalism it is
applied to a modeling language and its instances from the area of risk management that has …
[PDF][PDF] FDMM: A Formalism for Describing ADOxx Meta Models and Models
L Maciaszek, A Cuzzocrea, J Cordeiro - academia.edu
In the paper at hand we present the FDMM formalism that can be used to describe the core
constituents of the ADOxx meta modeling approach as it is provided for the Open Models
Initiative (OMI). The formalism is based on a first-order logic setting. Thereby formal
descriptions of the implementation of modeling languages based on ADOxx can be realized
in an intuitive and mathematically exact format. To illustrate the use of the formalism it is
applied to a modeling language and its instances from the area of risk management that has …
constituents of the ADOxx meta modeling approach as it is provided for the Open Models
Initiative (OMI). The formalism is based on a first-order logic setting. Thereby formal
descriptions of the implementation of modeling languages based on ADOxx can be realized
in an intuitive and mathematically exact format. To illustrate the use of the formalism it is
applied to a modeling language and its instances from the area of risk management that has …
Showing the best results for this search. See all results