“…Particularly well-suited for our approach are therefore applications where the user-level flow of control frequently needs adaptation or updating, as it is the case when addressing user-specific workflows or situation-specific processes. Besides the design of a number of internet services, typically role-based, client-server applications like the Online Conference Service [10,12] that we are here using as a running illustrative example, we have also successfully addressed the modelling and test of (web-enabled) CTI applications, as presented in [4].…”