A Formal Method for Service Choreography Verification based on Description Logic
Source abstract
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
Source: openalex_inverted_index · Quality: baseline
Research context
OpenAlex topics: Service-Oriented Architecture and Web Services · Semantic Web and Ontologies · Advanced Software Engineering Methodologies
SciVX discovery tags are terminology-based. OpenAlex topics are source-provided classifications.
References
Reference metadata was not supplied for this record.