Towards a Graph Grammar Based Verification Approach for Runtime Constrained Evolution of Service-Oriented Architectures. - Yongwang Zhao; Bingyang Zhao; Min Liu 017; Chunyang Hu; Dianfu Ma (SOSE, 2010)

A Constraint Mechanism for Dynamic Evolution of Service Oriented Systems. - Bingyang Zhao; Yongwang Zhao; Dianfu Ma (ISORC, 2012)