An Integrated Formal Task Specification Method for Smart Environments

Maik Wurdel

ISBN 978-3-8325-2948-2
226 pages, year of publication: 2011
price: 50.50 €
This thesis is concerned with the development of interactive systems for smart environments. One of the characteristic of smart environments is the need to support different interaction paradigms at runtime. On the one hand interaction is performed explicitly: the user performs an action in order to interact with the system (e.g., pressing a button to adjust the light). On the other hand actions of the user are interpreted by the smart environment, even though they have not been performed primarily to interact with the system: implicit interactions (e.g., walking to the speaker's desk to give a talk).

A smart environment tries to infer those interactions to assist the user in her work (e.g., display slides at the projection canvas). Both interaction paradigms originate from different research fields and are currently treated independently although implicit and explicit interaction mutually influence each other and occur interleaved. The thesis introduces a task modeling language in order to cope with the given requirements of smart environments which can be used to perform interaction development for smart environments in a model-based fashion for both interaction paradigms.

  • Task Modeling
  • Smart Environment
  • Implicit and Explicit Interaction
  • Refinement

Buying Options

50.50 €

41.50 €
60.50 €
64.50 €

(D) = Within Germany
(W) = Abroad

*You can purchase the eBook (PDF) alone or combined with the printed book (eBundle). In both cases we use the payment service of PayPal for charging you - nevertheless it is not necessary to have a PayPal-account. With purchasing the eBook or eBundle you accept our licence for eBooks.

For multi-user or campus licences (MyLibrary) please fill in the form or write an email to