UNIVERSITY TRANSFORMING TADL MODEL TO UPPAAL FOR CONTEXT AWARE SYSTEM SHEN LU Department of Computer Science and Software Engineering ©SHEN LU, 2008 ABSTRACT The focus of this paper is on the design and development of a model translation tool for context-aware system based on the existing research outcome of Naseem [2] and Shujun [5]. This tool, named as T2Uppaal, facilitates automatic conversion from TADL description to Uppaal model. This paper will analyze the context aware system
Words: 3889 - Pages: 16
