Automatic synthesis from UML/MARTE models using channel semantics.

Pablo Peñil Héctor Posadas Alejandro Nicolás Eugenio Villar

Published in: ACES-MB@MoDELS (2012)

Keyphrases

metamodel
logic programming
complex systems
fully automatic
uml models
relational databases
probabilistic model
formal semantics
class diagrams