Towards the Operational Semantics of User-Centric Communication Models

Wang, Yingbo; Wu, Yali; Allen, Andrew; Espinoza, Barbara; Clarke, Peter J.; Deng, Yi

doi:10.1109/compsac.2009.41

Cited by 5 publications

(18 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The transitions are specified by a labeled transition relation. This behavioral model is an extension and refinement of the work presented by Wang et al [77]. The transition relation essentially specifies the rules for state changes based on the input CML model and the SE environment.…”

Section: Formal Semantics Specification For CMLmentioning

confidence: 99%

“…In this subsection, we first formalize the semantics for CML models [77], and then extend it for WF-CML that provides the basis for dynamic synthesis of coordinated communication services.…”

Section: Towards a Formal Approach For Dynamic Synthesismentioning

confidence: 99%

“…In this dissertation, we investigate a domainspecific modeling language (DSML), Workflow Communication Modeling Language (WF-CML), that supports the rapid realization of coordinated user-centric communication services (UCCSs). WF-CML is an extension of the previously developed Communication Modeling Language (CML) [77] with communication-specific abstractions of workflow concepts commonly found in business processes. The current version of CML is limited to specifying structural specifications of the user's communication needs, leaving out the specification of control flow.…”

mentioning

confidence: 99%

See 2 more Smart Citations

A Domain Specific Modeling Approach for Coordinating User-Centric Communication Services

Clarke

Self Cite

View full text Add to dashboard Cite

Section: Formal Semantics Specification For CMLmentioning

confidence: 99%

Section: Towards a Formal Approach For Dynamic Synthesismentioning

confidence: 99%

mentioning

confidence: 99%

See 1 more Smart Citation

A Domain Specific Modeling Approach for Coordinating User-Centric Communication Services

Clarke

Self Cite

View full text Add to dashboard Cite

“…The semantics to support the interpretation of CML models are based on changes to models (schemas) at runtime and defined using state machines [80]. As the state machines for schema negotiation and media transfer are executed the appropriate control scripts are generated for processing in the UCM.…”

Section: Communication Virtual Machinementioning

confidence: 99%

“…Experts and novice users in domains such as healthcare, disaster management and scientific collaboration are presented with a simplified yet powerful way to quickly create and realize communication intensive collaboration. The user's communication needs are specified as a model written in the Communication Modeling Language (CML) [80]. The CML model is then executed on the CVM platform.…”

mentioning

confidence: 99%

Abstractions to Support Dynamic Adaptation of Communication Frameworks for User-Centric Communication

Clarke

Allen

View full text Add to dashboard Cite

A domain‐specific modeling approach to realizing user‐centric communication

Wu¹,

Allen²,

Hernandez³

et al. 2012

Softw Pract Exp

Self Cite

View full text Add to dashboard Cite

SUMMARY Advances in communication devices and technologies are dramatically expanding our communication capabilities and enabling a wide range of multimedia communication applications. The current approach to develop communication‐intensive applications results in products that are fragmented, inflexible, and incapable of responding to changing end‐users' communication needs. These limitations have resulted in the need for a new development approach of building communication applications that are driven by end‐users and that support the dynamic nature of communication‐based collaboration. To address this need, the Communication Virtual Machine (CVM) technology has been developed to support rapid specification and automatic realization of user‐centric communication applications based on a domain‐specific modeling approach. The CVM technology consists of a domain‐specific modeling language (DSML), the Communication Modeling Language (CML), that is used to create communication models, and a semantic rich platform, the CVM, that realized the created communication models. In this paper, we report on our experiences of applying a systematic approach to engineering CML and the synthesis of CML models in CVM. Based on a feature model describing the taxonomy of the user‐centric communication domain in a network independent manner, we develop the meta‐model of CML and its different concrete syntaxes. We also present a behavioral specification (dynamic semantics) of CML that enables the dynamic synthesis of user‐centric communication models into an executable form called communication control script. We validated the CML semantics using Kermeta, a meta‐programming environment for engineering DSMLs, and evaluated the practicality of our approach using a CVM prototype and a set of experiments. Copyright © 2011 John Wiley & Sons, Ltd.

show abstract

Towards the Operational Semantics of User-Centric Communication Models

Cited by 5 publications

References 8 publications

A Domain Specific Modeling Approach for Coordinating User-Centric Communication Services

A Domain Specific Modeling Approach for Coordinating User-Centric Communication Services

Abstractions to Support Dynamic Adaptation of Communication Frameworks for User-Centric Communication

A domain‐specific modeling approach to realizing user‐centric communication

Contact Info

Product

Resources

About