Tisa: A Specification Language Design and Modular Verification Technique for Web Services.

These pages describes work carried out on specification and modular verification of such non-functional properties as trust, data privacy for web services and service-oriented architectures. The PI is Hridesh Rajan and much of the work is carried out by Mehdi Bagherzadeh, Cavell Rodrigues, and Robert Dyer. This is a collaborative project with Gary T. Leavens from University of Central Florida.


Jan 2009: ESOP'09 paper on Tisa

Dec 2008: IEEE transactions on services computing (SOC) paper on Tisa

July 2008: New TR on greybox specification for web services.

Oct 2007: Mahantesh and Harish's paper accepted for NWeSP 2007.

Jun 2007: Mahantesh and Harish's paper accepted for IWSOSE 2007.

Monitoring the Monitor: An Approach Towards Trustworthiness in Service Oriented Architecture

By Mahantesh Hosamani, Harish Narayanappa, and Hridesh Rajan


The key notion in service-oriented architecture is decoupling clients and providers of a service based on an abstract service description, which is used by the service broker to point clients to a suitable service implementation. A client then sends service requests directly to the service implementation. A problem with the current architecture is that it does not provide trustworthy means for clients to specify, service brokers to verify, and service implementations to prove that certain desired non-functional properties are satisfied during service request processing. An example of such non-functional property is access and persistence restrictions on the data received as part of the service requests. In this work, we propose an extension of the service-oriented architecture that provides these facilities. We also discuss a prototype implementation of this architecture and report preliminary results that demonstrate the potential practical value of the proposed architecture in real-world software applications.

Bibliographic Information

author = {Mahantesh Hosamani and Harish Narayanappa and Hridesh Rajan},
title = {Monitoring the Monitor: An Approach Towards Trustworthiness in Service Oriented Architecture},
booktitle = {2nd International Workshop on Service Oriented Software Engineering (IW-SOSWE 2007)},
location = {Dubronovik, Croatia},
month = {September},
year = {2007},

Full Paper: PDF

Previous version appeared as technical Report 07-07, Computer Science, Iowa State University, June 4, 2007. [PDF Format]