[PDF][PDF] Towards an enactment mechanism for MODAL process models

PY Pillain, J Champeau, HN Tran - … on Process-based approaches for Model …, 2011 - irit.fr
Process modeling is mainly oriented towards static descriptions of processes which are
operated through another framework and/or language. In these cases, the process …

On a tool-supported model-based approach for building architectures and roadmaps: The MegaM@ Rt2 project experience

A Sadovykh, W Afzal, D Truscan, P Pierini… - Microprocessors and …, 2019 - Elsevier
MegaM@ Rt2 is a large European project dedicated to the provisioning of a model-based
methodology and supporting tooling for system engineering at a wide scale. It notably …

A Refinement based methodology for software process modeling

FR Golra - 2014 - theses.hal.science
There is an increasing trend to consider the processes of an organization as one of its highly
valuable assets. Processes are the reusable assets of an organization which define the …

An approach for describing concurrency and communication of heterogeneous systems

PI Diallo, J Champeau, V Leilde - Proceedings of the Third Workshop on …, 2011 - dl.acm.org
The fast development of technology and the time-to-market constraints need well-adapted
technical support and development processes to ease design space exploration and the …

Déploiement d'applications parallèles sur une architecture distribuée matériellement reconfigurable

RCGN Ewo - 2015 - theses.hal.science
Parmi les cibles architecturales susceptibles d'être utilisées pour réaliser un système de
traitement sur puce (SoC), les architectures reconfigurables dynamiquement (ARD) offrent …

Enhancing analysability and time predictability in UML/MARTE component-based application models

F Herrera, P Penil, E Villar - 2015 Forum on Specification and …, 2015 - ieeexplore.ieee.org
This paper presents how to integrate formally based models relying on the Synchronous
Dataflow Model-of-Computation (MoC) in a UML/MARTE component-based application …

[图书][B] Visual modeling of cyber physical systems

G Măgureanu - 2013 - dspace.upt.ro
The PhD thesis presents a visual modeling methodology for modeling Cyber Physical
Systems. Such an approach is useful for designers of Cyber Physical System applications …