Matching nondeterministic services with operating guidelines (Humboldt-Univ. zu Berlin, 2005)