Multi Agent Systems (MAS) methodologies are emerging as a new approach for modeling and developing complex distributed sys- tems. When complex constraints have to be veried on critical systems Model Driven Engineering (MDE) methodologies allow for the design and implementation of systems correct by construction. Usually verication is enforced by formal analysis. This paper presents MetaMORP(h)OSY (Meta-modeling of Mas Object-based with Real-time specication in Project Of complex SYstems) methodology and framework. They pro- vide a mean for building MAS models used to verify properties (and requirements) of Critical Systems following a MDE approach. In partic- ular, this work describes model transformation algorithms used in Meta- MORP(h)OSY to verify real-time and timed reachability requirements.

Critical systems verification in MetaMORP(h)OSY

DI MARTINO, Beniamino;MOSCATO, Francesco
2014

Abstract

Multi Agent Systems (MAS) methodologies are emerging as a new approach for modeling and developing complex distributed sys- tems. When complex constraints have to be veried on critical systems Model Driven Engineering (MDE) methodologies allow for the design and implementation of systems correct by construction. Usually verication is enforced by formal analysis. This paper presents MetaMORP(h)OSY (Meta-modeling of Mas Object-based with Real-time specication in Project Of complex SYstems) methodology and framework. They pro- vide a mean for building MAS models used to verify properties (and requirements) of Critical Systems following a MDE approach. In partic- ular, this work describes model transformation algorithms used in Meta- MORP(h)OSY to verify real-time and timed reachability requirements.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11386/4782495
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 17
  • ???jsp.display-item.citation.isi??? 9
social impact