As with other software development artifacts, model transformations are not bug-free and so
must be systematically verified. Their nature, however, means that transformations require …

Abstract Model transformation is a prime technique in modern, model-driven software
design. One of the most challenging issues is to show that the semantics of the models is not …

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) …

Medical devices development and validation are difficult activities due to the critical nature of
these products, involving risks to the human lives. Moreover, regulatory agencies are …

Organizations build information systems to support their business processes. Precise
modeling of an organization's processes is a prerequisite for building information systems …

This paper presents a metamodel for the Input-Output Place-Transition nets (IOPT nets), a
Petri net class targeted at controllers modeling. The proposed metamodel reuses many of …

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 …

Abstract 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 …

Students in object-oriented analysis and design (OOAD) courses typically encounter
difficulties transitioning from object-oriented analysis (OOA) to logical design (OOLD). This …

Petri Net Model Decomposition Page 1 Anikó Katalin Horváth da Costa PETRI NET MODEL
DECOMPOSITION - A Model Based Approach Supporting Distributed Execution - Dissertaçao …