This paper proposes model-driven techniques to extend IBM’s SOMA method towardsmigrating legacy systems into Service-Oriented Architectures (SOA). The proposal exploreshow graph-based querying and transformation techniques enable the integration oflegacy assets into a new SOA. The presented...

Hybrid automata are used as standard means for the specification andanalysis of dynamical systems. Several researches have approached them to formallyspecify reactive Multi-agent systems situated in a physical environment,where the agents react continuously to their environment. The specified...