Towards a Formal Context-Aware Workflow Model for Ambient Environment
421
6. Tang, F., Guo, M., Dong, M., Li, M., Guan, H.: Towards context-aware workflow management for ubiquitous computing. In: 2008 International Conference on
Embedded Software and Systems, pp. 221–228. IEEE (2008)
7. Zhu, Z., Xu, R.: A context-aware access control model for pervasive computing in
enterprise environments. In: 2008 4th International Conference on Wireless Communications, Networking and Mobile Computing, pp. 1–6. IEEE (2008)
8. Avenoglu, B., Eren, P.E.: A context-aware and workflow-based framework for pervasive environments. J. Amb. Intell. Hum. Comput. 10(1), 215–237 (2019)
9. Carolis, B.D., Ferilli, S., Redavid, D.: Incremental learning of daily routines as
workflows in a smart home environment. ACM Trans. Interact. Intell. Syst. (TiiS)
4(4), 1–23 (2015)
10. Da Cunha Mattos, T., Santoro, F.M., Revoredo, K., et al.: A formal representation
for context-aware business processes. Comput. Ind. 65(8), 1193–1214 (2014)
11. Wang, P., Li, H., Zhang, B.: Context-aware workflow modeling approach using
OWL. In: The 26th Chinese Control and Decision Conference (2014 CCDC), pp.
4161–4165. IEEE (2014)
12. Salimifard, K., Wright, M.: Petri net-based modelling of workflow systems: an
overview. Eur. J. Oper. Res. 134(3), 664–676 (2001)
13. Sadiq, S., Orlowska, M., Sadiq, W., et al.: Data flow and validation in workflow
modelling. In: Proceedings of the 15th Australasian Database Conference, vol. 27,
pp. 207–214 (2004)
14. Carchiolo, V., Longheu, A., Malgeri, M.: Using LOTOS in workflow specification.
In: ICEIS, no. 3, pp. 364–369 (2003)
15. Takecian, P. L., Ferreira, J. E., Malkowski, S., Pu, C.: Using LOTOS for rigorous
specifications of workflow patterns. In: 6th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom
2010), pp. 1–7. IEEE (2010)
16. Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language
LOTOS. Comput. Netw. ISDN Syst. 14(1), 25–59 (1987)
17. Dumez, C., Bakhouya, M., Gaber, J., Wack, M.: Formal specification and verification of service composition using LOTOS. In: Proceedings of the 7th ACM
International Conference on Pervasive Services (2010)
18. Chaouche, A.C., Seghrouchni, A.E.F., Ili´ e, J.M.: A formal approach for contextual
planning management: application to smart campus environment. In: Bazzan, A.,
Pichara, K. (eds.) IBERAMIA 2014. LNCS, vol. 8864, pp. 791–803. Springer, Cham
(2014). https://doi.org/10.1007/978-3-319-12027-0 64
19. Chaouche, A.C., Seghrouchni, A.E.F., Ili´ e, J.-M., et al.: A higher-order agent model
with contextual planning management for ambient systems. In: Kowalczyk, R.,
Nguyen, N. (eds.) Transactions on Computational Collective Intelligence XVI, pp
146–169. LNCS, vol. 8780. Springer, Heidelberg (2014). https://doi.org/10.1007/
978-3-662-44871-7 6
20. van der Aalst, W., Ter Hofstede, A., Weske, M.: Business process management: A
survey. In: van der Aalst, W.M.P., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678,
pp. 1–12. Springer, Heidelberg (2003). https://doi.org/10.1007/3-540-44895-0 1
21. van der Aalst, W., Ter Hofstede, A., Kiepuszewski, B., et al.: Workflow patterns.
Distrib. Parallel Databases 14(1), 5–51 (2003)
22. Chaouche, A.C., Seghrouchni, A.E.F., Ili´ e, J.-M., et al.: From intentions to plans:
a contextual planning guidance. In: Camacho, D., Braubach, L., Venticinque, S.,
Badica, C. (eds.) Intelligent Distributed Computing VIII. Studies in Computational Intelligence, vol. 570, pp. 403–413. Springer, Cham (2015). https://doi.org/
10.1007/978-3-319-10422-5 42
421
6. Tang, F., Guo, M., Dong, M., Li, M., Guan, H.: Towards context-aware workflow management for ubiquitous computing. In: 2008 International Conference on
Embedded Software and Systems, pp. 221–228. IEEE (2008)
7. Zhu, Z., Xu, R.: A context-aware access control model for pervasive computing in
enterprise environments. In: 2008 4th International Conference on Wireless Communications, Networking and Mobile Computing, pp. 1–6. IEEE (2008)
8. Avenoglu, B., Eren, P.E.: A context-aware and workflow-based framework for pervasive environments. J. Amb. Intell. Hum. Comput. 10(1), 215–237 (2019)
9. Carolis, B.D., Ferilli, S., Redavid, D.: Incremental learning of daily routines as
workflows in a smart home environment. ACM Trans. Interact. Intell. Syst. (TiiS)
4(4), 1–23 (2015)
10. Da Cunha Mattos, T., Santoro, F.M., Revoredo, K., et al.: A formal representation
for context-aware business processes. Comput. Ind. 65(8), 1193–1214 (2014)
11. Wang, P., Li, H., Zhang, B.: Context-aware workflow modeling approach using
OWL. In: The 26th Chinese Control and Decision Conference (2014 CCDC), pp.
4161–4165. IEEE (2014)
12. Salimifard, K., Wright, M.: Petri net-based modelling of workflow systems: an
overview. Eur. J. Oper. Res. 134(3), 664–676 (2001)
13. Sadiq, S., Orlowska, M., Sadiq, W., et al.: Data flow and validation in workflow
modelling. In: Proceedings of the 15th Australasian Database Conference, vol. 27,
pp. 207–214 (2004)
14. Carchiolo, V., Longheu, A., Malgeri, M.: Using LOTOS in workflow specification.
In: ICEIS, no. 3, pp. 364–369 (2003)
15. Takecian, P. L., Ferreira, J. E., Malkowski, S., Pu, C.: Using LOTOS for rigorous
specifications of workflow patterns. In: 6th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom
2010), pp. 1–7. IEEE (2010)
16. Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language
LOTOS. Comput. Netw. ISDN Syst. 14(1), 25–59 (1987)
17. Dumez, C., Bakhouya, M., Gaber, J., Wack, M.: Formal specification and verification of service composition using LOTOS. In: Proceedings of the 7th ACM
International Conference on Pervasive Services (2010)
18. Chaouche, A.C., Seghrouchni, A.E.F., Ili´ e, J.M.: A formal approach for contextual
planning management: application to smart campus environment. In: Bazzan, A.,
Pichara, K. (eds.) IBERAMIA 2014. LNCS, vol. 8864, pp. 791–803. Springer, Cham
(2014). https://doi.org/10.1007/978-3-319-12027-0 64
19. Chaouche, A.C., Seghrouchni, A.E.F., Ili´ e, J.-M., et al.: A higher-order agent model
with contextual planning management for ambient systems. In: Kowalczyk, R.,
Nguyen, N. (eds.) Transactions on Computational Collective Intelligence XVI, pp
146–169. LNCS, vol. 8780. Springer, Heidelberg (2014). https://doi.org/10.1007/
978-3-662-44871-7 6
20. van der Aalst, W., Ter Hofstede, A., Weske, M.: Business process management: A
survey. In: van der Aalst, W.M.P., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678,
pp. 1–12. Springer, Heidelberg (2003). https://doi.org/10.1007/3-540-44895-0 1
21. van der Aalst, W., Ter Hofstede, A., Kiepuszewski, B., et al.: Workflow patterns.
Distrib. Parallel Databases 14(1), 5–51 (2003)
22. Chaouche, A.C., Seghrouchni, A.E.F., Ili´ e, J.-M., et al.: From intentions to plans:
a contextual planning guidance. In: Camacho, D., Braubach, L., Venticinque, S.,
Badica, C. (eds.) Intelligent Distributed Computing VIII. Studies in Computational Intelligence, vol. 570, pp. 403–413. Springer, Cham (2015). https://doi.org/
10.1007/978-3-319-10422-5 42