A reusable model for data-centric web services

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5791 LNCS, Issue , 2009, Pages 288-297

  Saleh, Iman ^a   Kulczycki, Gregory ^a   Blake, M Brian ^b  

^a VIRGINIA POLYTECHNIC INSTITUTE AND STATE UNIVERSITY   (United States)

^b University of Notre Dame   (United States)

Author keywords

Data Centric Web Services; Formal Specification; SOA; SOC

Indexed keywords

CONCRETE APPLICATIONS; DATA AMBIGUITIES; DATA CENTRIC; DATA INTERACTIONS; DATA REQUIREMENTS; DATA-CENTRIC WEB SERVICES; ENTERPRISE APPLICATIONS; FORMAL SPECIFICATION; GENERIC MODELS; INPUT DATAS; NATURAL LANGUAGE SPECIFICATIONS; SERVICE CAPABILITY; SERVICE-ORIENTED COMPUTING; SOA; SOC; SOFTWARE MODULES; SOFTWARE SPECIFICATION;

MARKUP LANGUAGES; PROGRAMMABLE LOGIC CONTROLLERS; REUSABILITY; SPECIFICATIONS; WEB SERVICES; XML;

COMPUTER SOFTWARE REUSABILITY;

EID: 70350357334     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04211-9_28     Document Type: Conference Paper

References (19)

1. Amazon Web Services, http://aws.amazon.com/
2. PayPal Developer Community, http://developer.paypal-portal.com/pdn/
3. Web Service Description Language (WSDL), http://www.w3.org/TR/wsdl20/
4. Codd, E.F.: The relational model for database management: version 2. Addison-Wesley Longman Publishing Co., Amsterdam (1990)
5. Vossen, G.: On formal models for object-oriented databases. SIGPLAN OOPS Mess. 6, 1-19 (1995)
6. Date, C.: An Introduction to Database Systems. Addison Wesley, Reading (2003)
7. Fisher, G.: Formal Specification Examples, http://users.csc.calpoly.edu/ ̃gfisher/classes/308/doc/ ref-man/formal-spec-examples.html
8. Souto, R., Souto, R., Barros, M., Barros, M.: On the Formal Specification and Derivation of Relational Database Applications, PhD Dissertation (1994)
9. 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)
10. 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)
11. 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)
12. Lawrence, S., Giles, C.L.: Searching the World Wide Web. Science (1998)
13. 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)
14. 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)
15. OASIS Business Transaction Protocol, http://oasis-open.org/committees/ business-transactions/
16. 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
17. 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
18. Design by Contract for Web Services, http://myarch.com/design-bycontract- for-web-services
19. 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)