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.
NewsJan 2009: ESOP'09 paper on Tisa Dec 2008: IEEE transactions on services computing (SOC) paper on TisaJuly 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 ArchitectureBy Mahantesh Hosamani, Harish Narayanappa, and Hridesh RajanAbstractThe 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
@inproceedings{hosamani07monitor, Full Paper: PDF Previous version appeared as technical Report 07-07, Computer Science, Iowa State University, June 4, 2007. [PDF Format] |
Department of Computer Science, hridesh@cs.iastate.edu.
Copyright © 2008, Iowa State University of Science and Technology. All rights reserved.
Initial ideas for the Tisa project were based upon work supported by the National Science Foundation under Grant No. 0540362. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.