TY - GEN
T1 - An architecture for a smart spaces virtual machine
AU - Freitas, Leandro A.
AU - Costa, Fábio M.
AU - Rocha, Ricardo C.A.
AU - Allen, Andrew
N1 - Publisher Copyright:
Copyright 2014 ACM.
PY - 2014/12/8
Y1 - 2014/12/8
N2 - The growth and popularization of wireless connectivity and mobile devices have allowed the development of smart spaces that were previously only envisaged in the approach proposed by Mark Weiser. These environments are composed of many computational resources, such as devices and applications, along with user, who must be able to associate with and use these features. However, programming these environments is a challenging task, since smart spaces have a dynamic nature and heterogeneous resources, in addition to the requirement that interactions between users and resources are performed in a coordinated way. We present a new approach for smart spaces programming using Models@RunTime. To this end, we propose a high-level modeling language, called 2SML, through which the user can model the smart space with all elements that can be part of it. Models created by the users are interpreted and effected in the physical space by a model execution engine, called 2SVM, whose development is part of this work.
AB - The growth and popularization of wireless connectivity and mobile devices have allowed the development of smart spaces that were previously only envisaged in the approach proposed by Mark Weiser. These environments are composed of many computational resources, such as devices and applications, along with user, who must be able to associate with and use these features. However, programming these environments is a challenging task, since smart spaces have a dynamic nature and heterogeneous resources, in addition to the requirement that interactions between users and resources are performed in a coordinated way. We present a new approach for smart spaces programming using Models@RunTime. To this end, we propose a high-level modeling language, called 2SML, through which the user can model the smart space with all elements that can be part of it. Models created by the users are interpreted and effected in the physical space by a model execution engine, called 2SVM, whose development is part of this work.
KW - Models at runtime
KW - Smart spaces
KW - Smart spaces programming
KW - Ubiquitous computing
UR - http://www.scopus.com/inward/record.url?scp=84939221509&partnerID=8YFLogxK
U2 - 10.1145/2676733.2676742
DO - 10.1145/2676733.2676742
M3 - Conference article
T3 - ACM International Conference Proceeding Series
BT - Proceedings of the 9th Workshop on Middleware for Next Generation Internet Computing, MW4NG 2014 - co-located with the 15th ACM/IFIP/USENIX International Middleware Conference, Middleware 2014
PB - Association for Computing Machinery
T2 - 9th Workshop on Middleware for Next Generation Internet Computing, MW4NG 2014 - co-located with the 15th ACM/IFIP/USENIX International Middleware Conference, Middleware 2014
Y2 - 8 December 2014 through 12 December 2014
ER -