On Formalisms for Dynamic Reconfiguration of Dependable Systems
نویسندگان
چکیده
Three formalisms of different kinds – VDM, Maude, and basic CCS – are evaluated for their suitability for the modelling and verification of dynamic software reconfiguration using as a case study the dynamic reconfiguration of a simple office workflow for order processing. The research is ongoing, and initial results are reported.
منابع مشابه
COMPUTING SCIENCE A Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems
This paper uses a case study to evaluate three formalisms of different kinds for their suitability for the modelling and analysis of dynamic reconfiguration of dependable systems. The reconfiguration of an office workflow for order processing is described. The requirements on the workflow's reconfiguration and general reconfiguration requirements are defined. The workflow is modelled using the ...
متن کاملToward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra Perspective
This paper describes a case study involving the dynamic reconfiguration of an office workflow. We state the requirements on a system implementing the workflow and its reconfiguration, and describe the system’s design in BPMN. We then use an asynchronous π-calculus and Webπ∞ to model the design and to verify whether or not it will meet the requirements. In the process, we evaluate the formalisms...
متن کاملDesign, Modelling and Analysis of a Workflow Reconfiguration
This paper describes a case study involving the reconfiguration of an office workflow. We state the requirements on a system implementing the workflow and its reconfiguration, and describe the system’s design in BPMN. We then use an asynchronous π-calculus and Webπ∞ to model the design and to verify whether or not it will meet the requirements. In the process, we evaluate the formalisms for the...
متن کاملFormal modelling and analysis of dynamic reconfiguration of dependable systems
The contribution of this thesis is a novel way of formally modelling and analyzing dynamic process reconfiguration in dependable systems. Modern dependable systems are required to be flexible, reliable, available and highly predictable. One way of achieving flexibility, reliability and availability is through dynamic reconfiguration. That is, by changing at runtime the structure of a system – c...
متن کاملMichael Duvigneau and Daniel Moldt and Kunihiko Hiraishi
Analysis and synthesis of concurrent systems suffers from combinatorial state space explosion. That is, even a relatively small system specification can (and often does) yield a very large state space. One of the prominent techniques for alleviating this problem is based on complete prefixes of Petri net unfoldings. It relies on the partial order view of concurrent computation, and represents s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1405.0319 شماره
صفحات -
تاریخ انتشار 2014