Unified meta-modeling framework using bond graph grammars for conceptual modeling

2015 ◽  
Vol 72 ◽  
pp. 114-130 ◽  
Author(s):  
Veera Ragavan Sampath Kumar ◽  
Madhavan Shanmugavel ◽  
Velappa Ganapathy ◽  
Bijan Shirinzadeh
Author(s):  
Wafa Chama ◽  
Allaoua Chaoui ◽  
Seidali Rehab

This paper proposes a Model Driven Engineering automatic translation approach based on the integration of rewriting logic formal specification and UML semi-formal models. This integration is a contribution in formalizing UML models since it lacks for formal semantics. It aims at providing UML with the capabilities of rewriting logic and its Maude language to control and detect incoherencies in their diagrams. Rewriting logic Maude language allows simulation and verification of system's properties using its LTL model-checker. This automatic translation approach is based on meta-modeling and graph transformation since UML diagrams are graphs. More precisely, the authors have proposed five meta-models and three triple graph grammars to perform the translation process. The authors have used Eclipse Generative Modeling tools: Eclipse Modeling Framework (EMF) for meta-modeling, Graphical Modeling Framework (GMF) for generating visual modeling tools and TGG Interpreter for proposing triple graph grammars. The approach is illustrated through an example.


Author(s):  
Mohammed Adel Abdelmegid ◽  
Vicente A. Gonzalez ◽  
Ashkan M. Naraghi ◽  
Michael O'Sullivan ◽  
Cameron G. Walker ◽  
...  

2018 ◽  
Vol 117 ◽  
pp. 359-372 ◽  
Author(s):  
Soroosh Nalchigar ◽  
Eric Yu

SIMULATION ◽  
2017 ◽  
Vol 94 (5) ◽  
pp. 401-419
Author(s):  
Bin Chen ◽  
Peng Zhang

Epidemic transmission is a common type of public health emergency that is difficult to forecast and often causes substantial harm. Artificial societal models provide a novel approach to the study of public health problems. However, public health emergency management (PHEM) always involves multi-disciplinary and multi-hierarchical models that complicate the work of modeling. Models are also made more complex by the consideration of new requirements and interactions. Therefore, we propose a domain-specific methodology to guide the modeling process in PHEM. By analyzing domain characteristics and modeling requirements, a meta-modeling framework can be constructed, containing the basic elements with which to construct an artificial society to study epidemic transmission. In this paper, the designs of meta-models are discussed in detail, and domain models are implemented by code generation, which enables the support of large-scale, agent-based computational experiments on the KD-ACP platform. Case studies of Ebola are outlined, emergency scenarios are reconstructed based on pre-designed meta-models, and “scenario-response” experiments are presented. This study provides a valuable framework and methodology with which to study complex social problems in PHEM. The proposed method has been verified effectively and efficiently.


Author(s):  
Anne Brüggemann-Klein ◽  
Tamer Demirel ◽  
Dennis Pagano ◽  
Andreas Tai

We report in this paper on a technique that we call reverse modeling. Reverse modeling starts with a conceptual model that is formulated in one or more generic modeling technologies such as UML or XML Schema. It abstracts from that model a custom, domain-specific meta-model and re-formulates the original model as an instance of the new meta-model. We demonstrate the value of reverse modeling with two case studies: One domain-specific meta-model facilitates design and user interface of a so-called instance generator for broadcasting productions metadata. Another one structures the translation of XML-encoded printer data for invoices into semantic XML. In a further section of this paper, we take a more general view and survey patterns that have evolved in the conceptual modeling of documents and data and that implicitly suggest sound meta-modeling constructs. Taken together, the two case studies and the survey of patterns in conceptual models bring us one step closer to our superior goal of developing a meta-meta-modeling facility whose instances are custom meta-models for conceptual document and data models. The research that is presented in this paper brings forward a core set of elementary constructors that a meta-meta-modeling facility should provide.


Sign in / Sign up

Export Citation Format

Share Document