Final published version
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
}
TY - GEN
T1 - A context-driven programming model for pervasive spaces
AU - Yang, H.-I.
AU - King, J.
AU - Helal, Sumi
AU - Jansen, E.
PY - 2007
Y1 - 2007
N2 - This paper defines a new, context-driven programming model for pervasive spaces. Existing models are prone to conflict, as it is hard to predict the outcome of interleaved actions from different services, or even to detect that a particular device is receiving conflicting instructions. Nor is there an easy way to identify unsafe contexts and the emergency remedy actions, or for programmers and users to grasp the complete status of the space. The programming model proposed here resolves these problems by improving coordination by explicitly defining the behaviors via context, and providing enhanced safety guarantees as well as a real-time, at-a-glance snapshot of the space's status. We present this model by first revisiting the definitions of the three basic entities (sensors, actuators and users) and then deriving at the definition of the operational semantics of a pervasive space and its context. A scenario is provided to demonstrate both how programmers use this model as well as the advantages of the model over other approaches. © Springer-Verlag Berlin Heidelberg 2007.
AB - This paper defines a new, context-driven programming model for pervasive spaces. Existing models are prone to conflict, as it is hard to predict the outcome of interleaved actions from different services, or even to detect that a particular device is receiving conflicting instructions. Nor is there an easy way to identify unsafe contexts and the emergency remedy actions, or for programmers and users to grasp the complete status of the space. The programming model proposed here resolves these problems by improving coordination by explicitly defining the behaviors via context, and providing enhanced safety guarantees as well as a real-time, at-a-glance snapshot of the space's status. We present this model by first revisiting the definitions of the three basic entities (sensors, actuators and users) and then deriving at the definition of the operational semantics of a pervasive space and its context. A scenario is provided to demonstrate both how programmers use this model as well as the advantages of the model over other approaches. © Springer-Verlag Berlin Heidelberg 2007.
KW - Computer programming
KW - Context sensitive languages
KW - Real time systems
KW - Ubiquitous computing
KW - User interfaces
KW - Pervasive spaces
KW - Programming models
KW - Data structures
U2 - 10.1007/978-3-540-73035-4_4
DO - 10.1007/978-3-540-73035-4_4
M3 - Conference contribution/Paper
SN - 9783540730347
T3 - Lecture Notes in Computer Science
SP - 31
EP - 43
BT - Pervasive Computing for Quality of Life Enhancement. ICOST 2007
A2 - Okadome, T.
A2 - Yamazaki, T.
A2 - Makhtari, M.
PB - Springer
CY - Berlin
ER -