https://123dok.org/document/nq78jknz-specification-and-analysis-of-service-oriented-applications.html