Specification and verification of web services transactions
Proceedings of the Fourth SIGMOD PhD Workshop on Innovative Database Research
Electronic health record data-as-a-services composition based on query rewriting
Transactions on large-scale data- and knowledge-centered systems IV
| Hi-index | 0.00 |
Service-oriented architecture (SOA) promotes a paradigm in which enterprise applications are implemented as reusable, interoperable, network-accessible software modules. Ambiguity is introduced when enterprise organizations devise natural language specifications to describe the service capabilities. Consequently, consumers often misinterpret operational details while using these services, resulting in unfavorable side-effects. Practical, verifiable, and reusable solutions are required to mitigate these issues.