Generating verifiable service choreographies from SBVR models
Guaranteeing the correct coordination of distributed applications that are built up as networks of autonomous participants, e.g., software components, web services, online resources, software as a service (SaaS) peers, is inherently challenging. This is obvious when the current distributed applicati...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Surrey
2018
|
| Subjects: | |
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.736907 |