DRES-ML: a Domain-specific Language for Modelling Exceptional Scenarios and Self-adaptive Behaviours for Drone-based Applications
| Ano de defesa: | 2021 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| Tipo de documento: | Dissertação |
| Tipo de acesso: | Acesso aberto |
| Idioma: | eng |
| Instituição de defesa: |
Universidade Estadual do Ceará
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Link de acesso: | https://siduece.uece.br/siduece/trabalhoAcademicoPublico.jsf?id=100430 |
Resumo: | Os drones estão ganhando atenção devido à possibilidade de suportar diversos tipos de aplicações, como busca e resgate, vigilância e entrega de mercadorias. Como podem operar em diferentes ambientes, é possível encontrar incertezas e situações excepcionais, não previstas inicialmente, durante o uso de aplicativos baseados em drones. Nesse domínio, estratégias auto-adaptativas têm sido usadas com sucesso para garantir resiliência e execução contínua de tais aplicativos, apesar das mudanças no ambiente. Embora algumas abordagens tenham proposto o uso de notações de cenário, como Message Sequence Charts, ou linguagens de especificação de comportamento formal, como LTS, para modelar as situações excepcionais, elas são muito genéricas ou exigem um bom conhecimento dos métodos formais do usuário, que pode dificultar sua adoção. Além disso, eles também requerem um conhecimento profundo dos detalhes técnicos para implementar os mecanismos auto-adaptativos. Para mitigar esses problemas, este trabalho propõe uma linguagem de domínio específico, denominada DRES-ML, que permite modelar situações excepcionais e comportamentos auto-adaptativos para aplicações baseadas em drones. Ele se baseia no estrutura Dado-Quando-Então, usado na técnica de desenvolvimento orientado por comportamento (BDD) e nos principais conceitos de Programação orientada a aspectos. Também fornecemos um mecanismo de transformação de modelo em texto que traduz automaticamente os cenários excepcionais modelados em uma plataforma específica para drones, a fim de verificar os comportamentos adaptativos. A abordagem é avaliada por meio de prova de conceito que verifica a aplicabilidade em diferentes cenarios excepcionais. |
| id |
UECE-0_72616e72aec18266b47c5c0985ef2931 |
|---|---|
| oai_identifier_str |
oai:uece.br:100430 |
| network_acronym_str |
UECE-0 |
| network_name_str |
Repositório Institucional da UECE |
| repository_id_str |
|
| spelling |
DRES-ML: a Domain-specific Language for Modelling Exceptional Scenarios and Self-adaptive Behaviours for Drone-based ApplicationsOs drones estão ganhando atenção devido à possibilidade de suportar diversos tipos de aplicações, como busca e resgate, vigilância e entrega de mercadorias. Como podem operar em diferentes ambientes, é possível encontrar incertezas e situações excepcionais, não previstas inicialmente, durante o uso de aplicativos baseados em drones. Nesse domínio, estratégias auto-adaptativas têm sido usadas com sucesso para garantir resiliência e execução contínua de tais aplicativos, apesar das mudanças no ambiente. Embora algumas abordagens tenham proposto o uso de notações de cenário, como Message Sequence Charts, ou linguagens de especificação de comportamento formal, como LTS, para modelar as situações excepcionais, elas são muito genéricas ou exigem um bom conhecimento dos métodos formais do usuário, que pode dificultar sua adoção. Além disso, eles também requerem um conhecimento profundo dos detalhes técnicos para implementar os mecanismos auto-adaptativos. Para mitigar esses problemas, este trabalho propõe uma linguagem de domínio específico, denominada DRES-ML, que permite modelar situações excepcionais e comportamentos auto-adaptativos para aplicações baseadas em drones. Ele se baseia no estrutura Dado-Quando-Então, usado na técnica de desenvolvimento orientado por comportamento (BDD) e nos principais conceitos de Programação orientada a aspectos. Também fornecemos um mecanismo de transformação de modelo em texto que traduz automaticamente os cenários excepcionais modelados em uma plataforma específica para drones, a fim de verificar os comportamentos adaptativos. A abordagem é avaliada por meio de prova de conceito que verifica a aplicabilidade em diferentes cenarios excepcionais.Drones are gaining attention due to its possibility to support wide different types of applications, such search-and-rescue, surveillance and goods delivery. Since they can operate in different environments, it is possible to encounter uncertainties and exceptional situations, not initially predicted, during the use of drone-based applications. In this realm, self-adaptive strategies have been successfully used to guarantee resilience and continuous execution of such applications despite environment changes. Although some approaches have proposed the use of scenario notations, such as Message Sequence Charts, or formal behaviour specification languages, like LTS, to model exceptionalal situations, they are either very generic or demands a good knowledge on formal methods from the user, which may hinder their adoption. Moreover, they also require a deep understanding in technical details in order to implement the self-adaptive mechanisms. To mitigate those problems, this work proposes a domain-specific language, called DRES-ML, which allows modelling exceptional situations and self-adaptive behaviours for drone-based applications. It relies on the Given-When-Then template used in the Behaviour-driven development (BDD) technique and the main Aspect-oriented Programming concepts. We also provide a model-to-text transformation engine that automatically translates the modelled exceptional scenarios to a drone-specific platform in order to verify the adaptive behaviours. The approach is evaluated through a proof of concept that verifies its applicability in different exceptional scenarios.Universidade Estadual do CearáPaulo Henrique Mendes Maia Alves, Lucas Vieira2021-04-10T11:53:22Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://siduece.uece.br/siduece/trabalhoAcademicoPublico.jsf?id=100430info:eu-repo/semantics/openAccessengreponame:Repositório Institucional da UECEinstname:Universidade Estadual do Cearáinstacron:UECE2021-04-10T11:53:22Zoai:uece.br:100430Repositório InstitucionalPUBhttps://siduece.uece.br/siduece/api/oai/requestopendoar:2021-04-10T11:53:22Repositório Institucional da UECE - Universidade Estadual do Cearáfalse |
| dc.title.none.fl_str_mv |
DRES-ML: a Domain-specific Language for Modelling Exceptional Scenarios and Self-adaptive Behaviours for Drone-based Applications |
| title |
DRES-ML: a Domain-specific Language for Modelling Exceptional Scenarios and Self-adaptive Behaviours for Drone-based Applications |
| spellingShingle |
DRES-ML: a Domain-specific Language for Modelling Exceptional Scenarios and Self-adaptive Behaviours for Drone-based Applications Alves, Lucas Vieira |
| title_short |
DRES-ML: a Domain-specific Language for Modelling Exceptional Scenarios and Self-adaptive Behaviours for Drone-based Applications |
| title_full |
DRES-ML: a Domain-specific Language for Modelling Exceptional Scenarios and Self-adaptive Behaviours for Drone-based Applications |
| title_fullStr |
DRES-ML: a Domain-specific Language for Modelling Exceptional Scenarios and Self-adaptive Behaviours for Drone-based Applications |
| title_full_unstemmed |
DRES-ML: a Domain-specific Language for Modelling Exceptional Scenarios and Self-adaptive Behaviours for Drone-based Applications |
| title_sort |
DRES-ML: a Domain-specific Language for Modelling Exceptional Scenarios and Self-adaptive Behaviours for Drone-based Applications |
| author |
Alves, Lucas Vieira |
| author_facet |
Alves, Lucas Vieira |
| author_role |
author |
| dc.contributor.none.fl_str_mv |
Paulo Henrique Mendes Maia |
| dc.contributor.author.fl_str_mv |
Alves, Lucas Vieira |
| dc.subject.none.fl_str_mv |
|
| description |
Os drones estão ganhando atenção devido à possibilidade de suportar diversos tipos de aplicações, como busca e resgate, vigilância e entrega de mercadorias. Como podem operar em diferentes ambientes, é possível encontrar incertezas e situações excepcionais, não previstas inicialmente, durante o uso de aplicativos baseados em drones. Nesse domínio, estratégias auto-adaptativas têm sido usadas com sucesso para garantir resiliência e execução contínua de tais aplicativos, apesar das mudanças no ambiente. Embora algumas abordagens tenham proposto o uso de notações de cenário, como Message Sequence Charts, ou linguagens de especificação de comportamento formal, como LTS, para modelar as situações excepcionais, elas são muito genéricas ou exigem um bom conhecimento dos métodos formais do usuário, que pode dificultar sua adoção. Além disso, eles também requerem um conhecimento profundo dos detalhes técnicos para implementar os mecanismos auto-adaptativos. Para mitigar esses problemas, este trabalho propõe uma linguagem de domínio específico, denominada DRES-ML, que permite modelar situações excepcionais e comportamentos auto-adaptativos para aplicações baseadas em drones. Ele se baseia no estrutura Dado-Quando-Então, usado na técnica de desenvolvimento orientado por comportamento (BDD) e nos principais conceitos de Programação orientada a aspectos. Também fornecemos um mecanismo de transformação de modelo em texto que traduz automaticamente os cenários excepcionais modelados em uma plataforma específica para drones, a fim de verificar os comportamentos adaptativos. A abordagem é avaliada por meio de prova de conceito que verifica a aplicabilidade em diferentes cenarios excepcionais. |
| publishDate |
2021 |
| dc.date.none.fl_str_mv |
2021-04-10T11:53:22Z |
| dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
| format |
masterThesis |
| status_str |
publishedVersion |
| dc.identifier.uri.fl_str_mv |
https://siduece.uece.br/siduece/trabalhoAcademicoPublico.jsf?id=100430 |
| url |
https://siduece.uece.br/siduece/trabalhoAcademicoPublico.jsf?id=100430 |
| dc.language.iso.fl_str_mv |
eng |
| language |
eng |
| dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
| eu_rights_str_mv |
openAccess |
| dc.format.none.fl_str_mv |
application/pdf |
| dc.publisher.none.fl_str_mv |
Universidade Estadual do Ceará |
| publisher.none.fl_str_mv |
Universidade Estadual do Ceará |
| dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UECE instname:Universidade Estadual do Ceará instacron:UECE |
| instname_str |
Universidade Estadual do Ceará |
| instacron_str |
UECE |
| institution |
UECE |
| reponame_str |
Repositório Institucional da UECE |
| collection |
Repositório Institucional da UECE |
| repository.name.fl_str_mv |
Repositório Institucional da UECE - Universidade Estadual do Ceará |
| repository.mail.fl_str_mv |
|
| _version_ |
1828296409795788800 |