DocumentCode :
2556379
Title :
Making task modeling suitable for smart environments
Author :
Wurdel, Maik ; Burghardt, Christoph ; Forbrig, Peter
Author_Institution :
Dept. of Comput. Sci., Univ. of Rostock, Rostock, Germany
fYear :
2009
fDate :
12-14 Oct. 2009
Firstpage :
1
Lastpage :
6
Abstract :
The complicity of context information and task performance of actors in smart environment is demanding in terms of analysis, modeling and utilization. This paper proposes a task-based modeling approach, namely CTML, suitable for requirement stage of development to gain insight about the envisioned way tasks are performed. Additionally those models can be further employed to start-off the design phase of development which is also shown in the paper. Hence formal methods are employed to make CTML more amenable for software engineers due to its superior expressiveness.
Keywords :
software engineering; CTML; collaborative task modeling; context information; formal methods; smart environments; software engineers; task performance; Collaboration; Computer science; Context modeling; Electronic mail; Feedback; Human computer interaction; Information analysis; Performance analysis; Performance gain; Software systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Ultra Modern Telecommunications & Workshops, 2009. ICUMT '09. International Conference on
Conference_Location :
St. Petersburg
Print_ISBN :
978-1-4244-3942-3
Electronic_ISBN :
978-1-4244-3941-6
Type :
conf
DOI :
10.1109/ICUMT.2009.5345334
Filename :
5345334
Link To Document :
بازگشت