Modeling behavioral RESTful web service interfaces in UML

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2011, Pages 1598-1605

  Porres, Ivan ^a   Rauf, Irum ^a  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

behavioral interface; contract; protocol state machine; REST; UML; WADL

Indexed keywords

BEHAVIORAL INTERFACES; REST; STATE MACHINE; UML; WADL;

INTERNET PROTOCOLS; SEMANTICS; USER INTERFACES;

WEB SERVICES;

EID: 79959305673     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1982185.1982521     Document Type: Conference Paper

References (21)

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.