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

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.

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?.

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

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 ?

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.

In the INCOSE Systems Engineering Vision 2025, Model Based System Engineering (MBSE) is a vital part of Systems Engineering of the future.

if the answeris yes

can you provide me a description to this aproach

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.

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.

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?

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

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.

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 ?

How to ensure that the resulting implementation does not violate the properties of the business rules ?

Compared to a software process in agile context

Which UML profile(s) or subset is the best suited for modeling mobile applications? Developed model should be the basis for code generation.

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.

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.

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.

MDA, MDD and MDE share some features, but also are differ in others.