AMBINET – AN ENVIRONMENT FOR AMBIENT-ORIENTED MODELING
DOI:
https://doi.org/10.47839/ijc.18.3.1525Keywords:
Calculus of Context-aware Ambients, Cyber-Physical-Social Systems, Intelligent agents, Smart city.Abstract
The concept of the Internet of Things (IoT) is closely related to the concepts of Cyber-Physical System (CPS) and Cyber-Physical-Social System (CPSS). A key feature of these technologies is the integration of the virtual and physical world. In this paper, an environment for ambient-oriented modeling called AmbiNet is presented. The environment AmbiNet is implemented as a component of the reference architecture known as Virtual Physical Space (ViPS) that can be adapted for CPSS applications in various domains, for example a smart city, a personal touristic guide, or education. The need for virtualization of things from the physical world in a formal way is also considered. In the paper, the usability of the environment is demonstrated by modeling of services delivered to tourists in an intelligent city. The architecture of ViPS is also briefly described. Furthermore, the virtualization and modeling of spatial aspects through the AmbiNet formalism is demonstrated by an example.References
N. Chilamkurti, S. Zeadally, H. Chaouchi (eds.), Next-Generation Wireless Technologies: 4G and Beyond, Springer, London, 2013, 281 p.
D. Hanes, G. Salgueiro, P. Grossetete, R. Barton, J. Henry, IoT Fundamentals: Networking Technologies, Protocols, and Use Cases for the Internet of Things, Cisco Systems, Inc., 2017.
F.Y. Wang, “The emergence of intelligent enterprises: From CPS to CPSS,” IEEE Intelligent Systems, vol. 25, no. 4, pp. 85–88, Jul./Aug. 2010.
S. Stoyanov, A. Stoyanova-Doycheva, T. Glushkova, E. Doychev, “Virtual physical space – an architecture supporting internet of things applications,” Proceedings of the XX-th International Symposium on Electrical Apparatus and Technologies SIELA’2018, Bourgas, Bulgaria, 3-6 June 2018, pp. 1-4, DOI: 10.1109/SIELA.2018.8447156
T. Glushkova, M. Miteva, A. Stoyanova-Doycheva, V. Ivanova, S. Stoyanov, “Implementation of a personal Internet of Thing tourist guide,” American Journal of Computation, Communication and Control, vol. 5, no. 2, pp.39-51, June 2018.
C. Augusto, D. Cook, “Ambient intelligence: Applications in society and opportunities for AI,” Lecture Notes Tutorial given during 20th International Joint Conference on AI – IJCAI’07, Hyderabad, India, 2007, pp. 1-28.
H. Raffler, Other perspectives on ambient intelligence, 2006. [Online]. Available at: www.research.philips.com/password/archive/23/pw23_ambintel_other.html.
K. Brooks, “The context quintet: narrative elements applied to context awareness”, Proceedings of the International Conference on Human Computer Interaction (HCI’2003), Erlbaum Associates, Inc., 2003, pp. 1-6.
ISTAG, Ambient intelligence: From vision to reality, European Commission Report, 2003 [Online]. Available at: http://cordis.europa.eu/fp7/ict/istag/reports_en.html).
A. Yachir, Y. Amirat, A. Chibani, N. Badache, “Event-aware framework for dynamic services discovery and selection in the context of ambient intelligence and Internet of Things,” IEEE Transactions on Automation Science and Engineering, vol. 13, no. 1, pp. 85-102, Jan 2016.
R. Milner, J. Parrow, D. Walker, “A calculus of mobile processes,” Inform. and Comput., vol. 100, issue 1, pp. 1-77, 1992.
J. Riely, M. Hennessy, “A typed language for distributed mobile processes,” Proceedings of the 25th Annual ACM Symposium on Principles of Programming Languages, 1998, pp. 378-390.
C. Fournet, G. Gonthier, “The reexive CHAM and the join-calculus,” Proceedings of the 23rd Annual ACM Symposium on Principles of Programming Languages, 1996, pp. 372-385.
L. Cardelli, A. Gordon, “Mobile ambients,” Theoretical Computer Science, vol. 240, pp. 177–213, 2000.
M. Bugliesi, G. Castagna, S. Crafa, “Access control for mobile agents: The calculus of boxed ambients,” ACM Transactions on Programming Languages and Systems, vol. 26, issue 1, pp. 57–124, 2004.
F. Siewe, H. Zedan, A. Cau, “The calculus of context-aware ambients,” Journal of Computer and System Sciences, vol. 77, issue 4, pp. 597-620, 2011.
B. Moszkowski, “Compositional reasoning using interval temporal logic and tempura,” Lecture Notes in Computer Science, Springer, vol. 1536, 1998, pp. 439-464.
F. Siewe, ccaPL: a Programming Language for the Calculus of Context-aware Ambients, Technical Report, Software Technology Research Laboratory, De Montfort University, 2011, pp. 1–11.
M. H. Al-Sammarraie, Policy-based Approach for Context-aware Systems, Ph.D. Thesis, Leicester, UK: STRL, De Montfort University, 2011.
S. De, Y. Zhou, I. L. Abad, K. Moessner, “Cyber–physical–social frameworks for urban big data systems: A survey,” Applied Sciences, pp. 1-26, 2017.
P. Chamoso, A. González-Briones, S. Rodríguez, & J. M. Corchado, “Tendencies of technologies and platforms in smart cities: A state-of-the-art review,” Wireless Communications and Mobile Computing, pp. 1-17, 2018.
G. Stamatescu, I. Făgărăşan, A. Sachenko, “Sensing and data-driven control for smart building and smart city systems,” Journal of Sensors, vol. 2019, article ID 4528034, pp. 1-3, 2019. https://doi.org/10.1155/2019/4528034
Downloads
Published
How to Cite
Issue
Section
License
International Journal of Computing is an open access journal. Authors who publish with this journal agree to the following terms:• Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
• Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
• Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work.
