TY - GEN
T1 - Towards the operational semantics of user-centric communication models
AU - Wang, Yingbo
AU - Wu, Yali
AU - Allen, Andrew
AU - Espinoza, Barbara
AU - Clarke, Peter J.
AU - Deng, Yi
N1 - The pervasiveness of complex communication services and the need for end-users to play a greater role in developing communication services have resulted in
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
KW - Collaborative Networks
KW - Model-Driven Development
KW - User-Centric Communication
UR - http://www.scopus.com/inward/record.url?scp=70449657431&partnerID=8YFLogxK
U2 - 10.1109/COMPSAC.2009.41
DO - 10.1109/COMPSAC.2009.41
M3 - Conference article
SN - 9780769537269
T3 - Proceedings - International Computer Software and Applications Conference
SP - 254
EP - 262
BT - Proceedings - 2009 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009
T2 - 2009 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009
Y2 - 20 July 2009 through 24 July 2009
ER -