Title
Workflow principles applied to multi-solution analysis of dependable distributed systems
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 multisolution strategies may be applied to analyze the resulting multi-formalism model since no single solution method is adequate to solve all submodels. We present the architecture of an extensible multiformalism 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.
Year
DOI
Venue
2004
10.1109/EMPDP.2004.1271438
PDP
Keywords
Field
DocType
SCADA systems,control system analysis computing,distributed processing,real-time systems,software fault tolerance,business process,dependable distributed system,fault tolerance,modeling,supervisory control and data acquisition system,workflow engine
Business process,Computer science,Software fault tolerance,Fault tolerance,SCADA,Workflow engine,Extensibility,Rotation formalisms in three dimensions,Workflow,Distributed computing
Conference
ISSN
ISBN
Citations 
1066-6192
0-7695-2083-9
4
PageRank 
References 
Authors
0.52
4
3
Name
Order
Citations
PageRank
Francesco Moscato129832.28
Nicola Mazzocca267478.37
valeria vittorini333933.14