BigNFC: Novel Formal model for NFC based context-aware applications
Context-aware computing refers to system ability to sense its environment and modify its behavior for delivering suitable services. Having such kind of systems with the Near Field Communication (NFC) capability, opens new perspectives and research areas, allowing very useful type of applications known as NFC-based context-aware applications. These systems require correctness due to their applicability and then need to be proven formally using exhaustive analysis approach such as formal verification. In literature, most of works focuses on creating a general model for context aware systems ignoring the specificity of certain applications such as NFC applications where they present a higher complexity. We emphasize the existence of little or no work in this area supporting formal modeling. To boost it, we propose BigNFC as a novel formal-model based on Bigraphical Reactive Systems (BRS) taking account the interaction mode from the beginning, so we establish mapping between BRS and BigNFC components, where the structures are modelled as bigraphs and behaviors as rewriting rules. Finally, to validate our model, we have applied it on a real-life application and some properties were checked successfully.
Feng, T.-H., Hwang, M.-S. & Syu, L.-W (2016). An
Authentication Protocol for Lightweight NFC Mobile
Sensors Payment. Informatica, 27(4), pp.723–732.
Coskun, V. Ok, K. Ozdenizcin, B (2012). Near Field
Communication (NFC): From Theory to Practice,
John Wiely & Sons Ltd edition, 390 pages. Publisher.
Mehmet N. Aydin. Busra Ozdenizci (2013). Design
Science Perspective on NFC Research: Review and
Research Agenda. Informatica 37(2), pp. 203-218.
Borrego-Jaraba, Gonzalo Cerruela García, Irene
Luque Ruiz and Miguel Ángel Gómez-Nieto (2013).
An NFC based context-aware solution for access to
bibliographic sources in university Environments,
Journal of Ambient Intelligence and Smart Environments,
PP.105–118, 2013. Publisher.
Danflous D (2012).Billettique sur téléphone mobile
à Nice: retour d'expérience, Report of CETE
Méditerranée ALR PP.35.
Jianchao Luo. and Hao Feng (2015). A Framework
for NFC based Context-aware Applications.
International Journal of Smart Home Vol. 9, No. 1,
pp. 111-122. Publisher.
Schilit, B.N. Adams, N.I. and Want, R (1994).
Context-Aware computing Applications, Proceedings
of theIEEE Workshop on Mobile Computing Systems
and Applications (WMCSA).IEEE Press. Pp 85-90.
Prasad, R. Temdee, P. and Punnarumol (2018).
Context_ Aware communication and computing
applications for smart environment, Springer Series
in Wireless Technology. Publisher.
Brown P.J., Bovey J.D and Chen X (1997). ContextAware applications, From the Laboratory to the
marketplace, IEEE Personal Communications, 4(5),
, pp. 58- 64. Publisher.
Brown P.J (1995). The Stick-e Document: a
framework for creating Context-aware applications,
Electronic Publishing, pp. 259-272.
Dey A.K. D. Salber and G.D. Abowd and M. Futakawa D.
Futakawa, M. Gregory D (1999). combining contextawareness with wearable computing Third
International Symposium on Wearable Computers.
Dey, A. K (2001). Understanding and using context,
Personal and ubiquitous computing, vol. 5, pp. 4-7.
Feng, L (2017). Context-Aware Computing, Beijing
Bauer, J (2003). Identification and Modeling of
Contexts for Different Information Scenarios in Air
Traffic, Paper presented at Diplomarbeit.
Milner, R (2005). Axioms for bigraphical structure.
Technical Report UCAM-CL-TR-581, University of
Cambridge. Mathematical Structures in Computer
Science, 15(06), p.1005. Publisher.
Milner, R ( 2008). Bigraphs and Their Algebra.
Electronic Notes in Theoretical Computer Science,
Jensen, O.H. & Milner, R (2003). Bigraphs and
transitions. Proceedings of the 30th ACM SIGPLAN
SIGACT symposium on Principles of programming
languages- POPL ’03. Available at:
Dib, A.T.E., Barkaoui, K. & Sahnoun, Z(2016).
Specification and verification of reconfigurable
multi-agent system architectures. Multiagent and
Grid Systems, 12(2), pp.105–124. Available at:
Perrone, G, S Debois, TT Hildebrandt(2012). A
Model Checker for Bigraphs, Proceedings of the 27th
Annual ACM Symposium on Applied
Computing, Pp1320–1325. Publisher.
Birkedal, L. Debois, S. Elsborg, E. Hildebrandt, T.
and Niss, H (2006). Bigraphical Models of Contextaware Systems, International Conference on
Foundations of Software Science and Computation
Structures (FoSSaCS.Vol 3921, Springer, Berlin,
Heidelberg, pp 187-201.
Wang, J.S (2011). Formalizing the structure and
behavior of context-aware systems in Bigraphs’. First
ACIS International Symposium on Software and
Network Engineering, Pp. 89-94.
Lu, H. Chan, W.K, Tse, T (2006). Testing Context
Aware Middleware Centric Programs: a Data Flow
Approach and an RFID Based Experimentation.
Paper presented at Special Interest Group Software
engineering, (ACM SIGSOFT), USA, Pp. 242-252,
Cherfia, T.A., Belala, F. and Barkaoui, K (2016). A
bigraph-based framework for specification and
analysis of context-aware systems, International
Journal of Critical Computer-Based Systems
(IJCCBS), Vol. 6, No. 4. Publisher.
Chih-Hao Lin, Pin-Han Ho, and Hong-Chuan Lin
(2014). Framework for NFC-Based Intelligent
Agents: A Context-Awareness Enabler for Social
Internet of Things,Paper Hindawi Publishing
Corporation International Journal of Distributed
Sensor Networks. Volume, Article ID 978951.
This work is licensed under a Creative Commons Attribution 3.0 License.