Model-Driven Software Design Automation for Complex Rehabilitation

2019 ◽  
pp. 211-235
Author(s):  
Pranav Srinivas Kumar ◽  
William Emfinger
Keyword(s):  
Software Design ◽  
Design Automation ◽  
Model Driven

scholarly journals XRTSDIC: model transformation from PIM to PSM

2018 ◽  
Vol 7 (1.8) ◽  
pp. 92
Author(s):  
G Ramesh
Keyword(s):  
Software Design ◽  
Model Transformation ◽  
Source Code ◽  
Object Oriented ◽  
Proof Of Concept ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Relationship Analysis ◽  
Uml Class Diagram ◽  
Computer Aided Software Engineering

Computer Aided Software Engineering (CASE) has been growing faster in software industry. As part of it Model Driven Engineering (MDE) has been around for focusing on models and transforming them from one model to other model. The tool named Extensible Real Time Software Design Inconsistency Checker (XRTSDIC) proposed by us in previous paper supports UML modelling, design inconsistency checking and model transformation from UML to ERD to SQL. In this paper it is extended further to facilitate model transformation from PIM (UML class diagram) to PSM (source code). We proposed an algorithm and defined model transformation and consistency rules. The extended framework has provision for class relationship analysis and support for choosing different object oriented languages like C#, C++ and Java. While transforming the model, we used the concept of dialects. Dialect is the class with transformation functionality which has ability to adapt to syntax and semantics of chosen language. Different dialects are made available for different languages. Thus the proposed system is capable of transforming models and the prototype application we built and extended demonstrates the proof of concept. The empirical results revealed that the model transformation is consistent and accurate.

scholarly journals An approach to MDA - ComDeValCo framework

2012 ◽  
Vol 21 (1) ◽  
pp. 95-102
Author(s):  
S. MOTOGNA ◽  
◽  
I. LAZAR ◽  
B. PARV ◽  
◽  
...  
Keyword(s):  
Software Design ◽  
Model Driven Architecture ◽  
Model Driven ◽  
Execution Environment ◽  
Dynamic Execution ◽  
Component Models

Software design based on Model Driven Architecture can be essentially improved including agile principles as immediate execution and test first development. This paper shows how a concrete tool, the ComDeValCo framework, has been constructed and enhanced to support such an approach. The paper discusses in detail how the constructs for component models and for the dynamic execution environment have been introduced.

scholarly journals Modeling Principles of the Sequence Diagram and its Application in MDA Software Paradigm

2012 ◽  
Vol 6-7 ◽  
pp. 15-19
Author(s):  
De Ren Yang ◽  
Min Liu ◽  
Zhao Hua Gu
Keyword(s):  
Software Design ◽  
Model Transformation ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Sequence Diagram ◽  
Software Modeling ◽  
Model Driven Architecture ◽  
Model Driven ◽  
Design Object ◽  
Modeling Principles

The sequence diagram can be used to design object-oriented software; however, its modeling principles are lack of research. In this paper, its application in software design was studied, and its inherent linkage with object-oriented programming was discussed, and the interactive mechanism among its elements was explored. The modeling principles for it were proposed; and its application in Model Driven Architecture (MDA) software paradigm was analyzed; and finally the model represented with it, especially the transformation and traceability of models in MDA software paradigm were analyzed. This research is useful to optimize software modeling and to automate model transformation in MDA software paradigm.

scholarly journals Ensuring Domain Conformity by Means of the Topological Functioning Model

2013 ◽  
Vol 14 (1) ◽  
pp. 42-49
Author(s):  
Erika Asnina
Keyword(s):  
Software Design ◽  
Central Place ◽  
Design Domain ◽  
Formal Specifications ◽  
Model Driven Engineering ◽  
Model Driven ◽  
A Chain ◽  
Open Question ◽  
System Knowledge

Abstract The paper focuses on an open question about ensuring conformity among a domain of system knowledge, an analysis domain, a software design domain, and code. Principles of Model Driven Engineering are used in the research, namely, formal specifications of domains and support of conformity among these specifications with the help of traceability mechanism. Topological Functioning Model (TFM) has a mathematical mechanism for supporting traceability, and, thus, conformity. The main results demonstrate that the TFM holds the central place in a chain of trace links between specifications, and analysis of these links enables verification of domain conformity. The results are theoretical and require additional practical experiments.

Sign in / Sign up

Export Citation Format

Share Document