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. 159-164 2010 SOSE http://dx.doi.org/10.1109/SOSE.2010.12 conf/sose/2010 db/conf/sose/sose2010.html#ZhaoZLHM10