Integrating formal reasoning into component-based approach to reconfigurable distributed systems

Basso, A. 2010. Integrating formal reasoning into component-based approach to reconfigurable distributed systems. PhD thesis University of Westminster School of Electronics and Computer Science

TitleIntegrating formal reasoning into component-based approach to reconfigurable distributed systems
TypePhD thesis
AuthorsBasso, A.
Abstract

Distributed computing is becoming ubiquitous in recent years in many areas, especially the

scientific and industrial ones, where the processing power - even that of supercomputers - never

seems to be enough. Grid systems were born out of necessity, and had to grow quickly to

meet requirements which evolved over time, becoming today’s complex systems. Even the

simplest distributed system nowadays is expected to have some basic functionalities, such as

resources and execution management, security and optimization features, data control, etc. The

complexity of Grid applications is also accentuated by their distributed nature, making them

some of the most elaborate systems to date. It is often too easy that these intricate systems

happen to fall in some kind of failure, it being a software bug, or plain simple human error; and

if such a failure occurs, it is not always the case that the system can recover from it, possibly

meaning hours of wasted computational power.

In this thesis, some of the problems which are at the core of the development and mainte-

nance of Grid software applications are addressed by introducing novel and solid approaches

to their solution. The difficulty of Grid systems to deal with unforeseen and unexpected cir-

cumstances resulting from dynamic reconfiguration can be identified. Such problems are often

related to the fact that Grid applications are large, distributed and prone to resource failures.

This research has produced a methodology for the solution of this problem by analysing the

structure of distributed systems and their reliance on the environment which they sit upon, often

overlooked when dealing with these types of scenarios. It is concluded that the way that Grid applications interact with the infrastructure is not sufficiently addressed and a novel approach

is developed in which formal verification methods are integrated with distributed applications

development and deployment in a way that includes the environment. This approach allows for

reconfiguration scenarios in distributed applications to proceed in a safe and controlled way, as

demonstrated by the development of a prototype application.

Year2010
FileAlessandro_Basso_2010.pdf
Publication dates
Completed2010

Related outputs

Deontic extension of deductive verification of component model: combining computation tree logic and deontic logic in natural deduction style calculus
Bolotov, A., Basso, A. and Grigoriev, O. 2009. Deontic extension of deductive verification of component model: combining computation tree logic and deontic logic in natural deduction style calculus. in: Proceedings of the 4th Indian International Conference on Artificial Intelligence (IICAI-09), December 16-18, 2009, SIT, Tumkur, India IICAI. pp. 166-185

Temporal specification and deductive verification of a distributed component model and its environment
Basso, A., Bolotov, A. and Getov, Vladimir 2009. Temporal specification and deductive verification of a distributed component model and its environment. in: Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009 (SSIRI 2009) IEEE . pp. 379-386

State-based behavior specification for GCM systems
Basso, A., Bolotov, A. and Getov, Vladimir 2009. State-based behavior specification for GCM systems. in: Hustadt, U. (ed.) Proceedings of the utomated Reasoning Workshop 2009: bridging the gap between theory and practice (ARW 2009), 21st - 22nd April 2009, , Liverpool, United Kingdon University of Liverpool Department of Computer Science.

Dynamic reconfiguration of GCM components
Basso, A., Bolotov, A., Getov, Vladimir and Henrio, L. 2008. Dynamic reconfiguration of GCM components. CoreGRID.

Behavioural model of component-based Grid environments
Basso, A., Bolotov, A. and Getov, Vladimir 2008. Behavioural model of component-based Grid environments. in: Priol, T. and Vanneschi, M. (ed.) From grids to service and pervasive computing Springer. pp. 19-30

Automata-based formal specification of stateful systems
Basso, A., Bolotov, A. and Getov, Vladimir 2008. Automata-based formal specification of stateful systems. in: Dennis, L.A. and Sorge, V. (ed.) Proceedings of the automated reasoning workshop 2008 University of Birmingham. pp. 6-7

Automata based formal specification of stateful systems
Basso, A., Bolotov, A. and Getov, Vladimir 2008. Automata based formal specification of stateful systems. in: Proceedings of the 15th workshop on automated reasoning: bridging the gap between theory and practice: CICM 2008, Conferences on Intelligent Computer Mathematics, University of Birmingham, UK Birmingham School of Computer Science.

Towards GCM re-configuration – extending specification by norm
Basso, A. and Bolotov, A. 2008. Towards GCM re-configuration – extending specification by norm. in: Danelutto, M., Fragopoulou, P. and Getov, Vladimir (ed.) Making grids work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece New York, NY, USA Springer. pp. 17-29

Specification and verification of reconfiguration protocols in grid component systems
Basso, A., Bolotov, A., Basukoski, A., Getov, Vladimir, Henrio, L. and Urbanski, M. 2006. Specification and verification of reconfiguration protocols in grid component systems. CoreGRID.

Specification and verification of reconfiguration protocols in grid component systems
Basso, A., Bolotov, A., Basukoski, A., Getov, Vladimir, Henrio, L. and Urbanski, M. 2006. Specification and verification of reconfiguration protocols in grid component systems. in: Proceedings of the 3rd IEEE International Conference on Intelligent Systems (IS-2006) Los Alamitos, USA IEEE . pp. 450-455

Permalink - https://westminsterresearch.westminster.ac.uk/item/90499/integrating-formal-reasoning-into-component-based-approach-to-reconfigurable-distributed-systems


Share this
Tweet
Email