Slide TCC

Universidade Estadual Vale do Acaraú - UVA
Centro de Ciências Exatas e Tecnologia - CCET

Curso de Ciência da Computação
UTILIZAÇÃO DE FORMALISMOS LÓGICOS EM

ENGENHARIA DE REQUISITOS - UM MAPEAMENTO
SISTEMÁTICO DOS ÚLTIMOS 10 ANOS(UVA)
Marcielle de Paula Jorge
Orientador: Prof. Hudson Costa Gonçalves da Cruz
2022.2
Marcielle de Paula Jorge UTILIZAÇÃO DE FORMALISMOS LÓGICOS EM ENGENHARIA DE REQUISITOS - UM MAPEAMENTO
2022.2SISTEM
1 /ÁTICO
31
Sumário
1 Introdução
2 Justificativa
3 Fundamentação Teórica
Fundamentação Teórica
4 Metodologia
Metodologia
Protocolo de Revisão
5 CONDUÇÃO DO MAPEAMENTO
CONDUÇÃO DO MAPEAMENTO
APLICAÇÃO DA STRING DE BUSCA
SELEÇÃO DOS TRABALHOS
6 Resultados
Análise e Discussões dos Resultados
2022.2SISTEM
2 /ÁTICO
31
Introdução
Introdução
Contextualização:
• A engenharia de requisitos tem um histórico de problemas relacionados a
documentação incompleta e ambiguidade;
• Demanda por inclusão de propriedades como segurança e confiabilidade;
• Os metodos formais possibilitam: verificação de integridade, rastreabilidade,
reúso e gerencia de inconsistência da especificação de requisitos.

2022.2SISTEM
3 /ÁTICO
31
Introdução
Objetivos
Objetivo Geral: Mostrar como vem evoluindo o uso de formalismos lógicos na

Engenharia de Requisitos ao longo dos últimos dez anos
Objetivos Especı́ficos:
1 Mostrar quais os metodos formais estão sendo utilizados na engenharia de
requisitos.
2 Indetificar os desfios e limitações na utilização dos formalismos lógicos.
3 Mostrar os problemas que os metodos formais podem resolver.

2022.2SISTEM
4 /ÁTICO
31
Justificativa
Justificativa
Justificativa
Diante do que foi apresentado anteriormente esse estudo se propõe analisar
como os formalismos estão sendo aplicados e desenvolvidos no contexto da
engenharia de requisitos, a fim destacar qual a sua importância nesse processo.
Diante disso surge a pergunta: como vem evoluindo as pesquisas acerca do uso
de formalismos lógicos na Engenharia de Requisitos ao longo dos últimos dez
anos?

2022.2SISTEM
5 /ÁTICO
31
Fundamentação Teórica
Definição
Engenharia de Requisitos
Segundo (Mokos e Katsaros 2020) a engenharia de requisitos é muito
importância, para o desenvolvimento do software, pois consiste na elicitação,
especificação e gestão com o objectivo de fornecer um sistema que satisfaça as
necessidades do cliente.

2022.2SISTEM
6 /ÁTICO
31
Fundamentação Teórica Fundamentação Teórica
Definição
Metodos Formais
Os métodos formais são técnicas que utilizam matemática e tem uma abordagem
rigorosa para a especificação, desenvolvimento e conferência de sistemas de
software e hardware. Nesse sentido, de acordo com (K.Pandey e Batra 2013) os
métodos formais são linguagens baseadas em matemática, técnicas e
ferramentas que podem ser aplicadas em qualquer parte do ciclo de vida do
programa.

2022.2SISTEM
7 /ÁTICO
31
Metodologia
Procedimentos
Mapeamento Sistemático
A metodologia de pesquisa adotada nesse trabalho foi o Mapeamento Sistemático
Literário (MSL) e tem como finalidade fazer um levantamento de dados, Este
estudo procura seguir as normas propostas por (Kitchenham, Budgen e Brereton
2011, p.2) e a abordagem é quantitativa.

2022.2SISTEM
8 /ÁTICO
31
Metodologia Metodologia
Protocolo de Revisão
Figura 1: Etapas da Análise de Conteúdo
Marcielle de Paula Jorge Fonte:

UTILIZAÇÃO DE FORMALISMOS LÓGICOS EM ENGENHARIA DE REQUISITOS - UM MAPEAMENTO
2022.2SISTEM
9 /ÁTICO
31
Metodologia Protocolo de Revisão
Questões de Pesquisa
1 QPE 1: Quais os metodos formais estão sendo utilizados na enegenharia de

requisitos?
2 QPE 2: O que atualmente se sabe sobre os desafios, limitações e problemas
resolvidos na utilização de técnicas de engenharia de requisitos adotadas em
projetos ágeis?
3 QPE 3: Quais os problemas que os metodos formais podem resolver?

2022.2 SISTEM
10 /ÁTICO
31
Metodologia Protocolo de Revisão
Criterios de Exclusão e inclusão
Tabela 1: Definição das Categorias da Análise
1 Estudos com a temática de pesquisa definida

2 Estudos publicados entre 2012 a 2022
3 Estudos devem estar escritos em inglês
Fonte:Elaborado pelo autor (2022)
Tabela 2: Definição das Categorias da Análise
1 Estudo que difere da temática que foi definida

2 Artigos publicados antes de 2012
3 Artigos com acesso pago
Fonte:Elaborado pelo autor (2022)

2022.2 SISTEM
11 /ÁTICO
31
CONDUÇÃO DO MAPEAMENTO CONDUÇÃO DO MAPEAMENTO
CONDUÇÃO DO MAPEAMENTO
• Definição das bases de dados;

• Definição e refinamento da string de busca;
• Aplicação da string de busca para coleta de dados;
• Seleção dos estudos, através dos critérios de inclusão e exclusão;
• Extração dos dados.

2022.2 SISTEM
12 /ÁTICO
31
CONDUÇÃO DO MAPEAMENTO APLICAÇÃO DA STRING DE BUSCA
APLICAÇÃO DA STRING DE BUSCA
(”Logical formalisms”OR ”Formal Methods”OR ”Formal Specification”OR ”Logical

Specification”) AND (”Requirements Engineering”OR ”Software Requirements”)

2022.2 SISTEM
13 /ÁTICO
31
CONDUÇÃO DO MAPEAMENTO SELEÇÃO DOS TRABALHOS

Etapa 1
Figura 2: Resultado da busca automática e manual
Marcielle de Paula Jorge Autoria própria.

2022.2 SISTEM
14 /ÁTICO
31

Ainda na primeira Etapa 1
Figura 3: Artigos Duplicados e Não classificados

2022.2 SISTEM
15 /ÁTICO
31

Etapa 2
Figura 4: Artigos Rejeitados e Aceito pelo Tı́tulo e Abstract

2022.2 SISTEM
16 /ÁTICO
31

Etapa 3
Figura 5: Artigos Rejeitados e Aceitos leitura completa
Autoria própria.
2022.2 SISTEM
17 /ÁTICO
31
Resultados Análise e Discussões dos Resultados
Análise e Discussões dos Resultados

1. Quais os metodos formais estão sendo utilizados na enegenharia de requisitos?
Figura 6: Distribuição de Códigos da Categoria de Segurança da Informação
Fonte: Autoria própia (2022)

2022.2 SISTEM
18 /ÁTICO
31
Análise do Contexto Institucional

2: O que atualmente se sabe sobre os desafios, limitações na utilização de forma-
lismos lógicos ?
Tabela 3: Desafios na utilização dos formalismos.
ID Desafios
EA9 Preconceito em utilizar os formalismos
EM2 A leitura, compreensão não são fáceis de realizar
EA10 Falta de aceitação na indústria
EA10 Tempo elevado para aprender especificações formais
EA10, EA9, EA11 Falta de conhecimento sobre formalismo
EA10 Falta de formação académica
EA10 Os engenheiros de software têm fobia à matemática
Fonte: Autoria Própia (2022)

2022.2 SISTEM
19 /ÁTICO
31
3: Quais os problemas que os metodos formais podem resolver?
Tabela 4: Problemas resolvidos pelos formalismos.
ID Problemas resolvidos
EA1, EA11, EA6 Ambiguidade
EA10, EA6 Defeitos precoce
EA11 Imprecisões do sistema Fonte:
EA15 incoerência na documentação dos requisitos
EA10 Custo extra
EA11 Incompletude na documentação dos requisitos
Autoria Própia (2022)

2022.2 SISTEM
20 /ÁTICO
31
Conclusão
Considerações Finais
Esse trabalho elaborou uma proposta de implementação da lei juntamente com

boas práticas de SI que estivessem mais aderente ao contexto institucional.
Em acréscimo, a presente investigação recomenda, conforme a pesquisa
realizada, que a gestão superior da universidade - juntamente com os seus
servidores - aplique as medidas sugeridas como inciativa primeira em direção a
consonância da legislação.
Por fim, espera-se ainda contribuir com a área estudada, visando auxiliar em
pesquisas futuras.

2022.2 SISTEM
21 /ÁTICO
31
Referências
Referências
Alkhammash, Eman et al. (2015). “Building traceable Event-B models from

requirements”. Em: Science of Computer Programming 111. Special Issue on
Automated Verification of Critical Systems (AVoCS 2013), pp. 318–338. ISSN:
0167-6423. DOI: https://doi.org/10.1016/j.scico.2015.06.002.
URL: https://www.sciencedirect.com/science/article/pii/S0167642315
001240.
Arksey, Hilary e Lisa O’Malley (2005). “Scoping studies: towards a

methodological framework”. Em: International Journal of Social Research
Methodology 8, pp. 19–32.

2022.2 SISTEM
22 /ÁTICO
31
Referências
Referências
Awan, Misbah Mehboob et al. (2020). “Formal Requirements Specification: Z
Notation Meta Model Facilitating Model to Model Transformation”. Em: ICSIE
2020. Cairo, Egypt: Association for Computing Machinery, pp. 61–66. ISBN:
9781450377218. DOI: 10.1145/3436829.3436845.
URL: https://doi.org/10.1145/3436829.3436845.
Bollin, Andreas e Dominik Rauner-reithmayer (jun. de 2014). “Formal

specification comprehension: The art of reading and writing Z”. Em: DOI:
10.1145/2593489.2593491.
Bruel, Jean-Michel et al. (mai. de 2021). “The Role of Formalism in System

Requirements”. Em: ACM Comput. Surv. 54.5. ISSN: 0360-0300. DOI:
10.1145/3448975.
URL: https://doi.org/10.1145/3448975.

2022.2 SISTEM
23 /ÁTICO
31
Referências
Referências
Grant, Emanuel S. e Smruti Priyambada Nanda (2020). “A Review of

Applications of Formal Specification in Safety-Critical System Development”.
Em: Proceedings of the 2020 the 4th International Conference on Compute
and Data Analysis. ICCDA 2020. Silicon Valley, CA, USA: Association for
Computing Machinery, pp. 208–215. ISBN: 9781450376440. DOI:
10.1145/3388142.3388175.
URL: https://doi.org/10.1145/3388142.3388175.
Hallerstede, Stefan, Michael Jastram e Lukas Ladenberger (2014). “A method

and tool for tracing requirements into specifications”. Em: Science of Computer
Programming 82. Special Issue on Automated Verification of Critical Systems
(AVoCS’11), pp. 2–21. ISSN: 0167-6423. DOI:
https://doi.org/10.1016/j.scico.2013.03.008.

2022.2 SISTEM
24 /ÁTICO
31
Referências
Referências
000683.
K.Pandey, S. e Mona Batra (mai. de 2013). “Formal Methods in Requirements

Phase of SDLC”. Em: International Journal of Computer Applications 70,
pp. 7–14. DOI: 10.5120/12020-8017.
Khalafinejad, Saeed e Seyed-Hassan Mirian-Hosseinabadi (2013).

“Translation of Z specifications to executable code: Application to the database
domain”. Em: Information and Software Technology 55.6, pp. 1017–1044.
ISSN : 0950-5849. DOI : https://doi.org/10.1016/j.infsof.2012.12.007.
00242X.

2022.2 SISTEM
25 /ÁTICO
31
Referências
Referências
Kitchenham, Barbara e Stuart Charters (jan. de 2007). “Guidelines for

performing Systematic Literature Reviews in Software Engineering”. Em: 2.
Kitchenham, Budgen e Brereton (2011). “Using mapping studies as the basis

for further research - A participant-observer case study”. Em: Information and
Software Technology 53, pp. 638–651.
Mokos, Konstantinos e Panagiotis Katsaros (2020). “A survey on the

formalisation of system requirements and their validation”. Em: Array 7,
p. 100030. ISSN: 2590-0056. DOI: https://doi.org/10.1016/j.array.2020.100030.
300151.

2022.2 SISTEM
26 /ÁTICO
31
Referências
Referências
Oliveira, Raquel et al. (2016). “Using Formal Models to Cross Check an
Implementation”. Em: Proceedings of the 8th ACM SIGCHI Symposium on
Engineering Interactive Computing Systems. EICS ’16. Brussels, Belgium:
Association for Computing Machinery, pp. 126–137. ISBN: 9781450343220.
URL: https://doi.org/10.1145/2933242.2933257.
Petersen, Kai et al. (jun. de 2008). “Systematic Mapping Studies in Software

Engineering”. Em: DOI: 10.14236/ewic/EASE2008.8.
Rodrigues, Peterson et al. (2018). “Empirical Evaluation of Formal Method for

Requirements Specification in Agile Approaches”. Em: Proceedings of the XIV
Brazilian Symposium on Information Systems. SBSI’18. Caxias do Sul, Brazil:
Association for Computing Machinery. ISBN: 9781450365598. DOI:
10.1145/3229345.3229401.
2022.2 SISTEM
27 /ÁTICO
31
Referências
Referências
URL: https://doi.org/10.1145/3229345.3229401.
Sengupta, Souvik e Ranjan Dasgupta (2015). “A VDM-based Approach for

Specifying and Testing Requirements of Web-applications”. Em: Procedia
Computer Science 46. Proceedings of the International Conference on
Information and Communication Technologies, ICICT 2014, 3-5 December
2014 at Bolgatty Palace Island Resort, Kochi, India, pp. 774–783. ISSN:
1877-0509. DOI: https://doi.org/10.1016/j.procs.2015.02.146.
002100.
Serna M., Edgar e Alexei Serna (set. de 2020). “Process and progress of
requirement formalization in Software Engineering”. Em: Ingeniare 28,
pp. 411–423. DOI: 10.4067/S0718-33052020000300411.

2022.2 SISTEM
28 /ÁTICO
31
Referências
Referências
Singh, Neeraj Kumar et al. (2021). “A formal approach to rigorous

development of critical systems”. Em: Journal of Software: Evolution and
Process 33.4. e2334 smr.2334, e2334. DOI: https://doi.org/10.1002/smr.2334.
eprint: https://onlinelibrary.wiley.com/doi/pdf/10.1002/smr.2334.
URL: https://onlinelibrary.wiley.com/doi/abs/10.1002/smr.2334.
Weyns, Danny et al. (2012). “A Survey of Formal Methods in Self-Adaptive

Systems”. Em: Proceedings of the Fifth International C* Conference on
Computer Science and Software Engineering. C3S2E ’12. Montreal, Quebec,
Canada: Association for Computing Machinery, pp. 67–79. ISBN:
9781450310840. DOI: 10.1145/2347583.2347592.
URL: https://doi.org/10.1145/2347583.2347592.

2022.2 SISTEM
29 /ÁTICO
31
Referências
Referências
Wohlin, Claes (2014). “Guidelines for Snowballing in Systematic Literature

Studies and a Replication in Software Engineering”. Em: Proceedings of the
18th International Conference on Evaluation and Assessment in Software
Engineering. EASE ’14. London, England, United Kingdom: Association for
Computing Machinery. ISBN: 9781450324762. DOI:
10.1145/2601248.2601268.
URL: https://doi.org/10.1145/2601248.2601268.

2022.2 SISTEM
30 /ÁTICO
31
Referências
Agradecimento
Muito Obrigada!!!

2022.2 SISTEM
31 /ÁTICO
31

Slide TCC

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Slide TCC

Enviado por

Direitos autorais:

Formatos disponíveis

Universidade Estadual Vale do Acaraú - UVA

Centro de Ciências Exatas e Tecnologia - CCET

UTILIZAÇÃO DE FORMALISMOS LÓGICOS EM

Marcielle de Paula Jorge

Orientador: Prof. Hudson Costa Gonçalves da Cruz

Marcielle de Paula Jorge UTILIZAÇÃO DE FORMALISMOS LÓGICOS EM ENGENHARIA DE REQUISITOS - UM MAPEAMENTO

Objetivo Geral: Mostrar como vem evoluindo o uso de formalismos lógicos na

2 Indetificar os desfios e limitações na utilização dos formalismos lógicos.

3 Mostrar os problemas que os metodos formais podem resolver.

Marcielle de Paula Jorge UTILIZAÇÃO DE FORMALISMOS LÓGICOS EM ENGENHARIA DE REQUISITOS - UM MAPEAMENTO

Marcielle de Paula Jorge UTILIZAÇÃO DE FORMALISMOS LÓGICOS EM ENGENHARIA DE REQUISITOS - UM MAPEAMENTO

Marcielle de Paula Jorge UTILIZAÇÃO DE FORMALISMOS LÓGICOS EM ENGENHARIA DE REQUISITOS - UM MAPEAMENTO

Marcielle de Paula Jorge UTILIZAÇÃO DE FORMALISMOS LÓGICOS EM ENGENHARIA DE REQUISITOS - UM MAPEAMENTO

Marcielle de Paula Jorge UTILIZAÇÃO DE FORMALISMOS LÓGICOS EM ENGENHARIA DE REQUISITOS - UM MAPEAMENTO

Figura 1: Etapas da Análise de Conteúdo

Marcielle de Paula Jorge Fonte:

1 QPE 1: Quais os metodos formais estão sendo utilizados na enegenharia de

Marcielle de Paula Jorge UTILIZAÇÃO DE FORMALISMOS LÓGICOS EM ENGENHARIA DE REQUISITOS - UM MAPEAMENTO

Criterios de Exclusão e inclusão

Tabela 1: Definição das Categorias da Análise

1 Estudos com a temática de pesquisa definida

Fonte:Elaborado pelo autor (2022)

Tabela 2: Definição das Categorias da Análise

1 Estudo que difere da temática que foi definida

Fonte:Elaborado pelo autor (2022)

• Definição das bases de dados;

Marcielle de Paula Jorge UTILIZAÇÃO DE FORMALISMOS LÓGICOS EM ENGENHARIA DE REQUISITOS - UM MAPEAMENTO

APLICAÇÃO DA STRING DE BUSCA

(”Logical formalisms”OR ”Formal Methods”OR ”Formal Specification”OR ”Logical

Marcielle de Paula Jorge UTILIZAÇÃO DE FORMALISMOS LÓGICOS EM ENGENHARIA DE REQUISITOS - UM MAPEAMENTO

SELEÇÃO DOS TRABALHOS

Figura 2: Resultado da busca automática e manual

Marcielle de Paula Jorge Autoria própria.

SELEÇÃO DOS TRABALHOS

Figura 3: Artigos Duplicados e Não classificados

Marcielle de Paula Jorge Autoria própria.

SELEÇÃO DOS TRABALHOS

Figura 4: Artigos Rejeitados e Aceito pelo Tı́tulo e Abstract

Marcielle de Paula Jorge Autoria própria.

SELEÇÃO DOS TRABALHOS

Figura 5: Artigos Rejeitados e Aceitos leitura completa

Análise e Discussões dos Resultados

Figura 6: Distribuição de Códigos da Categoria de Segurança da Informação

Fonte: Autoria própia (2022)

Análise do Contexto Institucional

Tabela 3: Desafios na utilização dos formalismos.

Marcielle de Paula Jorge UTILIZAÇÃO DE FORMALISMOS LÓGICOS EM ENGENHARIA DE REQUISITOS - UM MAPEAMENTO

3: Quais os problemas que os metodos formais podem resolver?

Tabela 4: Problemas resolvidos pelos formalismos.

Marcielle de Paula Jorge UTILIZAÇÃO DE FORMALISMOS LÓGICOS EM ENGENHARIA DE REQUISITOS - UM MAPEAMENTO

Esse trabalho elaborou uma proposta de implementação da lei juntamente com

Marcielle de Paula Jorge UTILIZAÇÃO DE FORMALISMOS LÓGICOS EM ENGENHARIA DE REQUISITOS - UM MAPEAMENTO

Alkhammash, Eman et al. (2015). “Building traceable Event-B models from

Arksey, Hilary e Lisa O’Malley (2005). “Scoping studies: towards a

Marcielle de Paula Jorge UTILIZAÇÃO DE FORMALISMOS LÓGICOS EM ENGENHARIA DE REQUISITOS - UM MAPEAMENTO

Bollin, Andreas e Dominik Rauner-reithmayer (jun. de 2014). “Formal

Bruel, Jean-Michel et al. (mai. de 2021). “The Role of Formalism in System

Marcielle de Paula Jorge UTILIZAÇÃO DE FORMALISMOS LÓGICOS EM ENGENHARIA DE REQUISITOS - UM MAPEAMENTO

Grant, Emanuel S. e Smruti Priyambada Nanda (2020). “A Review of

Hallerstede, Stefan, Michael Jastram e Lukas Ladenberger (2014). “A method

Marcielle de Paula Jorge UTILIZAÇÃO DE FORMALISMOS LÓGICOS EM ENGENHARIA DE REQUISITOS - UM MAPEAMENTO

K.Pandey, S. e Mona Batra (mai. de 2013). “Formal Methods in Requirements

Khalafinejad, Saeed e Seyed-Hassan Mirian-Hosseinabadi (2013).