Simulando o Acesso a Recursos Compartilhados em um Cenário de Computação Ubíqua
Resumo
Novos paradigmas de computação como a Internet das Coisas e a Web das Coisas estão tornando os espaços inteligentes cada vez mais comuns. Um dos problemas nesse contexto é garantir o acesso aos recursos dos espaços inteligentes pelas diferentes entidades que o compõem, considerando diferentes prioridades e permissões de acesso. Este trabalho tem como objetivo apresentar e simular a utilização de um algoritmo e uma linguagem de especificação de políticas de acesso a recursos compartilhados em um cenário de computação ubíqua. A simulação foi feita sob os formalismos da Especificação de Sistemas de Eventos Discretos (DEVS) no ambiente de modelagem MS4 Me (MS4 Modeling Environment). Pôde-se concluir que tanto a linguagem quanto o algoritmo apresentados são abordagens válidas para tratar o acesso concorrente aos recursos de um cenário de computação ubíqua.
Referências
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.
Publicado
13/09/2019
Como Citar
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 EM MODELAGEM E SIMULAÇÃO DE SISTEMAS INTENSIVOS EM SOFTWARE (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.
