Gupta, Jyotsana (2019) Execution/Simulation of Context/Constraint-aware Composite Services using GIPSY. Masters thesis, Concordia University.
Preview |
Text (application/pdf)
1MBGupta_MCompSc_F2019.pdf - Accepted Version Available under License Spectrum Terms of Access. |
Abstract
For fulfilling a complex requirement comprising of several sub-tasks, a composition of simple web services, each of which is dedicated to performing a specific sub-task involved, proves to be a more competent solution in comparison to an equivalent atomic web service. Owing to advantages such as re-usability of components, broader options for composition requesters and liberty to specialize for component providers, for over two decades now, composite services have been extensively researched to the point of being perfected in many aspects. Yet, most of the studies undertaken in this field fail to acknowledge that every web service has a limited context in which it can successfully perform its tasks, the boundaries of which are defined by the internal constraints placed on the service by its providers. When used as part of a composition, the restricted context-spaces of all such component services together define the contextual boundaries of the composite service as a unit, which makes internal constraints an influential factor for composite service functionality. However, due to the limited exposure received by them, no systems have yet been proposed to cater to the specific verification of internal constraints imposed on components of a composite service. In an attempt to address this gap in service composition research, in this thesis, we propose a multi-faceted solution capable of not only automatically constructing context-aware composite web services with their internal constraints positioned for optimum resource-utilization but also of validating the generated compositions using the General Intensional Programming SYstem (GIPSY) as a time- and cost-efficient simulation/execution environment.
| Divisions: | Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering |
|---|---|
| Item Type: | Thesis (Masters) |
| Authors: | Gupta, Jyotsana |
| Institution: | Concordia University |
| Degree Name: | M. Comp. Sc. |
| Program: | Computer Science |
| Date: | 3 July 2019 |
| Thesis Supervisor(s): | Paquet, Joey |
| Keywords: | service computing, composite service, service composition, constraint-aware service composition, context-aware service composition, service constraints, service constraint verification, composite service execution, composite service simulation |
| ID Code: | 985560 |
| Deposited By: | Jyotsana Gupta |
| Deposited On: | 06 Feb 2020 02:42 |
| Last Modified: | 06 Feb 2020 02:42 |
References:
[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.
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.
Repository Staff Only: item control page
Download Statistics
Download Statistics