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)
MDA is a current trend that shifts the focus and effort from implementation during the development process to models, metamodels and transformations. The four-layer MDA architecture still suffers from the lack of formalization of its artifacts and processes leading to ambiguity and low reliability problems. For instance, currently there is no way for(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)
In recent years, we have witnessed the emerging trend in industrial informatics of joining web-services technologies in the embedded system's design. In one hand web-services turns lower the integration efforts of several technological entities through platform-independent interfaces. On the other hand it is well-known that embedded systems are everywhere,(More)
  • 1