Ecore representation for extending PNML for Input-Output Place-Transition nets

Moutinho, Filipe; Gomes, Luís; Ramalho, Franklin; Figueiredo, Jorge C. A. de; Barros, João Paulo; Barbosa, Paulo; Pais, Rui; Costa, Anikó

doi:10.1109/iecon.2010.5675332

Cited by 14 publications

(8 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Those tools rely on the PNML interchange format and on Petri net Type definition defined by a Relax NG grammar. Currently, we foresee the use of an Ecore metamodel for the IOPT class, presented in [10], thus offering improved robustness and maintainability, especially for a new generation of code generators.…”

Section: The Input Output Place Transition Net Classmentioning

confidence: 99%

See 1 more Smart Citation

Towards Statecharts to Input-Output Place Transition Nets Transformations

Pais¹,

Gomes²,

Barros³

2011

Technological Innovation for Sustainability

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Section: The Input Output Place Transition Net Classmentioning

confidence: 99%

“…Peter Sandborn defines sustainability as "keeping an existing system operational and maintaining the ability to manufacture and field versions of the system that satisfy the original requirements" [10].…”

Section: Contribution To Sustainabilitymentioning

confidence: 99%

Towards Statecharts to Input-Output Place Transition Nets Transformations

Pais¹,

Gomes²,

Barros³

2011

Technological Innovation for Sustainability

Self Cite

View full text Add to dashboard Cite

show abstract

“…By taking advantage of Petri nets visual representation and precise semantics, this paper contributes to their use as an intermediate formalism between SysML behavior models and code generation. More specifically, it presents a tool that transforms a Systems Modeling Language (SysML) state machine, to an Input-Output Place Transition Net (IOPT) [2] target model. The process of transformation ⎯ the production of an XMI [3] file ⎯ is realized using the Atlas Transformation Language (ATL) [4].…”

Section: Introductionmentioning

confidence: 99%

From SysML State Machines to Petri Nets Using ATL Transformations

Pais

Barros

Gomes

2014

Technological Innovation for Collective Awareness Systems

Self Cite

View full text Add to dashboard Cite

Abstract. The ATLAS Transformation Language (ATL) is a well-known hybrid model transformation language that allows both declarative and imperative constructs to be used in the definition of model transformations. In this paper, we present ATL transformations providing an integrated structural description of the source and target metamodels and the transformation between them. More specifically, the paper presents translation rules of Systems Modeling Language (SysML) state machines models into a class of nonautonomous Petri net models using ATL. The target formalism for the translation is the class of Input-Output Place Transition Nets (IOPT), which extends the well-known low-level Petri net class of Place/Transition Petri nets with input and output signals and events dependencies. Based on this Petri net class, a set of tools have been developed and integrated on a framework for the project of embedded systems using co-design techniques. The main goal is to benefit from the model-based attitude while allowing the integration of development flows based on SysML state machines with the ones based on Petri nets.

show abstract

“…The concept of semantic domain and semantic equations gives us a guarantee that the metamodel presented in [8] will provide models able to satisfy the desired executability requirement. The following generated code has this graph representation plus the new features, such as events (OFF, BRIGHT, and DARK) and signals (SW8, SW9, and SW10).…”

Section: System Modelingmentioning

confidence: 99%

SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design

Barbosa

Barros

Ramalho

et al. 2011

IFIP Advances in Information and Communication Technology

Self Cite

View full text Add to dashboard Cite

Abstract. We present a rewriting logic based technique for defining the formal executable semantics of a non-autonomous Petri net class, named Input-Output Place/Transition nets (IOPT nets), designed for model-based embedded system's development, according to the MDA initiative. For this purpose, we provide model-to-model transformations from ecore IOPT models to a rewriting logic specification in Maude. The transformations are defined as semantic mappings based on the respective metamodels: the IOPT metamodel and the Maude metamodel. Also, we define model to-text transformations for the generation of the model execution code in the rewriting logic framework. Hence, we present a translational semantics composed by two components: (i) the denotational one, considering as semantic domains the operations, equations, and properties that specify the Petri net structure, signals, and events according to the commutative monoid view; and (ii) the operational one, that changes the interleaving semantics of Maude using rewriting rules specified at the Maude metalevel to provide a maximal step semantics for transitions with arcs, test arcs, and priorities. Additionally, this work gives architectural advices in order to compose new semantics specifications by simple component substitution. Due to its simulation and verification capabilities for control systems, the presented work was applied to a domotic project that intends to save energy in residential buildings.

show abstract

Ecore representation for extending PNML for Input-Output Place-Transition nets

Cited by 14 publications

References 11 publications

Towards Statecharts to Input-Output Place Transition Nets Transformations

Towards Statecharts to Input-Output Place Transition Nets Transformations

From SysML State Machines to Petri Nets Using ATL Transformations

SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design

Contact Info

Product

Resources

About