Real world dependable distributed systems are often heterogeneous, not only in their physical composition, but also from a modeling and analysis perspective. Indeed, different components may be modeled by using the most suitable modeling formalism and multi-solution strategies may be applied to analyze the resulting multi-formalism model since no single solution method is adequate to solve all sub-models. In this paper we present the architecture of an extensible multi-formalism framework for the modeling and design of distributed dependable system. We show that the process needed to solve/analyze a model expressed through different formalisms may be described as it were a business process and executed by means of a workflow engine. We apply the proposed technique to a fault tolerant remote SCADA (Supervisory Control And Data Acquisition) system.

Workflow principles applied to multi-solution analysis of dependable distributed systems

MOSCATO, Francesco;
2005

Abstract

Real world dependable distributed systems are often heterogeneous, not only in their physical composition, but also from a modeling and analysis perspective. Indeed, different components may be modeled by using the most suitable modeling formalism and multi-solution strategies may be applied to analyze the resulting multi-formalism model since no single solution method is adequate to solve all sub-models. In this paper we present the architecture of an extensible multi-formalism framework for the modeling and design of distributed dependable system. We show that the process needed to solve/analyze a model expressed through different formalisms may be described as it were a business process and executed by means of a workflow engine. We apply the proposed technique to a fault tolerant remote SCADA (Supervisory Control And Data Acquisition) system.
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/4782528
 Attenzione

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

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 3
social impact