Formally Modeling, Executing, and Testing Service-Oriented Systems with UML and OCL.

Loli Burgueo, Martin Gogolla

Browse the full ICSOC paper archive.