Please use this identifier to cite or link to this item: http://hdl.handle.net/10397/10239
Title: Coordinated composition of services for adaptive mobile middleware
Authors: Zheng, Y
Chan, TSA 
Keywords: Buildings
Computer architecture
Computer networks
Context
Feedback loop
Java
Middleware
Mobile communication
Mobile computing
Runtime
Issue Date: 2006
Publisher: IEEE
Source: 11th IEEE Symposium on Computers and Communications, 2006 : ISCC '06 : proceedings : 26-29 June 2006, p. 789-794 How to cite?
Abstract: The use of middleware is one important approach to facilitating adaptation across wireless and mobile environments, where augmented service entities are composed and deployed to shield mobile clients from the effects of dynamic network characteristics. The MCL system provides a language-based approach to the building of mobile applications running in an adaptive middleware, MobiGATE. In particular, MCL is formalized by means of the design and development of a semantic model based on Z language, which can be used to analyze architectural descriptions and detect possible composition errors like feedback loops. To verify the semantic model and its ability to provide runtime checking of composition, we have developed and implemented a Java tool to demonstrate how Z semantic models are mapped into computational structures to provide on-the-fly verifications.
URI: http://hdl.handle.net/10397/10239
ISBN: 0-7695-2588-1
ISSN: 1530-1346
DOI: 10.1109/ISCC.2006.55
Appears in Collections:Conference Paper

Access
View full-text via PolyU eLinks SFX Query
Show full item record

Page view(s)

25
Last Week
0
Last month
Checked on Aug 20, 2017

Google ScholarTM

Check

Altmetric



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.