article
Open access
A Formal Method for Service Choreography Verification based on Description Logic
Research footprint
At a glance
- Citations
- 0
- References
- 4
- Comments
- 0
Paper overview
Abstract
Web Services Choreography Description Language lacks a formal system to accurately express the semantics of service behaviors and verify the correctness of a service choreography model. This paper presents a new approach ... | Find, read and cite all the research you need on Tech Science Press
Record transparency
Publication details
- DOI
- 10.32604/cmc.2020.06216
- OpenAlex
- W3001675647
- Document type
- article
- Language
- EN
- Source
- Computers, materials & continua/Computers, materials & continua (Print)
- Last metadata update
Comments
Log in to join the discussion.