Tisa: A Language Design and Modular Verification Technique for Web Services.
These pages describes work carried out on trust and integrity issues for service-oriented architectures. The PI is Hridesh Rajan and much of the work is carried out by Mahantesh Hosamani and Harish Narayanappa.
Publications Related to TisaHridesh Rajan, Jia Tao, Steve Shaner, and Gary T. Leavens, " Reconciling Trust and Modularity Goals in Web Services," Technical Report 08-07, Computer Science, Iowa State University, July 2008. New Mahantesh Hosamani, Harish Narayanappa, and Hridesh Rajan (2007) "How to Trust Web Services Monitor Executing in an Untrusted Environment?" In the proceeding of NWeSP '07: 3rd International Conference on Next Generation Web Services Practices, Seoul, Korea, Oct 2007. Mahantesh Hosamani, Harish Narayanappa, Hridesh Rajan (2007) " Monitoring the Monitor: An Approach Towards Trustworthiness in Service Oriented Architecture," In 2nd International Workshop on Service Oriented Software Engineering (IW-SOSWE 2007), in conjunction with ESEC/FSE 2007, Dubrovnik (Croatia) Sep 3, 2007. |
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.