Open Access

ARTICLE

A Formal Method for Service Choreography Verification Based on Description Logic

Tingting Zhang^{1, 2, 3, *}, Yushi Lan², Minggang Yu¹, Changyou Zheng¹, Kun Liu¹

1 PLA Army Engineering University, Nanjing, China.
2 The 28th Research Institute of China Electronics Technology Group Corporation, Nanjing, China.
3 Southeast University, Nanjing, China.

* Corresponding Author: Tingting Zhang. Email: .