Towards a Graph Grammar Based Verification Approach for Runtime Constrained Evolution of Service-Oriented Architectures

Yongwang Zhao, Bingyang Zhao, Min Liu, Chunyang Hu, Dianfu Ma. Towards a Graph Grammar Based Verification Approach for Runtime Constrained Evolution of Service-Oriented Architectures. In The Fifth IEEE International Symposium on Service-Oriented System Engineering, SOSE 2010, June 4-5, 2010, Nanjing, China. pages 159-164, IEEE, 2010. [doi]

Abstract

Abstract is missing.