Formal Methods in Computing(Most of the papers antecedent to 1995are not included in the list) FRAMES  NO FRAME

 TC2013 (PhD thesis) Author(s) Tzu-Chun Chen Title « Theories for Session-based Governance for Large-scale Distributed Systems » School Queen Mary, University of London Year 2013
 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, 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.

 BibTeX code

@phdthesis{TC2013,
school = {Queen Mary, University of London},
tag = {Queen Mary, University of London},
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. {\em Governance} is a general term for verifying
whether activities meet the specified requirements and for
enforcing safe behaviours among processes. 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 {\em stateful} specifications
through capturing the runtime asynchronous interactions.},
localfile = {http://www.di.unito.it/~chen/papers/Thesis_TChen_final.pdf},
title = {Theories for Session-based Governance for Large-scale Distributed
Systems},
author = {Tzu-chun Chen},
year = {2013},
}

 Formal Methods in Computing(Most of the papers antecedent to 1995are not included in the list) FRAMES  NO FRAME

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)