Skip to content Skip to navigation

Qualifying Exam: On the Dependability of Open Distributed Systems


The general objective of this research is to enhance the dependability of an Open Distributed System (ODS) by establishing global/semi-global structures over it, and by providing a degree of trust between its diverse components. In response to the lack of complete central knowledge and control of the implementation of the components of an ODS, our approach is based on the governance of the interactions among system components, while being oblivious of their internals.

As a case in point, we take Service-Oriented Architecture (SOA), a typical and common instance of ODS, as the model of our research. We enable SOA systems with three capabilities that make such a system much more dependable: (a) establishing global/semi-global system properties in a dependable manner; (b) providing a practical degree of trust between system components; and (c) enforcing choreography schemes among system components. The enhanced architecture is named Governed Service-Oriented Architecture (GSOA). We also propose a technique for transparently transforming a legacy SOA system into a GSOA system with minimum effort.


Chen Cong


CoRE A (301)

Event Date: 
04/27/2017 - 2:00pm

Prof. Naftaly Minsky (Chair), Prof. Badri Nath, Prof. Santosh Nagarakatte, Prof. Matthew Stone

Event Type: 

Qualifying Exam


Dept. of Computer Science