@incollection{Dong08,
author = {Zhijiang Dong and Yujian Fu and Xudong He and Yue Fu},
title = {Formalizing and Validating UML Architecture Description of Service-Oriented Applications},
booktitle = {Petri Net},
publisher = {IntechOpen},
address = {Rijeka},
year = {2008},
editor = {Vedran Kordic},
chapter = {22},
doi = {10.5772/5331},
url = {https://doi.org/10.5772/5331}
}