Theories for Session-based Governance for Large-scale Distributed Systems
Abstract
Large-scale distributed systems and distributed computing are the pillars
of IT infrastructure and society nowadays. Robust theoretical principles for
designing, building, managing and understanding the interactive behaviours
of such systems need to be explored. A promising approach for establishing
such principles is to view the session as the key unit for design, execution
and verification.
Governance is a general term for verifying whether activities meet the specified
requirements and for enforcing safe behaviours among processes. This
thesis, based on the asynchronous -calculus and the theory of session types,
provides a monitoring framework and a theory for validating specifications,
verifying mutual behaviours during runtime, and taking actions when noncompliant
behaviours are detected. We explore properties and principles
for governing large-scale distributed systems, in which autonomous and heterogeneous
system components interact with each other in the network to
accomplish application goals.
This thesis, incorporating lessons from my participation in a substantial
practical project, the Ocean Observatories Initiative (OOI), proposes an
asynchronous monitoring framework and the process calculus for dynamically
governing the asynchronous interactions among distributed multiple
applications. We prove that this monitoring model guarantees the satisfaction
of global assertions, and state and prove theorems of local and global
safety, transparency, and session fidelity. We also study and introduce the
semantic mechanisms for runtime session-based governance and the principles
of validation of stateful specifications through capturing the runtime
asynchronous interactions.
Authors
Chen, Tsu-ChunCollections
- Theses [3711]