Skip to content
#

model-driven-architecture

Star

Here is 1 public repository matching this topic...

Language: Assembly
Filter by language
All 1 Java 7 Python 2 Assembly 1 C# 1 JavaScript 1 Kotlin 1 TypeScript 1

DrHAMDANE / TransformationAADL2timedAutomata

Star 7

We propose in this work an approach for the verification of the AADL (Architecture and Analysis Design Language) description. This approach is based in Model Driven Engineering (MDE) and assisted by a toolchain. Indeed, we define a source meta-model for AADL and a target meta-model for the timed automata formalism; we define a transformation proces…

eclipse verification model-checking atl transformation aadl ecore-metamodel uppaal xpand timed-automata model-driven-architecture ecore-model
  • Updated Aug 28, 2021
  • Assembly

Improve this page

Add a description, image, and links to the model-driven-architecture topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the model-driven-architecture topic, visit your repo's landing page and select "manage topics."

Learn more