BigNFC: Novel Formal model for NFC based context-aware applications

Aicha Nabet, Rachid Boudour


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.

Full Text:



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

China. Publisher.

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,

,pp.5–19. Publisher.

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.


Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.