Abstract
Service-oriented computing (SoC) promotes a paradigm where enterprise applications can be transformed into reusable, network-accessible software modules or services (i.e. Web services). In many cases, existing concrete applications can be wrapped to perform within the SoC environment by (1) converting their required input data and output provisions into XML-based messages (e.g. SOAP) and (2) specifying the newly-created services using other XML-based software specifications (e.g. WSDL). In addition, enterprise organizations also devise natural language specifications to describe the service capability. Unfortunately, consumers of these capabilities often misinterpret the data requirements for using the underlying services. In this paper, we propose a generic model for data-centric Web Services that aids formal specification of service-data interactions and provides practical and verifiable solutions to eliminate data ambiguity and promote service reusability.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Amazon Web Services, http://aws.amazon.com/
PayPal Developer Community, http://developer.paypal-portal.com/pdn/
Web Service Description Language (WSDL), http://www.w3.org/TR/wsdl20/
Codd, E.F.: The relational model for database management: version 2. Addison-Wesley Longman Publishing Co., Amsterdam (1990)
Vossen, G.: On formal models for object-oriented databases. SIGPLAN OOPS Mess. 6, 1–19 (1995)
Date, C.: An Introduction to Database Systems. Addison Wesley, Reading (2003)
Fisher, G.: Formal Specification Examples, http://users.csc.calpoly.edu/~gfisher/classes/308/doc/ref-man/formal-spec-examples.html
Souto, R., Souto, R., Barros, M., Barros, M.: On the Formal Specification and Derivation of Relational Database Applications, PhD Dissertation (1994)
Kilov, H.: From semantic to object-oriented data modeling, Systems Integration. In: Proceedings of the First International Conference on Systems Integration, pp. 385–393 (1990)
Leavens, G.T., Cheon, Y., Clifton, C., Ruby, C., Cok, D.R.: How the design of JML accommodates both runtime assertion checking and formal verification. Science of Computer Programming 55, 185–208 (2005)
Barnett, M., Rustan, K., Leino, M., Schulte, W.: The Spec# programming system: An overview. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol. 3362, pp. 49–69. Springer, Heidelberg (2005)
Lawrence, S., Giles, C.L.: Searching the World Wide Web. Science (1998)
Madhavan, J., Ko, D., Kot, L., Ganapathy, V., Rasmussen, A., Halevy, A.: Google’s Deep Web crawl. In: Proc. VLDB Endow., vol. 1, pp. 1241–1252 (2008)
Carey, M.: Data delivery in a service-oriented world: the BEA aquaLogic data services platform. In: Proceedings of the ACM SIGMOD international conference on Management of data, pp. 695–705. ACM, Chicago (2006)
OASIS Business Transaction Protocol, http://oasis-open.org/committees/business-transactions/
Web Services Atomic Transaction (WS-Atomic Transaction) version 1.2, Committee Specification 01 (2008), http://docs.oasis-open.org/ws-tx/wstx-wsat-1.2-spec.pdf
Web Services Business Activity (WS-Business Activity) version 1.2, Committee Specification 01 (2008), http://docs.oasis-open.org/ws-tx/wstx-wsba-1.2-spec-cs-01.pdf
Design by Contract for Web Services, http://myarch.com/design-by-contract-for-web-services
Bansal, A., Patel, K., Gupta, G., Raghavachari, B., Harris, E.D., Staves, J.C.: Towards Intelligent Services: A Case Study in Chemical Emergency Response. In: International Conference on Web Services (ICWS), pp. 751–758. IEEE Computer Society, Los Alamitos (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Saleh, I., Kulczycki, G., Blake, M.B. (2009). A Reusable Model for Data-Centric Web Services. In: Edwards, S.H., Kulczycki, G. (eds) Formal Foundations of Reuse and Domain Engineering. ICSR 2009. Lecture Notes in Computer Science, vol 5791. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04211-9_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-04211-9_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04210-2
Online ISBN: 978-3-642-04211-9
eBook Packages: Computer ScienceComputer Science (R0)