A formalization of a startup finance transaction model using Alloy (2023)
- Authors:
- Autor USP: STEVAUX, RODRIGO EHRLICH - IME
- Unidade: IME
- Sigla do Departamento: MAC
- DOI: 10.11606/D.45.2023.tde-05042024-151358
- Subjects: MÉTODOS DE DESENVOLVIMENTO DE SOFTWARE; VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE; CAPITAL DE RISCO
- Keywords: Alloy analyzer; Bounded-model checking; Capitalization table management; Domain-specific formalisms; Especificação formal; Especificações de dados semânticas; Financiamento de capital de risco; Formal methods; Formal specification; Formalismos específicos do domínio; Gestão de tabela de capitalização; Métodos formais; Semantic data specifications; Venture capital; Verificação de modelo limitado
- Language: Inglês
- Abstract: Essa dissertação apresenta um design de software de um fragmento do domínio de financiamento de startups. Nosso design pode ser verificado por máquina quanto a propriedades chave de integridade de segurança e é escrito como uma especificação formal do domínio. No domínio em questão, começamos a partir de uma linguagem de especificação de dados construída por uma coalizão da indústria. A especificação de dados descreve como nosso domínio pode ser modelado de uma perspectiva sintática. Damos a ela semântica adotando a linguagem de modelagem formal Alloy e analisador, visando um modelo mais expressivo e correto, capturando invariantes no domínio do problema. Nosso modelo pode ser explorado e verificado automaticamente pelo Analisador Alloy. Podemos tanto expressar quanto verificar invariantes críticos do domínio do problema. Nossa pesquisa contribui para o campo dos métodos formais, pois mostra como se pode proceder de uma especificação semiformal para uma formal, avalia os resultados e contribui para outros pesquisadores e praticantes no campo dos métodos formais ao fornecer um estudo de caso de um domínio de problema do mundo real
- Imprenta:
- Data da defesa: 31.10.2023
- Este periódico é de acesso aberto
- Este artigo é de acesso aberto
- URL de acesso aberto
- Cor do Acesso Aberto: gold
- Licença: cc-by-nc-sa
-
ABNT
STEVAUX, Rodrigo Ehrlich. A formalization of a startup finance transaction model using Alloy. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/. Acesso em: 06 maio 2024. -
APA
Stevaux, R. E. (2023). A formalization of a startup finance transaction model using Alloy (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/ -
NLM
Stevaux RE. A formalization of a startup finance transaction model using Alloy [Internet]. 2023 ;[citado 2024 maio 06 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/ -
Vancouver
Stevaux RE. A formalization of a startup finance transaction model using Alloy [Internet]. 2023 ;[citado 2024 maio 06 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/
Informações sobre o DOI: 10.11606/D.45.2023.tde-05042024-151358 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas