Making task modeling suitable for smart environments

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.