Model-Based Development with Validated Model Transformation

2006 ◽  
Keyword(s):  
Model Transformation ◽  
Model Based

A Meta-Model-Based Approach to the Definition of the Analysis Results of Petri-Net Models

2013 ◽  
pp. 104-116
Author(s):  
Simona Bernardi ◽  
José Merseguer
Keyword(s):  
Petri Net ◽  
Model Transformation ◽  
Common Method ◽  
System Behavior ◽  
Modeling And Analysis ◽  
Meta Model ◽  
Transformation Rules ◽  
Model Based ◽  
Modeling Techniques ◽  
Definition Of

Multi-formalism modeling techniques enable the modeling and analysis of different aspects of a system. One of the main issues in the integration of multiple tools to support multi-formalisms is how to provide a common method to report the results of the analysis and how to interchange them between models, based on different formalisms, that often represent the system behavior at different granularity levels. In this chapter, the authors focus on the Petri Net formalism, and they present a preliminary work toward the definition of a common XML-based language for the specification of the results obtained from the analysis of Petri net models. The authors use a meta-model based approach, where first a structured set of meta-models representing the Petri net result concepts and their relationships are defined. Then, model transformation rules enable the mapping of meta-models to XML constructs.

Research on Model-Based User Interface Automatic Generation in SaaS Environment

2013 ◽  
Vol 850-851 ◽  
pp. 728-732
Author(s):  
Hao Wu ◽  
Qing Yi Hua
Keyword(s):  
User Interface ◽  
Model Transformation ◽  
Automatic Generation ◽  
Transformation Model ◽  
Interface Model ◽  
Development Method ◽  
Model Based ◽  
Abstract Level ◽  
Abstract Interface

A model-based user interface automatic generation development method was presented to adapt for user interface development requirement under SaaS environment. This method deployed abstract interface model, transformation model, specific interface model and final interface in different abstract level at running time. So, the server-end could distribute the user interface to the client-end by one time a widow or page. By a case study, this method can satisfy the demands of user interface under SaaS environment, and it is so simple to study and use.

Pragmatic model transformations for refactoring in Scilab/Xcos

2016 ◽  
Vol 07 (01) ◽  
pp. 1541004 ◽  
Author(s):  
Umut Durak
Keyword(s):  
Code Generation ◽  
Model Transformation ◽  
Graphical Model ◽  
Model Development ◽  
Model Specification ◽  
Model Transformations ◽  
Modeling Tools ◽  
Model Based ◽  
Code Structure ◽  
Model Refactoring

Model-Based Development has become an industry wide standard paradigm. As an open source alternative, Scilab/Xcos is being widely employed as a hybrid dynamic systems modeling tool. With the increasing efficiency in implementation using graphical model development and code generation, the modeling and simulation community is struggling with assuring quality as well as maintainability and extendibility. Refactoring is defined as an evolutionary modernization activity where, most of the time, the structure of the artifact is changed to alter its quality characteristics, while keeping its behavior unchanged. It has been widely established as a technique for textual programming languages to improve the code structure and quality. While refactoring is also regarded as one of the key practices of model engineering, the methodologies and approaches for model refactoring are still under development. Architecture-Driven Modernization (ADM) has been introduced by the software engineering community as a model-based approach to software modernization, in which the implicit information that lies in software artifacts is extracted to models and model transformations are applied for modernization tasks. Regarding refactoring as a low level modernization task, the practices from ADM are adaptable. Accordingly, this paper proposes a model-based approach for model refactoring in order to come up with more efficient and effective model refactoring methodology that is accessible and extendable by modelers. Like other graphical modeling tools, Scilab/Xcos also possesses a formalized model specification conforming to its implicit metamodel. Rather than proposing another metamodel for knowledge extraction, this pragmatic approach proposes to conduct in place model-to-model transformations for refactoring employing the Scilab/Xcos model specification. To construct a structured model-based approach, the implicit Scilab/Xcos metamodel is explicitly presented utilizing ECORE as a meta-metamodel. Then a practical model transformation approach is established based on Scilab scripting. A Scilab toolset is provided to the modeler for in-place model-to-model transformations. Using a sample case study, it is demonstrated that proposed model transformation functions in Scilab provide a valuable refactoring tool.

From Model-Driven Architecture and Model-Based Systems Engineering via Formal Concept Analysis to Graph-Based Design Languages and Back: A Scientific Discourse

2018 ◽  
Author(s):  
Dominik Schopper ◽  
Stephan Rudolph
Keyword(s):  
Pattern Recognition ◽  
Model Transformation ◽  
Recognition Problem ◽  
Model Transformations ◽  
Formal Concept ◽  
Inverse Transformation ◽  
Theoretical Point ◽  
Round Trip ◽  
Pattern Recognition Problem ◽  
Model Based

Most modern digital approaches to engineering are based on models and their model transformations. Most of these model transformations are mathematically speaking non-bijective mappings — so-called projections — where some information of the original model is lost during the mapping. From a theoretical point of view it is therefore of great interest to exactly examine the properties of these model transformations. In this paper at first the characteristics of a model are briefly explained. Then some of the most common model-based engineering approaches are reviewed and compared regarding their models and model transformations. In this examination the missing existence of an inverse transformation (a so-called text-to-model transformation, T2M) of a typical model transformation (a so-called model-to-text transformation, M2T) is identified. That discovery may well hold the key to the realization of a so-called round-trip engineering. The required existence of the inverse transformation to this round-trip engineering is then generically postulated as having the nature of a pattern recognition problem. For illustration purposes and a better understanding of the interpretation of the inverse transformation as a pattern recognition problem, a case study for the reconstruction of an abstract model from the concrete model is given using CAD-Data of a satellite. Since CAD models belong to geometry, dimensionless geometric moment invariants play a key role in the generic solution of the pattern recognition problem contained in this example.

Sign in / Sign up

Export Citation Format

Share Document