The relational model for database management: version 2
The relational model for database management: version 2
From semantic to object-oriented data modeling
ISCI '90 Proceedings of the first international conference on systems integration on Systems integration '90
On formal models for object-oriented databases
ACM SIGPLAN OOPS Messenger
An Introduction to Database Systems
An Introduction to Database Systems
How the design of JML accommodates both runtime assertion checking and formal verification
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Towards Intelligent Services: A Case Study in Chemical Emergency Response
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Data delivery in a service-oriented world: the BEA aquaLogic data services platform
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Proceedings of the VLDB Endowment
The spec# programming system: an overview
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Hi-index | 0.00 |
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.