Web Service Interfaces (CHIC)
Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger and Sanjit A. Seshia
We propose an automata-theoretic type system for behavioral specification of open systems [1-5]. The benefit we achieve from being able to work with open systems is that we can analyze large systems incrementally without needing extensive summary information to close the system at each stage.
We have developed a formalism to behaviorally represent open web service components, a specification language to denote properties of interest in the inter-operations of such components, and algorithms to check the same [4,5]. We validate the applicability of our formalism for the specification and verification of the method-invocation behavior of web-service applications constructed from asynchronously interacting multi-threaded distributed components by modeling applications using the Amazon.com e-commerce services (ECS) framework .
Our algorithms for checking the behavioral compatibility of component interfaces are available in the tool Chic, which can be used as a plug-in for the Java IDE JBuilder and the heterogenous modeling and design environment Ptolemy II.
- L. de Alfaro and T. A. Henzinger, "Interface Automata," Proc. Symp. Foundations of Software Engineering, Vienna, Austria, September 2001.
- L. de Alfaro and T. A. Henzinger, "Interface Theories for Component-based Design," Proc. Int. Workshop on Embedded Software, Tahoe City, CA, October 2001.
- A. Chakrabarti, L. de Alfaro, T. A. Henzinger, and M. Stoelinga, "Resource Interfaces," Proc. Int. Conf. Embedded Software, Philadelphia, PA, October 2003.
- D. Beyer, A. Chakrabarti, and T. A. Henzinger, "Web Service Interfaces," Proc. Int. World Wide Web Conf., Chiba, Japan, May 2005.
- D. Beyer, A. Chakrabarti, T. A. Henzinger, and S. A. Seshia, "An Application of Web-Service Interfaces," Proc. International Conference on Web Services, Salt Lake City, UT, July 2007.