Abstract
The concept of aspect-oriented programming is an emerging programming paradigm that stretches across different development phases in different domains. Many researchers have focused on the use of this paradigm in web service composition in different research axes. However, none of them combine aspect-oriented programming and the design by contract to deal with the adaptation of the parameters in the web service composition process based on the Petri net graph technique as a formal method. This paper proposes a web service composition algorithm based on the Petri net graph that incorporates both Aspect-oriented programming and the design by contract concept. Aspect-oriented programming provides explicit support for the separation of cross-cutting concerns in web service composition, and the design by contract approach allows parameters to be executed in pre-condition and post-condition mode by using contracts in order to ensure correct service execution and adaptation to external parameters without affecting properties that can be dealt with through re-construction of web services composition.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Nam, T., Pardo, T.A.: Conceptualizing smart city with dimensions of technology, people, and institutions. In: Proceedings of the 12th Annual International Digital Government Research Conference: Digital Government Innovation in Challenging Times, pp. 282–291 (2011)
Rao, J., Su, X.: A survey of automated web service composition methods. In: Cardoso, J., Sheth, A. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 43–54. Springer, Heidelberg (2005). https://doi.org/10.1007/978-3-540-30581-1_5
Kiczales, G., et al.: Aspect-oriented programming. In: Akşit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997). https://doi.org/10.1007/BFb0053381
Elrad, T., Filman, R., Bader, A.: Aspect-oriented programming: introduction, Commun. ACM 29–32 (2001)
Meyer, B.: Applying design by contract. IEEE Comput. 40–51 (1992)
Thüm, T., Schaefer, I., Kuhlemann, M., Apel, S., Saake, G.: Applying design by contract to feature-oriented programming. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 255–269. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-28872-2_18
Charfi, A., Schmeling, B., Heizenreder, A., Mezini, M.: Secure and transacted web service compositions with AO4BPEL. In: Proceedings of the 2nd International Conference on Service Oriented Computing ICSOC, pp. 23–34 (2004)
Shanmuga Priya, R., Rajaram, K.: AOP based QoS monitoring of dynamic web service compositions. In: IEEE International Conference on Advanced Communication Control and Computing Technologies (ICACCCT), pp. 1913–1917 (2014)
Zaimer, F., Yutao, M., Keping, H., Gong, P.: A requirements-driven and aspect-oriented approach for evolution of web services composition. In: Conference: Web Mining and Web-based Application (WMWA), pp. 201–204 (2009)
Yang, X., Hung, H.: A petri net based model for aspect oriented web service composition. In: International Conference on Management and Service Science, pp. 1–4 (2009)
Klaeren, H., Pulvermüller, E., Rashid, A., Speck, A.: Aspect composition applying the design by contract principle. In: Butler, G., Jarzabek, S. (eds.) GCSE 2000. LNCS, vol. 2177, pp. 57–69. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-44815-2_5
Minh Le, N.: Contracts for Java: A practical framework for contract programming. http://code.google.com/p/cofoja/. Accessed 08 Aug 2019
Charfi, A., Mezini, M.: AO4BPEL: An Aspect-Oriented Extension to BPEL. Springer Netherlands, pp. 309–344 (2007). https://doi.org/10.1007/s11280-006-0016-3
Hmida, M.M.B., Tomaz, R.F., Monfort, V.: Applying AOP concepts to increase web services flexibility. In: Proceeding of International Conference on Next Generation Web Services Practices, p. 6 (2005)
Braem, M., Joncheere, N.: Requirements for applying aspect-oriented techniques in web service composition languages. In: Lumpe, M., Vanderperren, W. (eds.) SC 2007. LNCS, vol. 4829, pp. 152–159. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-77351-1_12
Xu, Y., Tang, S., Xu, Y., Tang, Z.: Towards aspect oriented web services composition with UML. In: Proceedings of 6th IEEE International Conference on Computer and Information Science (ICIS2007), IEEE Computer Society Press, July 11–13, pp. 279–284 (2007)
Havinga, W., Nagy, I., Bergmans, L., Aksit, M.: A graph based approach to modeling and detecting composition conflicts related to introductions. In: Proceedings of 6th International Conference on Aspect-Oriented Software Development, pp. 85–95 (2007)
Raheman, S.R., Maringanti, H.B., Rath, A.K.: Aspect oriented programs: issues and perspective. J. Electr. Syst. Inf. Technol. 5(2), 562–575 (2018)
Muschevici, R., Clarke, D., Proenca, J.: Feature petri nets. In: Proceedings of the 14th International Software Product Line Conference (SPLC 2010), vol. 2 (2010)
Hamadi, R., Benatallah, B.: A petri net-based model for web service composition. In: proceedings of the 14th Australasian database conference. Australian Computer Society, pp. 191–200 (2003)
Mallayya, D., Ramachandran, B.: Aspect-oriented web service composition: a petri net based approche. In: 2011 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, pp. 88–95 (2011)
Xu, Y., Tang, D.: An aspect-based web service composition model based on petri-net. Adv. Serv. Lett. 10, 388–390 (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Khalifa, F., Guelta, B. (2023). Aspect Oriented Web Service Composition Based Petri Net Model. In: Hatti, M. (eds) Advanced Computational Techniques for Renewable Energy Systems. IC-AIRES 2022. Lecture Notes in Networks and Systems, vol 591. Springer, Cham. https://doi.org/10.1007/978-3-031-21216-1_16
Download citation
DOI: https://doi.org/10.1007/978-3-031-21216-1_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-21215-4
Online ISBN: 978-3-031-21216-1
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)