ABSTRACT
This paper proposes the idea of providing artifacts with specifications of their situation transforming behaviour. Such specifications can be created by designers (and so would come together with the artifact on purchase) or end-users to implement smart things that transform their environment in meaningful ways. The specifications are based on situation semantics first developed for studies in linguistics.
- Jon Barwise and John Perry. Situations and Attitudes. MIT Press, Cambridge, MA, 1983.Google Scholar
- Keith Devlin. Situation theory and situation semantics. In John Woods and Dov M. Gabbay, editors, Handbook of the History of Logic, pages 601--664. 7 edition, 2006.Google Scholar
- Anind K. Dey. Understanding and using context. Personal and Ubiquitous Computing, 5(1):4--7, 2001. Google ScholarDigital Library
- Hans W. Gellersen, Albercht Schmidt, and Michael Beigl. Multi-sensor context-awareness in mobile devices and smart artifacts. Mob. Netw. Appl., 7(5):341--351, 2002. Google ScholarDigital Library
- Neil Gershenfeld. When Things Start to Think. Henry Holt and Co., Inc., New York, NY, USA, 1999. Google ScholarDigital Library
- Andreas Heil, Mirko Knoll, and Torben Weis. The internet of things - context-based device federations. In HICSS '07: Proceedings of the 40th Annual Hawaii International Conference on System Sciences, page 58, Washington, DC, USA, 2007. IEEE Computer Society. Google ScholarDigital Library
- Ashraf Khalil and Kay Connelly. Context-aware configuration: A study on improving cell phone awareness. In CONTEXT, pages 197--209, 2005. Google ScholarDigital Library
- Gerd Kortuem, Fahim Kawsar, Vasughi Sundramoorthy, and Daniel Fitton. Smart objects as building blocks for the internet of things. IEEE Internet Computing, 14(1):44--51, 2010. Google ScholarDigital Library
- Rajnish Kumar. User-centric framework for device aggregation. Master's thesis, 2003. http://scholarship.rice.edu/handle/1911/17600?show=full.Google Scholar
- Mike Kuniavsky. Smart Things: Ubiquitous Computing User Experience Design. Morgan Kaufmann, 2010.Google Scholar
- Marc Langheinrich, Friedemann Mattern, Kay RŽmer, and Harald Vogt. First steps towards an event-based infrastructure for smart things. In Ubiquitous Computing Workshop (PACT 2000), Philadelphia, PA., October 2000.Google Scholar
- Seng W. Loke. Context-aware artifacts: Two development approaches. IEEE Pervasive Computing, 5(2):48--53, 2006. Google ScholarDigital Library
- Bruce Sterling. Shaping Things. MIT Press, 2005.Google Scholar
- Juan Ye, Lorcan Coyle, Simon Dobson, and Paddy Nixon. Ontology-based models in pervasive computing systems. Knowl. Eng. Rev., 22(4):315--347, 2007. Google ScholarDigital Library
Index Terms
- Situation semantics for things: everyday artifacts that come with pre-specified behaviours
Recommendations
Ontology-based situation awareness
The notions of ''situation'' and ''situation awareness'' have been formulated by many authors in various contexts. In this paper, we present a formalization of situations that is compatible with the interpretation of situation awareness in terms of ...
A UTP semantics for Circus
AbstractCircus specifications define both data and behavioural aspects of systems using a combination of Z and CSP constructs. Previously, a denotational semantics has been given to Circus; however, a shallow embedding of Circus in Z, in which the mapping ...
Comments