DocumentCode :
501684
Title :
Towards the Operational Semantics of User-Centric Communication Models
Author :
Wang, Yingbo ; Wu, Yali ; Allen, Andrew ; Espinoza, Barbara ; Clarke, Peter J. ; Deng, Yi
Author_Institution :
Sch. of Comput. & Inf. Sci., Florida Int. Univ., Miami, FL, USA
Volume :
1
fYear :
2009
fDate :
20-24 July 2009
Firstpage :
254
Lastpage :
262
Abstract :
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.
Keywords :
specification languages; ubiquitous computing; communication modeling language; communication virtual machine; complex communication services; declarative modeling language; executable control scripts; health care domain; label transition systems; operational semantics; user-centric communication model; Application software; Communication system control; Computer applications; Control system synthesis; Costs; Medical services; Pervasive computing; Telephony; USA Councils; Virtual machining; Collaborative Networks; Model-Driven Development; User-Centric Communication;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Software and Applications Conference, 2009. COMPSAC '09. 33rd Annual IEEE International
Conference_Location :
Seattle, WA
ISSN :
0730-3157
Print_ISBN :
978-0-7695-3726-9
Type :
conf
DOI :
10.1109/COMPSAC.2009.41
Filename :
5254252
Link To Document :
بازگشت