Abstract
Static analysis techniques can be used to analyse and simplify interfaces of enterprise systems, such as those from SAP, Oracle and FedEx, which becoming more prominent on the internet and vying for new systems integration and extension opportunities. Web services of enterprise systems are notoriously complex, having hundreds of parameters per operation, multiple levels of nesting, leading to ambiguities about valid invocations of operations. To derive valid invocations, which in turn assists service users with invoking services correctly, this paper focuses on a challenging aspect of static interface analysis, namely, the identification of service variants in operations, in which the parameters are subtypes of business entities involved in a service. To efficiently search for which combinations of parameters are for a valid invocation, we have proposed a Monte Carlo method, based on likelihood-free Bayesian sampling, to identify higher probability parameters spaces, from which to test prospective invocations. A significant performance boost was found by extending Monte Carlo sampling with Markov look-up, with validation using a simulated FedEx service interface, whose structural complexity exceeds many web services of enterprise systems available on the internet.
This work was sponsored by the Australian Research Council Discovery Grant DP140103788.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
- 2.
- 3.
- 4.
Using the Queensland University of Technology high-performance computing lab: http://www.itservices.qut.edu.au/researchteaching/hpc/.
- 5.
- 6.
- 7.
References
Zaha, J.M., Dumas, M., ter Hofstede, A.H.M., Barros, A., Decker, G.: Bridging global and local models of service-oriented systems. IEEE Trans. Syst. Man Cybern. Part C Appl. Rev. 38(3), 302–318 (2008)
Barros, A., Decker, G., Dumas, M.: Multi-staged and multi-viewpoint service choreography modelling. In: Proceedings of the Workshop on Software Engineering Methods for Service Oriented Architecture (SEMSOA), Hannover, Germany, vol. 244. CEUR Workshop Proceedings (2007)
Stollberg, M., Muth, M.: Efficient business service consumption by customization with variability modelling. J. Syst. Integr. 1(3), 17–32 (2010)
Barros, A., Duddy, K., Lawley, M., Milosevic, Z., Raymond, K., Wood, A.: Processes, Roles, and Events: UML Concepts for Enterprise Architecture. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 62–77. Springer, Heidelberg (2000). doi:10.1007/3-540-40011-7_5
Autili, M., Inverardi, P., Tivoli, M.: Automated integration of service-oriented software systems. In: Dastani, M., Sirjani, M. (eds.) FSEN 2015. LNCS, vol. 9392, pp. 30–45. Springer, Cham (2015). doi:10.1007/978-3-319-24644-4_2
Rasmussen, R., Wei, F., Barros, A.: Technical report: Service variant discovery using a likelihood-free bayesian search method (2016)
Robert, C.P., Casella, G.: Monte Carlo Statistical Methods. Springer-Verlag, Secaucus (2005)
Wei, F., Barros, A., Ouyang, C.: Deriving artefact-centric interfaces for overloaded web services. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015. LNCS, vol. 9097, pp. 501–516. Springer, Cham (2015). doi:10.1007/978-3-319-19069-3_31
Halpin, T., Morgan, T.: Information Modeling and Relational Databases. Morgan Kaufmann series in data management systems. Elsevier/Morgan Kaufmann Publishers, San Francisco (2008)
Nguyen, T., Colman, A., Han, J.: A feature-based framework for developing and provisioning customizable web services. IEEE Trans. Serv. Comput. 9(4), 496–510 (2016)
Howar, F., Jonsson, B., Merten, M., Steffen, B., Cassel, S.: On handling data in automata learning. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol. 6416, pp. 221–235. Springer, Heidelberg (2010). doi:10.1007/978-3-642-16561-0_24
Wei, F.: On the Analysis and Refactoring of Service Interfaces for Improving Service Integration Efficiency. PhD thesis, Queensland University of Technology (2016)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Wei, F., Barros, A., Rasmussen, R., De Alwis, A.A.C. (2017). Efficient Service Variant Analysis with Markov Updates in Monte Carlo Tree Search (Short Paper). In: Panetto, H., et al. On the Move to Meaningful Internet Systems. OTM 2017 Conferences. OTM 2017. Lecture Notes in Computer Science(), vol 10573. Springer, Cham. https://doi.org/10.1007/978-3-319-69462-7_40
Download citation
DOI: https://doi.org/10.1007/978-3-319-69462-7_40
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-69461-0
Online ISBN: 978-3-319-69462-7
eBook Packages: Computer ScienceComputer Science (R0)