Abstract
Reusing available software components in developing new systems is always a priority, as it usually saves a considerable amount of time, money and human effort. An ideal scenario for software reuse is to build a new software system by composing existing components based on their behavioral properties. In this paper we take advantage of logical reasoning to find a solution for automatic composition of stateless components, which are components with a simple two step workflow: receiving inputs and then returning the corresponding outputs. We provide a concrete algorithm to find possible component compositions for a requested behavior. We then validate those compositions using a process algebra, which is specifically designed for this purpose.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
StrikeIron, Inc.: StrikeIron, Extending Your SOA (2006), http://www.strikeiron.com
Hashemian, S.V., Mavaddat, F.: A graph-based framework for composition of stateless web services. In: ECOWS. Proceedings of the 4th European Conference on Web Services, pp. 75–86 (2006)
Benatallah, B., Dumas, M., Sheng, Q.Z., Ngu, A.H.: Declarative composition and peer-to-peer provisioning of dynamic web services. In: ICDE. Proceedings of the 18th International Conference on Data Engineering, pp. 297–308 (2002)
Rao, J., Küngas, P., Matskin, M.: Application of linear logic to web service composition. In: ICWS. Proceedings of the International Conference on Web Services, pp. 3–9 (2003)
Medjahed, B., Bouguettaya, A., Elmagarmid, A.: Composing web services on the semantic web. The VLDB Journal 12(4), 333–351 (2003)
Laukkanen, M., Helin, H.: Composing workflows of semantic web services. In: Proceedings of the Workshop on Web-Services and Agent-based Engineering (2003)
Hashemian, S.V., Mavaddat, F.: A graph-based approach to web services composition. In: SAINT. Proceedings of the 2005 IEEE/IPSJ International Symposium on Applications and the Internet, pp. 183–189 (2005)
Hashemian, S.V., Mavaddat, F.: Composition algebra: Process composition using algebraic rules. In: FACS. Preliminary Proceedings of the Third International Workshop on Formal Aspects of Component Software, pp. 247–264 (2006)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice/Hall International, Englewood Cliffs (1985)
Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
de Alfaro, L., Henzinger, T.: Interface automata. In: ESEC/SIGSOFT FSE. Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 109–120. ACM Press, New York (2001)
Brachman, R., Levesque, H.: Knowledge Representation and Reasoning. Morgan Kaufmann, San Francisco (2004)
Weisstein, E.W.: Multiset; From MathWorld–A Wolfram Web Resource (2002), http://mathworld.wolfram.com/Multiset.html
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hashemian, S.V., Mavaddat, F. (2007). Automatic Composition of Stateless Components: A Logical Reasoning Approach. In: Arbab, F., Sirjani, M. (eds) International Symposium on Fundamentals of Software Engineering. FSEN 2007. Lecture Notes in Computer Science, vol 4767. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75698-9_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-75698-9_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75697-2
Online ISBN: 978-3-540-75698-9
eBook Packages: Computer ScienceComputer Science (R0)