Please use this identifier to cite or link to this item:
Title: Coordinated composition of services for adaptive mobile middleware
Authors: Zheng, Y
Chan, TSA 
Keywords: Buildings
Computer architecture
Computer networks
Feedback loop
Mobile communication
Mobile computing
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.
ISBN: 0-7695-2588-1
ISSN: 1530-1346
DOI: 10.1109/ISCC.2006.55
Appears in Collections:Conference Paper

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

Page view(s)

Last Week
Last month
Citations as of Aug 21, 2018

Google ScholarTM



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