Towards Statecharts to Input-Output Place Transition Nets Transformations

Abstract

Abstract. This paper proposes a set of procedures addressing a Model Driven Architecture approach to translate of SysML statechart models into a class of non-autonomous Petri nets. The main goal of this set of procedures is to benefit from the model-based attitude allowing the integration of development flows based on statecharts with the ones based on Petri nets.Several methodologies exist to transform statechart models into specific classes of Petri net models, which depend on the proposed goals to achieve. The target formalism for the translation is the class of Input-Output Place Transition Nets, which extends the well-known low-level Petri net class of place transition nets with input and output signals and events dependencies. With this Petri net class we aim to contribute with tools to be integrated on a framework for the project of embedded systems using co-design techniques.

From SysML State Machines to Petri Nets Using ATL Transformations

“…This research extends previous works [7,8] with the implementation of translation techniques, using ATL, to transform SysML state machine models to IOPT net models. The integration of these translations on a Petri net-based framework for the development of embedded systems using co-design techniques permits the use of SysML state machines as an additional modeling language.…”

“…The result of each transformation is an XMI file on PNML format. Some translation techniques to convert state machines elements into correspondent Input Output Place Transition Nets items were already presented elsewhere [7,8]. The respective implementations are here presented.…”

“…Translation techniques to convert state machines elements into correspondent Input Output Place Transition Nets items were already presented elsewhere [7]. Later, these translations were extended to include other state machines elements and several strategies to translate state machines with pseudostate history attribute were also presented [8].…”