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. |
Publications Related to TisaHridesh Rajan, Jia Tao, Steve Shaner, and Gary T. Leavens, "Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services," 18th European Symposium on Programming (ESOP '09), March 2009, York, UK. New Hridesh Rajan and Mahantesh Hosamani, "Tisa: Towards Trustworthy Services in a Service-oriented Architecture," IEEE Transactions on Services Computing (SOC), 2008, IEEE Computer Society, Washington, DC. New Hridesh 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. 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.