Antonio D. dos S. Junior

Learn More
In a previous work we have proposed an extension to the four-layer MDA architecture promoting formal verification for semantics preserving model transformations. We analyzed semantics equivalence in transformations involving Platform Specific Models (PSM s). In this paper, considering concurrent systems domain, we show how this extended MDA architecture(More)
Semantic equations are important pieces of the denotational semantics approach that enable the translation of syntactic constructs of models to semantic domains. In a previous work, we have extended the Model-Driven Architecture (MDA) four-layer proposal of architecture in order to incorporate formal semantics to its artifacts. Thus, semantic equations are(More)
Model-based development for embedded system design has been used to support the increase of system's complexity. Several modeling formalisms are well matched for usage within this area. One of the goals of this work is to contribute to the usage of Petri nets as system specification language within model-based development of embedded systems having MDA(More)
  • 1