PLA Army Engineering University;
Nanjing;
China;
The 28th Research Institute of China Electronics Technology Group Corporation;
Nanjing;
China;
Southeast University;
Nanjing;
China;
Service choreography; WS-CDL; meta-concept model; description logic; formal verification;