ICSE Workshop on Principles of Engineering Service Oriented Systems [proceedings]. (IEEE)