Model checking correctness properties of a middleware service for contract compliance
Proceedings of the 4th International Workshop on Middleware for Service Oriented Computing
Hi-index | 0.00 |
In a contract, exceptional clauses specify sanctions that come in force when the primary obligations are not fulfilled. An important aspect of exception handling is their resolution: determining which particular exception clause should be enforced when a violation is detected. This paper presents a specification and resolution technique for electronic contracts that can be used by a third party exception resolution service.