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