[1] R. Jayakumar and S. K. Narula, “Distributed system design, course notes for COMP6231, summer 2017.” [online], June 2017.
[2] G. Coulouris, J. Dollimore, T. Kindberg, and G. Blair, Distributed Systems: Concepts and Design. Addison-Wesley, 5 ed., 2012. ISBN: 978-0-13-214301-1.
[3] P. Wang, Z. Ding, C. Jiang, and M. Zhou, “Constraint-aware approach to web service composition,” IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 44, pp. 770–784, June 2014.
[4] T. Laleh, Constraint Verification in Web Service Composition. PhD thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, Feb. 2018.
[5] T. Laleh, J. Paquet, S. Mokhov, and Y. Yan, “Constraint verification failure recovery in web service composition,” Future Generation Computer Systems, vol. 89, pp. 387 – 401, 2018. http://www.sciencedirect.com/science/article/pii/S0167739X17320629.
[6] T. Laleh, J. Paquet, S. Mokhov, and Y. Yan, “Predictive failure recovery in constraint-aware web service composition,” in Proceedings of the 7th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER, pp. 241–252, INSTICC, SciTePress, 2017.
[7] T. Laleh, J. Paquet, S. Mokhov, and Y. Yan, “Constraint adaptation in web service composition,” in 2017 IEEE International Conference on Services Computing (SCC), pp. 156–163, June 2017.
[8] T. Laleh, J. Paquet, S. A. Mokhov, and Y. Yan, “Efficient constraint verification in service composition design and execution (short paper),” in CoopIS, pp. 445–455, Springer, 2016.
[9] R. Aggarwal, K. Verma, J. Miller, and W. Milnor, “Constraint driven web service composition in METEOR-S,” in IEEE International Conference on Services Computing, 2004. (SCC 2004). Proceedings. 2004, pp. 23–30, Sept 2004.
[10] G. Chafle, K. Dasgupta, A. Kumar, S. Mittal, and B. Srivastava, “Adaptation in web service composition and execution,” in 2006 IEEE International Conference on Web Services (ICWS’06), pp. 549–557, Sept 2006.
[11] S. Youcef, M. U. Bhatti, L. Mokdad, and V. Monfort, “Simulation-based response-time analysis of composite web services,” in 2006 IEEE International Multitopic Conference, pp. 349–354, Dec 2006.
[12] C. Zhu and Y. Du, “Application of logical petri nets in web service composition,” in 2010 IEEE International Conference on Mechatronics and Automation, pp. 913–918, Aug 2010.
[13] M. Chen, T. H. Tan, J. Sun, Y. Liu, and J. S. Dong, “VeriWS: A tool for verification of combined functional and non-functional requirements of web service composition,” in Companion Proceedings of the 36th International Conference on Software Engineering, ICSE Companion 2014, (New York, NY, USA), pp. 564–567, ACM, 2014.
[14] K. T. Huynh, T. T. Quan, and T. H. Bui, “Fast and formalized: Heuristics-based on-the-fly web service composition and verification,” in 2015 2nd National Foundation for Science and Technology Development Conference on Information and Computer Science (NICS), pp. 174–179, Sept 2015.
[15] V. Shkarupylo, “A simulation-driven approach for composite web services validation,” in Central European Conference on Information and Intelligent Systems, p. 227, Faculty of Organization and Informatics Varazdin, Sept 2016.
[16] S. Narayanan and S. A. McIlraith, “Simulation, verification and automated composition of web services,” in Proceedings of the 11th International Conference on World Wide Web, WWW ’02, (New York, NY, USA), pp. 77–88, ACM, 2002.
[17] S. Narayanan and S. McIlraith, “Analysis and simulation of web services,” Computer Networks, vol. 42, no. 5, pp. 675 – 693, 2003. The Semantic Web: an evolution for a revolution.
[18] X. Wang and S. Yu, “A novel method for verification of composite web services,” in 2015 2nd International Conference on Information Science and Control Engineering, pp. 37–40, April 2015.
[19] C. Dechsupa, W. Vatanawood, and A. Thongtak, “Formal verification of web service orchestration using colored petri net,” in Proceedings of the International MultiConference of Engineers and Computer Scientists, vol. 1, March 2016.
[20] X. Fu, T. Bultan, and J. Su, “Analysis of interacting BPEL web services,” in Proceedings of the 13th international conference on World Wide Web, pp. 621–630, ACM, 2004.
[21] A. Khodadadi, “Collection and classification of services and their context,” Master’s thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, Sept. 2015.
[22] J. Paquet and P. G. Kropf, “The GIPSY architecture,” in Proceedings of Distributed Computing on the Web (P. G. Kropf, G. Babin, J. Plaice, and H. Unger, eds.), vol. 1830 of Lecture Notes in Computer Science, pp. 144–153, Springer Berlin Heidelberg, 2000.
[23] J. Paquet and A. H. Wu, “GIPSY – a platform for the investigation on intensional programming languages,” in Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC 2005), pp. 8–14, CSREA Press, June 2005.
[24] J. Paquet, “Distributed eductive execution of hybrid intensional programs,” in Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC’09), pp. 218–224, IEEE Computer Society, July 2009.
[25] E. A. Ashcroft, A. A. Faustini, R. Jagannathan, and W. W. Wadge, Multidimensional Programming. London: Oxford University Press, Feb. 1995. ISBN: 978-0195075977.
[26] W. W.Wadge and E. A. Ashcroft, Lucid, the Dataflow Programming Language. London: Academic Press, 1985.
[27] P. Rondogiannis and W. W. Wadge, “Intensional programming languages,” in Proceedings of the First Panhellenic Conference on New Information Technologies (NIT’98), Athens, Greece, pp. 85–94, 1998.
[28] B. Han, “Towards a multi-tier runtime system for GIPSY,” Master’s thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, 2010.
[29] J. Paquet, Scientific Intensional Programming. PhD thesis, Department of Computer Science, Quebec City, Canada, 1999.
[30] J. Cheng, C. Liu, M. Zhou, Q. Zeng, and A. Yla-Jaaski, “Automatic composition of semantic web services based on fuzzy predicate petri nets,” IEEE Transactions on Automation Science and Engineering, vol. 12, pp. 680–689, April 2015.
[31] J. Billington, S. Christensen, K. van Hee, E. Kindler, O. Kummer, L. Petrucci, R. Post, C. Stehno, and M. Weber, “The petri net markup language: Concepts, technology, and tools,” in Applications and Theory of Petri Nets 2003 (W. M. P. van der Aalst and E. Best, eds.), (Berlin, Heidelberg), pp. 483–505, Springer Berlin Heidelberg, 2003.
[32] “Pnml.org - PNML reference site.” http://www.pnml.org/, viewed in August 2018.
[33] S. Juan and W. Hao, “Performance analysis for web service composition based on queueing petri net,” in Software Engineering and Service Science (ICSESS), 2012 IEEE 3rd International Conference on, pp. 501–504, IEEE, 2012.
[34] R. Jagannathan and C. Dodd, “GLU programmer’s guide,” tech. rep., SRI International, Menlo Park, California, 1996.
[35] R. Jagannathan, C. Dodd, and I. Agi, “GLU: A high-level system for granular dataparallel programming,” in Concurrency: Practice and Experience, vol. 1, pp. 63–83, 1997.
[36] S. A. Mokhov, “Towards hybrid intensional programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY,” Master’s thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, Oct. 2005. ISBN 0494102934; online at http://arxiv.org/abs/0907.2640.
[37] S. Mokhov and J. Paquet, “Objective Lucid – first step in object-oriented intensional programming in the GIPSY,” in Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC 2005), pp. 22–28, CSREA Press, June 2005.
[38] Sun Microsystems, Inc., “The Java web services tutorial (for Java Web Services Developer’s Pack, v2.0).” [online], Feb. 2006. http://download.oracle.com/docs/cd/E17802_01/webservices/webservices/docs/2.0/tutorial/doc/.
[39] F. Siala, I. Ait-Sadoune, and K. Ghedira, “A multi-agent based approach for composite web services simulation,” in International Conference on Model and Data Engineering, pp. 65–76, Springer, 2014.
[40] AT&T Labs Research and Various Contributors, “Graphviz – graph visualization software.” [online], 1996–2012. http://www.graphviz.org/.
[41] E. R. Gansner, E. Koutsofios, and S. North, Drawing graphs with dot, January 2015. https://graphviz.gitlab.io/_pages/pdf/dotguide.pdf.
[42] D. Nagamouttou, I. Egambaram, M. Krishnan, and P. Narasingam, “A verification strategy for web services composition using enhanced stacked automata model,” SpringerPlus, vol. 4, no. 1, p. 98, 2015.
[43] N. Adadi, M. Berrada, D. Chenouni, and B. Bounabat, “Modeling and simulation of web services composition based on MARDS model,” in Intelligent Systems: Theories and Applications (SITA), 2015 10th International Conference on, pp. 1–6, IEEE, 2015.
[44] S. Majithia, M. Shields, I. Taylor, and I. Wang, “Triana: A graphical web service composition and execution toolkit,” in Web Services, 2004. Proceedings. IEEE International Conference on, pp. 514–521, IEEE, 2004.
[45] K. J. Turner, “Representing and analysing composed web services using CRESS,” Journal of network and computer applications, vol. 30, no. 2, pp. 541–562, 2007.
[46] S. Chandrasekaran, G. Silver, J. A. Miller, J. Cardoso, and A. P. Sheth, “XML-based modeling and simulation: web service technologies and their synergy with simulation,” in Proceedings of the 34th conference on Winter simulation: exploring new frontiers, pp. 606–615, Winter Simulation Conference, 2002.
[47] G. A. Silver, A. Maduko, R. Jafri, J. A. Miller, and A. P. Sheth, “Modeling and simulation of quality of service for composite web services,” in Proceedings of the 7th World Multiconference on Systemics, Cybernetics and Informatics (SCI’03), vol. 1, pp. 420–425, 2003.
[48] S. Chandrasekaran, J. A. Miller, G. S. Silver, B. Arpinar, and A. P. Sheth, “Composition, performance analysis and simulation of web services,” 2002.
[49] S. Chandrasekaran, J. A. Miller, G. S. Silver, B. Arpinar, and A. P. Sheth, “Performance analysis and simulation of composite web services,” Electronic Markets, vol. 13, no. 2, pp. 120–132, 2003.
[50] S. Software, “SoapUI Projects.” Published electronically, https://www.soapui.org/soapui-projects/soapui-projects.html. [accessed 10-May-2019], 2019.
[51] A. Simard, “A framework for interoperability across heterogeneous service description models,” Master’s thesis, Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada, Mar. 2019.