2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)