Science topic

Model Driven Engineering - Science topic

Explore the latest questions and answers in Model Driven Engineering, and find Model Driven Engineering experts.
Questions related to Model Driven Engineering
  • asked a question related to Model Driven Engineering
Question
8 answers
Hello everyone, I'm willing to build a solution that is able to generate AST models from a Java based Android app source code. Can anyone please recommend me a good article to start because my solution will not be based on a previous work such as MoDisco.
Relevant answer
Answer
Roland Petrasch my objective is to generate PIM models from code. As a beginning, I've chosed Java based android apps, so based on their source code, I need to generate an AST model then transform it into a PIM using model-to-model transformations
  • asked a question related to Model Driven Engineering
Question
9 answers
More than 40 years later, and there is still no standard for the ER model. Both researchers and industry say that is a popular database design tool, and it is still a must-taught topic in almost every basic database course. So, there is a need for clarifying the motivations for this state of affairs.
However, it is fair to say that it is not clear yet if it is viable to have an ER model standard as a design language. Therefore, I could ask: is it?.
Relevant answer
Answer
I agree with you. Probably we need an official/standardized UML Class Diagram notation for ER modelling, but it will take time.
  • asked a question related to Model Driven Engineering
Question
5 answers
We are looking for a formal notation or language for megamodels preferably with a graphical representation (but text will do). To my knowledge, beside the basics defined by Favre, there does not exist one commonly used notation. We need to describe models, meta-models, transformations, and transformations as source and target models.
Thanks for your help
Reiner
Relevant answer
Answer
You can use object-role modeling (ORM) to design large models. ORM is a graphical language that is based on first order logic and set theory. ORM has been implemented in a free tool called NORMA which you can download from https://www.ormfoundation.org/files/folders/norma_the_software/default.aspx
  • asked a question related to Model Driven Engineering
Question
1 answer
Which would be the best transformation technique for model transformation in migrating a user interface of desktop application into web application? The migration method has been created .How can it be implemented in model driven approach. How to select and which conditions to be checked ?
Relevant answer
Answer
The question for the "best" transformation technique for UI reengineering, cross-platform development, or migration depends on the goals, and the methods used. You said that the migration method has been created already. It is a little bit unclear what exactly this method is, what you already have (metamodel?) and what you need in the model driven arena now. For instance, if you have developed a method that includes 3 metamodels (source, neutral, and target), then you would need a code/text-analyser/transformer, e.g. eclipse MoDisco. If you want to modify/change/enhance the UI before it is generated for the target platform, then you probably need a model-to-model transformation (QVT-O). This "edit option" make sende in many cases. For the "last mile", i.e. the UI code generation, a template-based model-text/ocde generator like Acceleo (MOFM2T) is helpful.
  • asked a question related to Model Driven Engineering
Question
5 answers
Dear, 
I am looking for an EER-metamodel that is designed for class diagram notation. 
For now, I have the following paper: "EERMM: A Metamodel for the Enhanced Entity-Relationship Model", but the metamodel included in this paper is designed specifically for the Chen-notation.
I am developing a tool with the UML class diagram notation.
Thank you very much in advance.
Relevant answer
Answer
Thank you very much for all your answers, I have checked most of the papers and found some valuable information. I have decided to develop my own meta-model based on the EERMM for the Elmasri-Navathe notation. 
I will include a photo of the metamodel which was specified in Ecore.
If you would have any remarks, feel free to give them.
  • asked a question related to Model Driven Engineering
Question
3 answers
In the INCOSE Systems Engineering Vision 2025, Model Based System Engineering (MBSE) is a vital part of Systems Engineering of the future.
Relevant answer
Answer
No, but I agree that this is the future of information sharing together with searchable and other functions within content that is shared.
  • asked a question related to Model Driven Engineering
Question
5 answers
if the answeris yes
can you provide me a description to this aproach
Relevant answer
Answer
The paper you quote makes reference to the article "An MDA Manifesto". In this case, Manifesto is just what everybody know a manifesto is, i.e. a written statement that describes the policies, goals, and opinions of a person or group (in this case about MDA). MDA is the OMG's MDE propposal.
  • asked a question related to Model Driven Engineering
Question
4 answers
While experimenting with nuXmv and NuSMV model checkers, I observed that input variables contribute no state to the entire state-space of any given model.
The user manuals of these tools clearly mentioned syntactic differences between these kinds of variable. For example, the "IVAR" introduces the input variables paragraph; but "VAR" introduces state variables.
Is there any science behind this behavior of input variables? In particular, how do these model checkers handle input variables and state variables? Any reference on this observation will be appreciated.
Relevant answer
Answer
Hi Yasir,
Here are my concerns:
MODULE main
-- this is an IVAR paragraph
  IVAR
   v1 : 0..20;
   v2 : 0..20;
-- this is a VAR paragrapgh
  VAR
    v3 : 0..100;
ASSIGN
  init(v3) := 0;
  next(v3) := case
    v2 + v1 = 0 : 10;
    TRUE : v2 + v1;
  esac;
LTLSPEC !F(v3 = 0)
But by simply changing this to VAR, we have x = 18081, y = 44541
MODULE main
-- this is a VAR paragraph
  VAR
   v1 : 0..20;
   v2 : 0..20;
-- this is a VAR paragraph
  VAR
    v3 : 0..100;
ASSIGN
  init(v3) := 0;
  next(v3) := case
    v2 + v1 = 0 : 10;
    TRUE : v2 + v1;
  esac;
LTLSPEC !F(v3 = 0)
The difference reflects from the values of y. So my question is what makes IVAR behaves differently from VAR.
Try to run the my code and compare the complexities. You should be able to know the difference. I would have modified you code but the restrictions on IVAR will not make it compile.
  • asked a question related to Model Driven Engineering
Question
1 answer
I am conducting some experiments with a focus on the number of BDD nodes required for the analysis of a given property on various NuSMV or nuXmv models.
It will be appreciated if anyone can provide a guide on the procedure or recommend resources to assist me in conducting the experiments.
Thanks.
  • asked a question related to Model Driven Engineering
Question
4 answers
Once built in EMF, what are the best approaches to validate a metamodel? Some M1 instances are enough? Or it would be better to go deeper and build M0 instances?
Relevant answer
Answer
To my experiance the fastest and the best way to validate both models and meta-models is to have good target platform or system that will execute models. Here You can find some my examples how to do it in measurement, automation and robotics: https://www.youtube.com/channel/UCqyYnYD6J5fEeb6Ni3YLuKg
At the moment I do not plan to integrate solution in EMF, but some videos maybe can help You.
  • asked a question related to Model Driven Engineering
Question
1 answer
Hi,
I designed a model of a turbine. Now, I want to mesh this model.
Therefore, I should have a sufficient number of  layers in boundary layer. But I dont know that what number consider. For this reason, I have to know value dimensionless height of boundary layer thickness until I can calculate value of thickness of boundary layer.
And also, I have to know value of growth factor for meshing.
I am grateful that guide me about these values and if it is possible, please place useful links about these subjects.
On the other hand, I want to use from K-e turbulence model with wall function.
Thanks,
Best,
Ali
Relevant answer
Answer
Hi,
There is no straightforward way to select a mesh size since the nature and geometry of the problem determine the specific requirements of mesh to bring stability and convergence to numerical solution.
I recommend you to start with the Prandtl-Von Karman velocity profile (specific for pipe flow) as first approximation to get the sub laminar layer thickness (available in any Fluid Mechanics textbook). Assign a minimum of ten mesh layers in such thickness and generate other 4 meshes duplicating the number of elements for each model. Generate numerical results for all meshes and then compare and study the effect of mesh element density on simulation results.
Best regards,
Johane Bracamonte MSc.
  • asked a question related to Model Driven Engineering
Question
10 answers
As OWL is based on the open world assumption it will rather classify entities than validate them in the classic way, since it assumes a non complete knowledge base.
This characteristic had caused me great problems when considering to use OWL for MDE (Model Driven Engineering) to generate a form based knowledge management system.
With forms the user WANTS validation, which must be rather strict and in real-time. The domain and range conditions won't help:
"The fact that domain and range conditions do not behave as constraints and the fact that they can cause ‘unexpected’ classification results can lead problems and unexpected side effects." (A Practical Guide To Building OWL Ontologies Using Protégé 4 and CO-ODE Tools, p36)
I've found Pellet Integrity Constraints (http://clarkparsia.com/pellet/icv/) which adds stricter constraint features to OWL.
This is where the Semantic Web has lost me. I need to extend an already complex system in order to achive something as simple and common as classic validation?
Have I missed something obvious, or is OWL really unsuitable (or at least very painful) to model closed world systems?
I can see why OWL and the OWA work the way they do and that knowledge bases that aggregate information from different sources can benefit from this concept. However, most systems are (for good reasons) closed world.
Relevant answer
Answer
Hello Simon,
Although ontologies are in essence OWA, they are described as a set of restrictions. IMO the concrete language ( OWL ) may perfectly describe CWA. The question is an interpretation. Obviously reasoners are based on OWA and because this is the only correct way to work with ontologies, getting CWA is a hard task.
In my OWL2XS tool I had to make a lot of logical querying based on negation to get CWA. The simplest example is: Monkeys have a tail and they are mammals. Do humans have a tail? In the OWA they "might". Any OWA reasoner will return an existential quantification hasTail for both mammals and humans unless you specifically negate it. To check CWA one should explicitly try to negate it for the class and this is very computationally intensive.
Probably more interesting would be to create a CWA reasoner - it should be very close to an OWL parser!
So my answer yes you can. Nothing prevents to see your ontology as a closed world.
The question is in which scenario would we need it? In my case I was interested in Web services generation (XML).
Kind regards,
Dmitry
  • asked a question related to Model Driven Engineering
Question
3 answers
Merging two UML class diagrams models in one
Relevant answer
Answer
You can try some tools/approaches like Kompose, RAM, etc.
  • asked a question related to Model Driven Engineering
Question
5 answers
With the frequent changes in requirements, how can I promote traceability in model-driven development and artifact traceable. Support Tools, Meta-model traceability? One or the other, or both ?
Relevant answer
Answer
Traceability is a fascinating topic that we are playing with for quite a while. Model-driven approaches, based on my opinion, offer the best solution to deal with this problem. Requirement models are also models, so it is easy to relate requirements to other artifacts. New progresses in tools (aka language workbenches) also show that language/metamodel composition is very important aspect, even enabling to combine various concrete syntaxes when working with different parts of models. 
In practice I see two integral steps to tackle traceability. One is to pick a useful requirements metamodel. Personally, I am very hopeful of using some type of intentional model that would be able to capture not only requirements, but also the reasoning process of why things were designed/implemented in a specific way and not the other. I very much like the treatment of this problem presented by Sagar Sunkle, Vinay Kulkarni, and Suman Roychoudhury in Intentional Modeling for Problem Solving in Enterprise Architecture (attached). 
Second step is to pick a versioning approach that would enable to preserve previous states of models (with all artifacts including the related intentional ones) and enable viewing change history of all its artifacts. In our particular case, with customers in financial services, we ended-up with versioning whole large models in Git repositories and providing users with simple tools to view change histories on the whole model down to histories of individual artifacts where particualar differences can be seen and understood. For support of large-scale development with tens of concurrent modelers/developers we provided sandboxes (private branches) where each developer completes (develops and debugs) some functionality before publishing it to others. This way it could be easily seen not only what was changed when, but also by whom, and by employing the above mentioned intentional models, also why it was changed.
 
  • asked a question related to Model Driven Engineering
Question
9 answers
How to ensure that the resulting implementation does not violate the properties of the business rules ?
Relevant answer
Answer
I have struggled with this question during my research. But then I have come to a small and important conclusion that 'Correctness in theology or computer science deals with comparing something new with something whose correctness is already defined or laid '. The model you built needs a comparison with either some standard or existing models. You can also have your own correctness criteria and then prove your model to be correct by using these correctness.
  • asked a question related to Model Driven Engineering
Question
10 answers
Compared to a software process in agile context
Relevant answer
Answer
Just to add an other option: The Epsilon Framework (http://www.eclipse.org/epsilon/). From my experience its quite mature, the community is active, and good documentation and examples are available. Before switching to Epsilon I've used different technologies for different purposes (ATL M2M, Acceleo M2T, Viatra for Verification, just to name some). The reason for the switch was that epsilon provides for almost every task related to models a language or tool (M2M, M2T, model comparison, unit tests, and so forth). Hence, you've everything using one technology, which provides great integration, you don't have to learn completely different languages and so forth. Epsilon is a Eclipse project, but recently the possibility to use the Epsilon languages independently from eclipse was added by the developers.
I do not regret the switch from, for example, ATL. For M2M ATL is sufficient and worth a look if you only want to do M2M. But it is not part of such a comprehensive tool box like Epsilon. I cannot judge QVT, as i've never used it.
  • asked a question related to Model Driven Engineering
Question
5 answers
Which UML profile(s) or subset is the best suited for modeling mobile applications? Developed model should be the basis for code generation.
Relevant answer
Answer
http://reference.bitreactive.com/ is certainly good for any newbie to understand.
As per your requirement, I think for managing device and its resources, MARTE would be suitable UML profile.
You can more information at - http://en.wikipedia.org/wiki/MARTE
  • asked a question related to Model Driven Engineering
Question
6 answers
In order to estimate efforts for a WEB software project we need to use a software cost estimation model. I want to know whether we do have methods in place to check the effectiveness and reliability for checking the WEB software cost estimation models.
Relevant answer
Answer
please check out my paper for modern software evaluation
"Survey and evaluation of agent oriented software engineering."
  • asked a question related to Model Driven Engineering
Question
1 answer
This is a thread where we could post information about conferences and other events (annual or not, global or local) concerning Model-Driven Engineering.
It would be good to know the places where we could share our ideas, research results, and the places where we could discuss methods and results of teaching MDE.
Relevant answer
Answer
I am addressing this to everyone engaged in teaching of Model Driven technologies. I’d like to introduce to you probably the first initiative of exchanging the experiences of teaching MDE related technologies on a special session held at the conference dedicated to MDE.
The purpose of the “EDU MDE - from technology to education” session at the “International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2014” (Lisbon, 7-9 January 2014), is to provide a platform for researchers, engineers, academicians as well as industrial professionals from all over the world to present their research results and development activities in the field around MDE education. Authors are especially encouraged to present possible applications of MDE techniques in software engineering education.
The topic of the session is strictly bounded to the main themes of the congress, because inventing new solutions around MDE is not enough to create large community around them and gain attention of developers. Even the most efficient or user-friendly technology will not be broadly adopted if not promoted and taught properly. Thus improoving ways of teaching these techniques and technologies is important in order to create active community of developers.
As a chair of that session I’d like to invite you to present your point of view in that field and submit a paper regarding your work and experiences. Accepted papers are to be submitted for indexation as conference proceedings in the main bases including: Thomson Reuters, dblp, inspec, EI, scopus.
All the information about that conference and its sessions is available at the website http://www.modelsward.org. The conference fee is preliminary set by conference committee to be 595€ and includes access to all conference sessions, including special sessions and keynote lectures + lunches + coffee breaks + Book of Abstracts + 1 CD-ROM including all papers from the MODELSWARD conference.
The deadlines are:
Paper Submission: October 29, 2013
Authors Notification: November 15, 2013
Camera Ready and Registration: November 27, 2013
  • asked a question related to Model Driven Engineering
Question
3 answers
I am trying to model a composite cantilever beam using a solid section on ABAQUS. This requires defining elastic material property using engineering constants. Can anyone help me define transverse properties of the material in ABAQUS/CAE?
Thank you.
Relevant answer
Answer
did you use anysotropic material ?, in abaqus, for elastic properties, if you use engineering constant instead of anisotropic, you only need to fill the modulus and poissons ratio for all directions. Typically, if you use a UD, transverse shear will be near to in plane shear in 13 direction and to matrix shear properties in 23, in the case of woven fabric, you might refere to similar material from the literature. If you can give me some more details, maybe I can help more.
  • asked a question related to Model Driven Engineering
Question
8 answers
MDA, MDD and MDE share some features, but also are differ in others.
Relevant answer
Answer
Hello,
MDE is a general methodology for software development, which preconizes the use of recurrent patterns (models) to icrease productivity and compatibility between systems.
MDA is a specific proposition for implementing MDE, made by the OMG, which describes an approach based on metamodels, then abstract models (PIM), and finally more specific models (PSM) which can be used to generate source code. MDA proposes but is not limited to some standards (MOF, UML, CWM...)
MDD is a solution for developping software following a general Model Driven Engineering approach without being restrained to MDA.
I hope it's clear.
Amina