Services are loosely coupled interacting software components. Since two or more services are usually composed to one software system, the behavior of an implemented service should not differ to its specification. Therefore we propose an approach to test, if the implementation contains unspecified behavior. Due to the interacting nature of services this is a nontrivial task.
|Title of host publication||Proceedings of the 1st Central-European Workshop on Services and their Composition (ZEUS 2009, Stuttgart, Germany, March 2-3, 2009)|
|Editors||O. Kopp, N. Lohmann|
|Place of Publication||Aachen|
|Publication status||Published - 2009|
|Name||CEUR Workshop Proceedings|