Cambronero, M. E. et al. (2011). Validation and verifica-
tion of web services choreographies by using timed
automata. Journal of Logic and Algebraic Program-
ming, 80(1):25–49.
Clarke, E. M., Grumberg, O., and Long, D. E. (1994).
Model checking and abstraction. ACM Transactions
on Programming Languages and Systems (TOPLAS),
16(5):1512–1542.
Dıaz, G. et al. (2007). Model checking techniques applied to
the design of web services. CLEI Electronic Journal,
10(2).
Fu, X. et al. (2005). Synchronizability of conversations
among web services. Software Engineering, IEEE
Transactions on, 31(12):1042–1055.
Garc
´
ıa-Fanjul, J. et al. (2006). Generating test cases specifi-
cations for BPEL compositions of web services using
SPIN. In International Workshop on Web Services–
Modeling and Testing (WS-MaTe 2006), page 83.
Guermouche, N. and Godart, C. (2009). Timed model
checking based approach for web services analysis. In
Web Services, 2009. ICWS 2009. IEEE International
Conference on, pages 213–221. IEEE.
Hessel, A. et al. (2008). Testing Real-Time systems using
UPPAAL. In Formal Methods and Testing, pages 77–
117. Springer-Verlag.
Holovaty, A. and Kaplan-Moss, J. (2009). The defini-
tive guide to Django: Web development done right.
Apress.
Holzmann, G. J. (1997). The model checker SPIN. Software
Engineering, IEEE Transactions on, 23(5):279–295.
Huang, H. et al. (2005). Automated model checking
and testing for composite web services. In Object-
Oriented Real-Time Distributed Computing, 2005.
ISORC 2005. Eighth IEEE International Symposium
on, pages 300–307. IEEE.
Ibrahim, N. and Al Ani, I. (2013). Beyond functional ver-
ification of web services compositions. Journal of
Emerging Trends in Computing and Information Sci-
ences, 4, Special Issue:25–30.
Koskinen, M. et al. (2013). Combining Model-based Test-
ing and Continuous Integration. In Proceddings of
the International Conference on Software Engineer-
ing Advances (ICSEA 2013). IARIA. TO APPEAR.
Lallali, M. et al. (2008). Automatic timed test case genera-
tion for web services composition. In on Web Services,
2008. ECOWS’08. IEEE Sixth European Conference,
pages 53–62. IEEE.
Larsen, K. G. et al. (1997). UPPAAL in a nutshell. In-
ternational Journal on Software Tools for Technology
Transfer (STTT), 1(1):134–152.
Larsen, K. G. et al. (2009). UPPAAL Tron user manual.
CISS, BRICS, Aalborg University, Aalborg, Denmark.
Martin, D. et al. (2004). OWL-S: Semantic markup for web
services. W3C member submission, 22:2007–04.
Nobakht, M. and Truscan, D. (2013). An Approach for
Validation, Verification, and Model-Based Testing of
UML-Based Real-Time Systems. In Lavazza, L.,
Oberhauser, R., Martin, A., Hassine, J., Gebhart, M.,
and Jntti, M., editors, ICSEA 2013, The Eighth In-
ternational Conference on Software Engineering Ad-
vances, pages 79–85. IARIA.
Part, I. and Peschke, M. (2003). Design and validation of
computer protocols.
Porres, I. and Rauf, I. (2011). Modeling behavioral REST-
ful web service interfaces in UML. In Proceedings
of the 2011 ACM Symposium on Applied Computing,
pages 1598–1605. ACM.
Rauf, I. et al. (2012). Analyzing Consistency of Behavioral
REST Web Service Interfaces. In Silva, J. and Tiezzi,
F., editors, The 8th International Workshop on Auto-
mated Specification and Verification of Web Systems,
Electronic Proceedings in Theoretical Computer Sci-
ence, page 115. EPTCS.
Rauf, I. and Porres, I. (2011). Beyond CRUD. pages 117–
135.
Rauf, I., Siavashi, F., Truscan, D., and Porres, I. (2013).
An Integrated Approach to Design and Validate REST
Web Service Compositions. Technical Report 1097.
Richardson, L. and Ruby, S. (2008). RESTful web services.
O’Reilly.
Rusli, H. M. et al. (2011). Testing Web services composi-
tion: a mapping study. Communications of the IBIMA,
2007:34–48.
UML, O. (2009). 2.2 Superstructure Specification. OMG
ed. http://www.omg.org/spec/UML/2.2/.
Utting, M. and Legeard, B. (2007). Practical Model-Based
Testing: A Tools Approach. Morgan Kaufmann Pub-
lishers Inc., San Francisco, CA, USA.
Zhang, G. et al. (2011). Model checking for asynchronous
web service composition based on xyz/adl. In Web
Information Systems and Mining, pages 428–435.
Springer.
Zhu, X.-Y. and Tang, Z.-S. (2003). A temporal logic-based
software architecture description language xyz/adl.
Journal of Software, 14(4):713–720.
AnIntegratedApproachforDesigningandValidatingREST WebServiceCompositions
115