Investigating the use of analysis contracts to support fault isolation in object oriented code
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Computer
The Audition Framework for TestingWeb Services Interoperability
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
A UML-based Approach for Abstracting Application Interfaces to REST-like Services
WCRE '06 Proceedings of the 13th Working Conference on Reverse Engineering
Contract-Based Testing for Web Services
COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 01
Restful web services
Transformations Have to be Developed ReST Assured
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
UML Based Modeling of Web Service Composition - A Survey
SERA '08 Proceedings of the 2008 Sixth International Conference on Software Engineering Research, Management and Applications
A Foundational Theory of Contracts for Multi-party Service Composition
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
A theory of contracts for Web services
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards a Model-Driven Process for Designing ReSTful Web Services
ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
A theory for strong service compliance
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
From Nondeterministic UML Protocol Statemachines to Class Contracts
ICST '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation
From Representational State Transfer to Accountable State Transfer Architecture
ICWS '10 Proceedings of the 2010 IEEE International Conference on Web Services
REST in Practice: Hypermedia and Systems Architecture
REST in Practice: Hypermedia and Systems Architecture
Design and Implementation of a Private RESTful API to Leverage the Power of an eCommerce Platform
Proceedings of International Conference on Information Integration and Web-based Applications & Services
| Hi-index | 0.00 |
A web service interface contains information about the names of the operations that can be invoked on the service and the input and output parameters of these operations. This information is not enough to facilitate service developer and consumer in understanding the behavior of the service. In the context of RESTful web services, the requirements of RESTful interface should also be met that are not fulfilled by just advertising the allowed operations on the resources. In addition, RESTful services take hypermedia as an engine of application states. Such services are defined to be at level 3 of Richardson Maturity Model(RMM). In this paper, we present an approach to model the structural and behavioral interface of a RESTful web service using UML class and UML protocol diagrams. These models lead to RESTful interfaces that conform to level 3 of RMM and describe the behavior of operations in terms of preconditions and post-conditions. These models facilitate the authentication mechanism and provide clear mapping to HTTP requests and responses. The generated contracts of methods can be published in an extended version of the WADL language and also used for documentation, stub generation, testing and monitoring purposes.