.png){kind=icon}
.png){kind=icon}
Return
Solution Workflows for Model-Based Analysis of Complex Systems
.png){kind=icon}
PRE
AI
DOI：10.1109/TASE.2011.2161981.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
The development and analysis of increasingly complex systems require the intensive use of models and of sophisticated approaches to systems modeling. This paper focuses on workflows supporting the solution of complex, composed, formal models used to study and/or develop real-world systems. The workflows we deal with orchestrate multiple distributed tools and applications in order to provide the user with a powerful, composed solution environment. The aim is to automate and reproduce analysis and simulation tasks starting from a high level, graph-based description of the model to be solved. This paper thus introduces solution workflows and presents the Solution Process Definition Language (SPDL) for the specification of solution workflows processes. One of the key elements of SPDL is its formal semantics, which allow for unambiguous specification of its constructs and validation of the workflows. A workflow pattern analysis of SPDL is also provided. SPDL and its execution environment, the OsMoSys framework, are then applied to a homeland security scenario. The OsMoSys framework and the SPDL language provide a practical contribution to the applicability of model engineering techniques by enabling the semiautomatic solution of complex models. Note to Practitioners-The usage of formal methods is widely advocated to provide evidence of critical properties of systems for certification and/or assessment purposes. This paper was motivated by the problem of (partially) automating the development and the analysis of complex formal models of real systems. Existing approaches generally require that whoever builds such models has an in-depth knowledge of several fields, besides the domain to study: modeling languages (e.g., Petri Nets, Fault Trees, Process Algebras, Queueing Networks, Bayesian Networks), solution techniques, analysis/simulation tools, as well as the way to combine them in order to perform more powerful experiments. In this paper, we propose a workflow-based solution, in order to enable the automated development and analysis of multiformalism models by composing predefined models and existing tools. Our approach also promotes the reuse of models and experiments, through the construction of libraries of models and workflows and the definition of sophisticated experiments.
Keywords:
Complex systems
formal modeling
model engineering
scientific workflow
workflow patterns
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
6.4
Papers:
4.9K
Citations:
1.6W