A bigraph-based framework for specification and analysis of context-aware systems

International Journal of Critical Computer-Based Systems

Volumn 6, Issue 4, 2016, Pages 322-342

  Cherfia, Taha Abdelmoutaleb ^a   Belala, Faïza ^a   Barkaoui, Kamel ^b  

^a University Constantine 2   (Algeria)

^b Bioinformatique et Chimie Moléculaire   (France)

Author keywords

BigCAS Tool; Bigraphical reactive systems; BRS; Context aware systems; Context awareness; Model checking; Modelling and verification; Reachability analysis; Reconfiguration; Structural composition; Traffic sign recognition; Ubiquitous computing

Indexed keywords

EID: 85011272717     PISSN: 17578779     EISSN: 17578787     Source Type: Journal    
DOI: 10.1504/IJCCBS.2016.081808     Document Type: Conference Paper

References (29)

1. Abowd, G., Dey, A., Brown, P., Davies, N., Smith, M. and Steggles, P. (1999) 'Towards a better understanding of context and context-awareness', Proceedings of First International Symposium (HUC), LNCS, Vol. 1707, pp.304-307.
2. Baldauf, M., Dustdar, S. and Rosenberg, F., (2007) 'A survey on context-aware systems'. International Journal of Ad Hoc and Ubiquitous Computing, Vol. 2, No. 4, pp.263-277.
3. Biegel, G. and Cahill, V. (2004) 'A framework for developing mobile, context-aware applications', Proceedings of 2nd IEEE Conference on Pervasive Computing and Communications.
4. Birkedal, L., Debois, S. and Hildebrandt, T. (2006) 'Bigraphical models of context-aware systems', Foundations of Software Science and Computation Structures, LNCS, Vol. 3921, pp.187-201.
5. Bolchini, C., Curino, C.A., Quintarelli, E., Schreiber, F.A. and Tanca, L. (2007) 'A data-oriented survey of context models', SIGMOD Rec., Vol. 36, No. 4, pp.19-26.
6. Calder, M., Koliousis, A., Sevegnani, M. and Sventek, J. (2014) 'Real-time verification of wireless home networks using bigraphs with sharing', Science of Computer Programming, Vol. 80, No. Part B, pp.288-310.
7. Chen, H., Finin, T. and Joshi, A. (2003) 'An ontology for context-aware pervasive computing environments', The Knowledge Engineering Review, Vol. 18, No. 3, pp.197-207.
8. Chen, H., Finin, T. and Joshi, A. (2004) 'An ontology for context-aware pervasive computing environments', Knowledge Engineering Review, Special issue on Ontologies for Distributed Systems, No. 3, pp.197-207.
9. Cherfia, T.A., Belala, F. and Barkaoui, K. (2014) 'Towards formal modeling and verification of context-aware systems', The 8th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS).
10. Davies, N., Cheverst, K., Mitchell, K. and Efrat, A. (1998) 'Developing a context sensitive tour guide', Proceedings of First Workshop on Human-Computer Interaction for Mobile Devices.
11. Dey, A.K. (2001) 'Understanding and using context', Personal and Ubiquitous Computing, Vol. 5, No. 1, pp.4-7.
12. Faithfull, A., Perrone, G. and Hildebrandt, T. (2013) 'Big Red: A development environment for bigraphs', Electronic Communications of the EASST (ECEASST), Vol. 61, pp.1-10.
13. Fels, S., Sumi, Y., Etani, T., Simonet, N., Kobayashi, K. and Mase, K. (1998) 'Building a context-aware mobile assistant for exhibition tours', The First Kyoto Meeting on Social Interaction and Communityware.
14. Glenstrup, A.J., Damgaard, T.C., Birkedal, L. and Højsgaard, E. (2008) An Implementation of Bigraph Matching, IT University of Copenhagen, Copenhagen.
15. Greenhalgh, C. (2009) Bigraphspace [online] http://bigraphspace.sourceforge.net/ (accessed 30 December 2014).
16. Korpipää, P. and Mäntyjärvi, J. (2003) 'An ontology for mobile device sensor-based context awareness', Proc. Context '03, LNAI No. 2680.
17. Kwiatkowska, M., Norman, G. and Parker, D. (2011) 'PRISM 4.0: verification of probabilistic real-time systems', in Gopalakrishnan, G. and Qadeer, S. (Eds.): Proc. Computer Aided Verification, Vol. 6806, pp.585-591.
18. Milner, R. (2005) 'Axioms for bigraphical structure', Mathematical Structures in Computer Science, Vol. 15, No. 6, pp.1005-1032.
19. Milner, R. (2006) 'Pure bigraphs: structure and dynamics', Information and Computation, Vol. 204, No. 1, pp.60-122.
20. Milner, R. (2008) 'Bigraphs and their algebra', Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, Electronic Notes in Theoretical Computer Science, Vol. 209, pp.5-19.
21. Milner, R. (2009) The Space and Motion of Communicating Agents, Cambridge University Press, Cambridge.
22. Pereira, E., Kirsch, C. and Sengupta, R. (2012) BiAgents - A Bigraphical Agent Model for Structure-aware Computation, Cyber-Physical Cloud Computing Working Papers, CPCC Berkeley.
23. Perrone, G., Debois, S. and Hildebrandt, T. (2013) 'A verification environment for bigraphs', Journal of Innovation in Systems and Software Engineering, LNCS Vol. 9, No. 2, pp.95-104.
24. Siewe, F., Cau, A. and Zedan, H. (2009) 'The calculus of context-aware ambients', Journal of Computer and System Sciences, Vol. 77, No. 4, pp.597-620.
25. Van Nguyen, T., Lim, W., Anh Nguyen, H. and Choi, D. (2008) 'Context awareness framework based on contextual graph', in Wireless and Optical Communications Networks, WOCN, 5th IFIP International Conference on, pp.1-5, IEEE.
26. Wang, J., Xu, D. and Lei, Z. (2011) 'Formalizing the structure and behaviour of context-aware systems in bigraphs', First ACIS International Symposium on Software and Network Engineering, IEEE, pp.89-94.
27. Want, R., Hopper, A., Falcão, V. and Gibbons, J. (1992) 'The active badge location system', ACM Transactions on Information Systems, Vol. 10, No. 1.
28. Xu, D.Z., Xu, D. and Lei, Z. (2011) 'Bigraphical model of context-aware in ubiquitous computing environments', Asia-Pacific Services Computing Conference, IEEE, pp.389-394.
29. Zimmer, P. (2005) A Calculus for Context-awareness, 21pp, BRICS Report Series.