Towards the Operational Semantics of User-Centric Communication Models

The pervasiveness of complex communication services and the need for end-users to play a greater role in developing communication services have resulted in the creation of the Communication Virtual Machine (CVM) technology. The CVM technology consists of a Communication Modeling Language (CML) and the CVM. CML is a declarative modeling language that can be used to specify domain-specific communication services and the CVM is the platform used to realize the CML models. In this paper we explicitly define the operational semantics of CML to support (1) the synthesis of CML models into executable control scripts and (2) the handling of negotiation and media transfer events during communication. We specify the semantics of CML using label transition systems and describe in detail an algorithm that is essential for the interpretation of CML models. A case study is presented showing how the semantics support the rapid realization of a scenario from the healthcare domain.