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 driven development = test driven development - writing test cases
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software 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
A framework for contract-based collaborative verification and validation of web services
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
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
Towards behaviorally enriched semantic RESTful interfaces using OWL2
ICWE'11 Proceedings of the 11th international conference on Web engineering
A finite-state machine approach for modeling and analyzing restful systems
Journal of Web Engineering
| Hi-index | 0.01 |
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. The Web Application Description Language (WADL) is a language to describe the interface of a web service that follows the Representation State Transfer (REST) architectural style. Currently, WADL descriptions do not describe the behavioral semantics of the operations neither ensure that the published interfaces follow the REST style, that is they are RESTful. 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 describe the behavior of operations in terms of preconditions and postconditions. The contracts can then be published in an extended version of the WADL language and used for documentation, stub generation, testing and monitoring purposes.