Simulando o Acesso a Recursos Compartilhados em um Cenário de Computação Ubíqua
Abstract
New computing paradigms like the Internet of Things (IoT) and the Web of Things (WoT) are making smart spaces more and more common. One of the problems in this context is to enable access to the resources of the smart spaces by the different entities that compose it, considering different access levels. This paper aims to present and simulate the use of an algorithm and an access policies specification language for shared resources in a ubiquitous computing scenario. The simulation was performed under the formalities of the Discrete Event Systems Specification (DEVS) in the MS4 Modeling Environment (MS4 Me). We were able to conclude that both the language and the algorithm are valid approaches to handle concurrent access to smart objects resulting from the smart spaces overlapping.
References
Chiprianov, V., Kermarrec, Y., Rouvrais, S., and Simonin, J. (2014). Extending enterprise architecture modeling languages for domain specificity and collaboration: application to telecommunication service design. Software & Systems Modeling, 13(3):963–974.
de França, B. B. N. and Travassos, G. H. (2016). Experimentation with dynamic simulation models in software engineering: planning and reporting guidelines. Empirical Software Engineering, 21(3):1302–1345.
Henares, K., Risco-Martín, J. L., and Zapater, M. (2019). Definition of a transparent constraint-based modeling and simulation layer for the management of complex systems. In 2019 Spring Simulation Conference (SpringSim), pages 1–12. IEEE.
Hong, J. S., Song, H.-S., Kim, T. G., and Park, K. H. (1997). A real-time discrete event system specification formalism for seamless real-time software development. Discrete Event Dynamic Systems, 7(4):355–375.
Lupiana, D., O’Driscoll, C., and Mtenzi, F. (2009). Taxonomy for ubiquitous computing environments. In Networked Digital Technologies, 2009. NDT ’09. First International Conference on, pages 469–475.
Schmidt, D. C. (2006). Guest editor’s introduction: Model-driven engineering. Computer, 39(2):0025–31.
Seidewitz, E. (2003). What models mean. IEEE software, 20(5):26–32.
Smirnov, A., Kashevnik, A., Shilov, N., and Teslya, N. (2013). Context-based access control model for smart space. In Cyber Conflict (CyCon), 2013 5th International Conference on, pages 1–15. IEEE.
Taylor, N. (2008). Personal eSpace and Personal Smart Spaces. In Self-Adaptive and SelfOrganizing Systems Workshops, 2008. SASOW 2008. Second IEEE International Conference on, pages 156–161.
Taylor, N. (2011). Personal Smart Spaces. In Ferscha, A., editor, Pervasive Adaptation: The Next Generation Pervasive Computing Research Agenda, pages 79–80. Institute for Pervasive Computing, Johannes Kepler University Linz, Linz, AUS.
Van Deursen, A., Klint, P., and Visser, J. (2000). Domain-Specific Languages: An Annotated Bibliography. Sigplan Notices, 35(6):26–36.
Vieira, M. A. (2016). Modelagem de espaços inteligentes pessoais e espaços inteligentes fixos no contexto de cenários de computação ubíqua. Master’s thesis, Universidade Federal de Goiás, Goiânia, Goiás, Brazil.
Vieira, M. A. and Carvalho, S. T. (2016a). Addressing the concurrent access to smart objects in ubiquitous computing scenarios. In Proceedings of the 22Nd Brazilian Symposium on Multimedia and the Web, Webmedia ’16, pages 79–82, New York, NY, USA. ACM.
Vieira, M. A. and Carvalho, S. T. (2016b). (Meta)Modelagem de Espaços Inteligentes Pessoais e Espaços Inteligentes Fixos para Aplicações Ubíquas. In XXXVI Congresso da Sociedade Brasileira de Computação (CSBC) - VIII Simpósio Brasileiro de Computação Ubíqua e Pervasiva (SBCUP), pages 1056–1065, Porto Alegre-RS, Brazil. Sociedade Brasileira de Computação (SBC).
Völter, M., Stahl, T., Bettin, J., Haase, A., and Helsen, S. (2013). Model-driven software development: technology, engineering, management. John Wiley & Sons.
Weiser, M. (1991). The computer for the 21st century. Scientific american, 265(3):94–104.
Zeigler, B. P., Kim, T. G., and Praehofer, H. (2000). Theory of modeling and simulation. Academic press.
de França, B. B. N. and Travassos, G. H. (2016). Experimentation with dynamic simulation models in software engineering: planning and reporting guidelines. Empirical Software Engineering, 21(3):1302–1345.
Henares, K., Risco-Martín, J. L., and Zapater, M. (2019). Definition of a transparent constraint-based modeling and simulation layer for the management of complex systems. In 2019 Spring Simulation Conference (SpringSim), pages 1–12. IEEE.
Hong, J. S., Song, H.-S., Kim, T. G., and Park, K. H. (1997). A real-time discrete event system specification formalism for seamless real-time software development. Discrete Event Dynamic Systems, 7(4):355–375.
Lupiana, D., O’Driscoll, C., and Mtenzi, F. (2009). Taxonomy for ubiquitous computing environments. In Networked Digital Technologies, 2009. NDT ’09. First International Conference on, pages 469–475.
Schmidt, D. C. (2006). Guest editor’s introduction: Model-driven engineering. Computer, 39(2):0025–31.
Seidewitz, E. (2003). What models mean. IEEE software, 20(5):26–32.
Smirnov, A., Kashevnik, A., Shilov, N., and Teslya, N. (2013). Context-based access control model for smart space. In Cyber Conflict (CyCon), 2013 5th International Conference on, pages 1–15. IEEE.
Taylor, N. (2008). Personal eSpace and Personal Smart Spaces. In Self-Adaptive and SelfOrganizing Systems Workshops, 2008. SASOW 2008. Second IEEE International Conference on, pages 156–161.
Taylor, N. (2011). Personal Smart Spaces. In Ferscha, A., editor, Pervasive Adaptation: The Next Generation Pervasive Computing Research Agenda, pages 79–80. Institute for Pervasive Computing, Johannes Kepler University Linz, Linz, AUS.
Van Deursen, A., Klint, P., and Visser, J. (2000). Domain-Specific Languages: An Annotated Bibliography. Sigplan Notices, 35(6):26–36.
Vieira, M. A. (2016). Modelagem de espaços inteligentes pessoais e espaços inteligentes fixos no contexto de cenários de computação ubíqua. Master’s thesis, Universidade Federal de Goiás, Goiânia, Goiás, Brazil.
Vieira, M. A. and Carvalho, S. T. (2016a). Addressing the concurrent access to smart objects in ubiquitous computing scenarios. In Proceedings of the 22Nd Brazilian Symposium on Multimedia and the Web, Webmedia ’16, pages 79–82, New York, NY, USA. ACM.
Vieira, M. A. and Carvalho, S. T. (2016b). (Meta)Modelagem de Espaços Inteligentes Pessoais e Espaços Inteligentes Fixos para Aplicações Ubíquas. In XXXVI Congresso da Sociedade Brasileira de Computação (CSBC) - VIII Simpósio Brasileiro de Computação Ubíqua e Pervasiva (SBCUP), pages 1056–1065, Porto Alegre-RS, Brazil. Sociedade Brasileira de Computação (SBC).
Völter, M., Stahl, T., Bettin, J., Haase, A., and Helsen, S. (2013). Model-driven software development: technology, engineering, management. John Wiley & Sons.
Weiser, M. (1991). The computer for the 21st century. Scientific american, 265(3):94–104.
Zeigler, B. P., Kim, T. G., and Praehofer, H. (2000). Theory of modeling and simulation. Academic press.
Published
2019-09-13
How to Cite
ALVES VIEIRA, Marcos; TEIXEIRA DE CARVALHO, Sérgio.
Simulando o Acesso a Recursos Compartilhados em um Cenário de Computação Ubíqua. In: WORKSHOP ON MODELING AND SIMULATION OF SOFTWARE-INTENSIVE SYSTEMS (MSSIS), 1. , 2019, Salvador.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2019
.
p. 24-33.
DOI: https://doi.org/10.5753/mssis.2019.7556.
