BigNFC: Novel Formal model for NFC based context-aware applications
DOI:
https://doi.org/10.31449/inf.v45i5.3496Abstract
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.References
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.
http://dx.doi.org/10.15388/informatica.2016.108.
Coskun, V. Ok, K. Ozdenizcin, B (2012). Near Field
Communication (NFC): From Theory to Practice,
John Wiely & Sons Ltd edition, 390 pages. Publisher.
http://dx.doi.org/10.1002/9781119965794.
Mehmet N. Aydin. Busra Ozdenizci (2013). Design
Science Perspective on NFC Research: Review and
Research Agenda. Informatica 37(2), pp. 203-218.
http://www.informatica.si/index.php/informatica/article/viewFile/450/453.
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.
http://dx.doi.org/10.3233/ais-120188.
Danflous D (2012).Billettique sur téléphone mobile
à Nice: retour d'expérience, Report of CETE
Méditerranée ALR PP.35.
http://www.bv.transports.gouv.qc.ca/mono/1122337.pdf.
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.
http://dx.doi.org/10.14257/ijsh.2015.9.1.12.
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.
http://dx.doi.org/10.1109/wmcsa.1994.16.
Prasad, R. Temdee, P. and Punnarumol (2018).
Context_ Aware communication and computing
applications for smart environment, Springer Series
in Wireless Technology. Publisher.
http://dx.doi.org/10.1007/978-3-319-59035-6_1.
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.
http://dx.doi.org/10.1109/98.626984.
Brown P.J (1995). The Stick-e Document: a
framework for creating Context-aware applications,
Electronic Publishing, pp. 259-272.
http://cajun.cs.nott.ac.uk/compsci/epo/papers/volum
e8/issue2/2point1.pdf.
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.
Pp99-23.Publisher.
http://dx.doi.org/10.1109/iswc.1999.806639.
Dey, A. K (2001). Understanding and using context,
Personal and ubiquitous computing, vol. 5, pp. 4-7.
http://dx.doi.org/10.1007/s007790170019.
Feng, L (2017). Context-Aware Computing, Beijing
China. Publisher.
https://doi.org/10.1515%2F9783110556674.
Bauer, J (2003). Identification and Modeling of
Contexts for Different Information Scenarios in Air
Traffic, Paper presented at Diplomarbeit.
https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.98.7895&rep=rep1&type=pdf.
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.
http://dx.doi.org/10.1017/s0960129505004809.
Milner, R ( 2008). Bigraphs and Their Algebra.
Electronic Notes in Theoretical Computer Science,
,pp.5–19. Publisher.
http://dx.doi.org/10.1016/j.entcs.2008.04.002.
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:
http://dx.doi.org/10.1145/604131.604135.
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:
http://dx.doi.org/10.3233/mgs-160246.
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.
https://doi.org/10.1145/2245276.2231985.
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.
http://dx.doi.org/10.1007/11690634_13.
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.
http://dx.doi.org/10.1109/ssne.2011.17.
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,
http://dx.doi.org/10.1145/1181775.1181805.
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.
http://dx.doi.org/10.1504/ijccbs.2016.081808.
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.
http://dx.doi.org/10.1155/2014/978951.
Downloads
Published
How to Cite
Issue
Section
License
I assign to Informatica, An International Journal of Computing and Informatics ("Journal") the copyright in the manuscript identified above and any additional material (figures, tables, illustrations, software or other information intended for publication) submitted as part of or as a supplement to the manuscript ("Paper") in all forms and media throughout the world, in all languages, for the full term of copyright, effective when and if the article is accepted for publication. This transfer includes the right to reproduce and/or to distribute the Paper to other journals or digital libraries in electronic and online forms and systems.
I understand that I retain the rights to use the pre-prints, off-prints, accepted manuscript and published journal Paper for personal use, scholarly purposes and internal institutional use.
In certain cases, I can ask for retaining the publishing rights of the Paper. The Journal can permit or deny the request for publishing rights, to which I fully agree.
I declare that the submitted Paper is original, has been written by the stated authors and has not been published elsewhere nor is currently being considered for publication by any other journal and will not be submitted for such review while under review by this Journal. The Paper contains no material that violates proprietary rights of any other person or entity. I have obtained written permission from copyright owners for any excerpts from copyrighted works that are included and have credited the sources in my article. I have informed the co-author(s) of the terms of this publishing agreement.
Copyright © Slovenian Society Informatika
