A Petri Net Method for Compatibility Enforcement to Support Service Choreography
Non-local choice mismatch is one of the most important problems in the Internet-scale and service-based workflow ecosystems. The state-of-the-art method can solve it by generating adaptors to check deadlock-freeness based on a reachability graph. The states in the reachability graph give clues to re...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2016-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/7579155/ |