Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/1982185.1982521acmconferencesArticle/Chapter ViewAbstractPublication PagessacConference Proceedingsconference-collections
research-article

Modeling behavioral RESTful web service interfaces in UML

Published: 21 March 2011 Publication History

Abstract

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.

References

[1]
X. Bai, Y. Wang, G. Dai, W. T. Tsai, and Y. Chen. A Framework for Contract-Based Collaborative Verification and Validation of Web Services. Lecture Notes in Computer Science, 4608: 258--273, 2007.
[2]
A. Bertolino and A. Polini. The audition framework for testing web services interoperability. Proceedings of 31th Euromicro Conference on Software Engineering and advanced Applications, pages 134--142, 2005.
[3]
M. Bravetti and G. Zavattaro. A Theory of Strong Service Compliance. Proceedings of the 9th international conference on Coordination models and languages, pages 96--112, 2007.
[4]
M. Bravetti and G. Zavattaro. A Foundational Theory of Contracts for Multi-party Service Composition. Fundamentals of Software Engineering 2007: Selected Contributions, 89: 451--478, 2009.
[5]
L. C. Briand, Y. Labiche, and H. Sun. Investigating the Use of Analysis Contracts to Support Fault Isolation in Object Oriented Code. Proceedings of the 2002 ACM SIGSOFT International Symposium on Software testing and analysis, pages 70--80, 2002.
[6]
G. Castagna, N. Gesbert, and L. Padovani. A Theory of Contracts for Web Services. Proceedings of ACM Transactions on Programming Languages and Systems (TOPLAS), 31, 2009.
[7]
I. Ciupa and A. Leitner. Automatic testing based on Design by Contract. Proceedings of Net.ObjectDays Š05, 6th Annual International Conference on Object-Oriented and Internet-based Technologies, Concepts and Applications for a Networked World, pages 545--557, 2005.
[8]
G. Dai, X. Bai, Y. Wang, and F. Dai. Contract-Based Testing for Web Services. Proceedings of 31st Annual International Computer Software and Applications Conference, pages 517--526, 2007.
[9]
M. J. Hadley. WADL specifications. 2006. http://www.w3.org/Submission/wadl/.
[10]
J. H. Hausmann, R. Heckel, and M. Lohmann. Model-based development of Web service descriptions enabling a precise matching concept. In International Journal of Web Services Research, 2: 67--85, 2005.
[11]
M. Laitkorpi, J. Koskinen, and T. Systa. A UML-based Approach for Abstracting Application Interfaces to REST-like Services. Proceedings of the 13th Working Conference on Reverse Engineering, pages 134--146, 2006.
[12]
M. Laitkorpi, P. Selonen, and T. Systa. Towards a Model Driven Process fo Designing ResTful Web Services. To appear: International Conference on Web Services, 2009.
[13]
A. Leitner, I. Ciupa, O. Manuel, B. Meyer, and A. Fiva. Contract driven development = test driven development-writing test cases. Proceedings of the ACM Symposium on The Foundations of Software Engineering, pages 425--434, 2007.
[14]
M. Lohmann, L. Mariani, and R. Heckel. A Model-driven Approach to Discovery, Testing, and Monitoring of Web Services. In L. Baresi, E. Di Nitto (eds.): Test and Analysis of Web Services, pages 173--204, 2007.
[15]
B. Meyer. Applying Design by Contract. Computer, IEEE Computer, 25: 40--51, 1992.
[16]
I. Porres and I. Rauf. From uml protocol statemachines to class contracts. Procceedings of the International Conference on Software Test, Verification and Validation(ICST 2010), 2010.
[17]
I. Rauf, M. Iqbal, and Z. I. Malik. UML Based Modeling of Web Service Composition-A Survey. Proceedings of the 2008 Sixth International Conference on Software Engineering Research, Management and Applications, pages 301--307, 2008.
[18]
L. Richardson and S. Ruby. RESTful Web Services. O'Reilly, 2007.
[19]
M. Siikarla, M. Laitkorpi, P. Selonen, and T. Systa. Transformations have to be developed ReST assured. Proceedings of the 1st international conference on Theory and Practice of Model Transformations, 2008.
[20]
OMG UML. 2.2 Superstructure Specification. OMG ed, 2009. http://www.omg.org/spec/UML/2.2/.
[21]
J. Zou, J. Mei, and Y. Wang. From Representation State Transfer to Accountable State Transfer Architecture. Proceedings of 2010 IEEE International Conference on Web Services, pages 99--306, 2010.

Cited By

View all
  • (2021)A Systematic Review of API Evolution LiteratureACM Computing Surveys10.1145/347013354:8(1-36)Online publication date: 4-Oct-2021
  • (2018)Securing Open Source Clouds Using ModelsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.271.6271(80-94)Online publication date: 12-May-2018
  • (2018)Metamorphic Testing of RESTful Web APIsIEEE Transactions on Software Engineering10.1109/TSE.2017.276446444:11(1083-1099)Online publication date: 1-Nov-2018
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SAC '11: Proceedings of the 2011 ACM Symposium on Applied Computing
March 2011
1868 pages
ISBN:9781450301138
DOI:10.1145/1982185
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 March 2011

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. REST
  2. UML
  3. WADL
  4. behavioral interface
  5. contract
  6. protocol state machine

Qualifiers

  • Research-article

Conference

SAC'11
Sponsor:
SAC'11: The 2011 ACM Symposium on Applied Computing
March 21 - 24, 2011
TaiChung, Taiwan

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25
The 40th ACM/SIGAPP Symposium on Applied Computing
March 31 - April 4, 2025
Catania , Italy

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)6
  • Downloads (Last 6 weeks)1
Reflects downloads up to 13 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2021)A Systematic Review of API Evolution LiteratureACM Computing Surveys10.1145/347013354:8(1-36)Online publication date: 4-Oct-2021
  • (2018)Securing Open Source Clouds Using ModelsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.271.6271(80-94)Online publication date: 12-May-2018
  • (2018)Metamorphic Testing of RESTful Web APIsIEEE Transactions on Software Engineering10.1109/TSE.2017.276446444:11(1083-1099)Online publication date: 1-Nov-2018
  • (2018)Model-driven development of OData services: An application to relational databases2018 12th International Conference on Research Challenges in Information Science (RCIS)10.1109/RCIS.2018.8406667(1-12)Online publication date: May-2018
  • (2017)Formalizing REST APIs for web-based communication and SIP interworkingTelecommunications Systems10.1007/s11235-016-0271-266:1(75-93)Online publication date: 1-Sep-2017
  • (2017)From requirements to source codeAutomated Software Engineering10.1007/s10515-016-0206-x24:4(791-838)Online publication date: 1-Dec-2017
  • (2017)Towards a Model-Driven Security Assurance of Open Source ComponentsSoftware Engineering for Resilient Systems10.1007/978-3-319-65948-0_5(65-80)Online publication date: 11-Aug-2017
  • (2015)A linear logic approach to the composition of RESTful web servicesInternational Journal of Web Engineering and Technology10.1504/IJWET.2015.07234810:3(245-271)Online publication date: 1-Oct-2015
  • (2015)Generic Operations on RESTful Resources in Mashup ToolsProceedings of the 6th International Workshop on the Web of Things10.1145/2834791.2834795(1-6)Online publication date: 26-Oct-2015
  • (2015)Models at REST or modelling RESTful interfaces for the Internet of ThingsProceedings of the 2015 IEEE 2nd World Forum on Internet of Things (WF-IoT)10.1109/WF-IoT.2015.7389061(251-255)Online publication date: 14-Dec-2015
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media