MODELAGEM DE COMPORTAMENTO DE SOFTWARE: UM COMPILADOR NA FERRAMENTA LOTUS
"2017-10-12 00:00:00" // app/Providers/../Base/Publico/Artigo/resources/show_includes/info_artigo.blade.php
App\Base\Administrativo\Model\Artigo {#1843 // app/Providers/../Base/Publico/Artigo/resources/show_includes/info_artigo.blade.php #connection: "mysql" +table: "artigo" #primaryKey: "id" #keyType: "int" +incrementing: true #with: [] #withCount: [] +preventsLazyLoading: false #perPage: 15 +exists: true +wasRecentlyCreated: false #escapeWhenCastingToString: false #attributes: array:35 [ "id" => 49948 "edicao_id" => 73 "trabalho_id" => 703 "inscrito_id" => 2057 "titulo" => "MODELAGEM DE COMPORTAMENTO DE SOFTWARE: UM COMPILADOR NA FERRAMENTA LOTUS" "resumo" => "LoTuS é uma ferramenta extensível e de código aberto para a criação de modelos de comportamento representados como Labelled Trasition Systems (LTS) de forma gráfica através de uma interface amigável que disponibiliza um mecanismo drag and drop. A ferramenta LoTuS foi desenvolvida por alunos do curso de graduação em Ciência da Computação da Universidade Estadual do Ceará em 2013 e, desde então, vem evoluindo com a incorporações de novas funcionalidades. Sua característica de extensão permitiu a criação de outras ferramentas, como TCG, para geração e seleção de casos de teste, e o LoTuS@Runtime, para monitoramento e análise de sistemas autoadaptativos. Apesar de facilitar a construção de modelos simples, a criação gráfica apresenta limitações quando se almeja especificar modelos maiores, uma vez que essa atividade pode tornar-se exaustiva. A possibilidade de usar uma linguagem de especificação para construir os comportamentos era algo que também já vinha sendo solicitado por usuários da ferramenta, bem como pela comunidade acadêmica. Para atender a essa necessidade, a ferramenta foi estendida com dois novos módulos: a tela de especificação textual e um compilador para tal linguagem. Na primeira, o usuário pode especificar um ou mais componentes do sistema utilizando um subconjunto da linguagem de especificação formal Finite State Process (FSP). A contribuição inicial deste estudo consiste na extensão da linguagem para permitir a modelagem de comportamentos probabilísticos, então permitindo a especificação de ambos os tipos de componentes. O segundo módulo consistiu no desenvolvimento de um compilador para a linguagem FSP estendida, permitindo que a especificação textual pudesse ser validada, gerando como saída a representação gráfica do LTS, seja ele probabilístico ou não. Após isso, o usuário pode utilizar os outros plugins do LoTuS para analisar seu modelo gerado, como detecção de deadlock e análise de propriedades probabilísticas. Assim, o compilador foi aplicado para construir vários modelos diferentes. Os testes realizados mostraram que ele é robusto o suficiente para permitir a geração de modelos de comportamento maiores, bem como verificar se a especificação está de acordo com a linguagem utilizada, dando ao usuário uma maior capacidade de uso da ferramenta. Ressalta-se que o LoTuS encontra-se disponível gratuitamente para download no github." "modalidade" => "Comunicação Oral (CO)" "area_tematica" => "CIÊNCIA DA COMPUTAÇÃO" "palavra_chave" => "COMPILADOR, MODELAGEM DE COMPORTAMENTO, ESPECIFICAÇÃO FORMAL" "idioma" => "Português" "arquivo" => "TRABALHO_EV081_MD1_SA39_ID2057_15092017103047.pdf" "created_at" => "2020-05-28 15:53:37" "updated_at" => "2020-06-10 12:56:41" "ativo" => 1 "autor_nome" => "YAN AUGUSTO GURGEL DA SILVA" "autor_nome_curto" => "YAN" "autor_email" => "yan.gurgel@gmail.com" "autor_ies" => "UNIVERSIDADE ESTADUAL DO CEARÁ (UECE)" "autor_imagem" => "" "edicao_url" => "anais-iii-join---edicao-brasil" "edicao_nome" => "Anais III JOIN / Edição Brasil" "edicao_evento" => "III Encontro de Jovens Investigadores - Edição Brasil" "edicao_ano" => 2017 "edicao_pasta" => "anais/join/2017" "edicao_logo" => "5e4a1cc2ad894_17022020015530.jpg" "edicao_capa" => "5f186f10b9555_22072020135336.jpg" "data_publicacao" => null "edicao_publicada_em" => "2017-10-12 00:00:00" "publicacao_id" => 47 "publicacao_nome" => "Anais JOIN" "publicacao_codigo" => "2594-8318" "tipo_codigo_id" => 1 "tipo_codigo_nome" => "ISSN" "tipo_publicacao_id" => 1 "tipo_publicacao_nome" => "ANAIS de Evento" ] #original: array:35 [ "id" => 49948 "edicao_id" => 73 "trabalho_id" => 703 "inscrito_id" => 2057 "titulo" => "MODELAGEM DE COMPORTAMENTO DE SOFTWARE: UM COMPILADOR NA FERRAMENTA LOTUS" "resumo" => "LoTuS é uma ferramenta extensível e de código aberto para a criação de modelos de comportamento representados como Labelled Trasition Systems (LTS) de forma gráfica através de uma interface amigável que disponibiliza um mecanismo drag and drop. A ferramenta LoTuS foi desenvolvida por alunos do curso de graduação em Ciência da Computação da Universidade Estadual do Ceará em 2013 e, desde então, vem evoluindo com a incorporações de novas funcionalidades. Sua característica de extensão permitiu a criação de outras ferramentas, como TCG, para geração e seleção de casos de teste, e o LoTuS@Runtime, para monitoramento e análise de sistemas autoadaptativos. Apesar de facilitar a construção de modelos simples, a criação gráfica apresenta limitações quando se almeja especificar modelos maiores, uma vez que essa atividade pode tornar-se exaustiva. A possibilidade de usar uma linguagem de especificação para construir os comportamentos era algo que também já vinha sendo solicitado por usuários da ferramenta, bem como pela comunidade acadêmica. Para atender a essa necessidade, a ferramenta foi estendida com dois novos módulos: a tela de especificação textual e um compilador para tal linguagem. Na primeira, o usuário pode especificar um ou mais componentes do sistema utilizando um subconjunto da linguagem de especificação formal Finite State Process (FSP). A contribuição inicial deste estudo consiste na extensão da linguagem para permitir a modelagem de comportamentos probabilísticos, então permitindo a especificação de ambos os tipos de componentes. O segundo módulo consistiu no desenvolvimento de um compilador para a linguagem FSP estendida, permitindo que a especificação textual pudesse ser validada, gerando como saída a representação gráfica do LTS, seja ele probabilístico ou não. Após isso, o usuário pode utilizar os outros plugins do LoTuS para analisar seu modelo gerado, como detecção de deadlock e análise de propriedades probabilísticas. Assim, o compilador foi aplicado para construir vários modelos diferentes. Os testes realizados mostraram que ele é robusto o suficiente para permitir a geração de modelos de comportamento maiores, bem como verificar se a especificação está de acordo com a linguagem utilizada, dando ao usuário uma maior capacidade de uso da ferramenta. Ressalta-se que o LoTuS encontra-se disponível gratuitamente para download no github." "modalidade" => "Comunicação Oral (CO)" "area_tematica" => "CIÊNCIA DA COMPUTAÇÃO" "palavra_chave" => "COMPILADOR, MODELAGEM DE COMPORTAMENTO, ESPECIFICAÇÃO FORMAL" "idioma" => "Português" "arquivo" => "TRABALHO_EV081_MD1_SA39_ID2057_15092017103047.pdf" "created_at" => "2020-05-28 15:53:37" "updated_at" => "2020-06-10 12:56:41" "ativo" => 1 "autor_nome" => "YAN AUGUSTO GURGEL DA SILVA" "autor_nome_curto" => "YAN" "autor_email" => "yan.gurgel@gmail.com" "autor_ies" => "UNIVERSIDADE ESTADUAL DO CEARÁ (UECE)" "autor_imagem" => "" "edicao_url" => "anais-iii-join---edicao-brasil" "edicao_nome" => "Anais III JOIN / Edição Brasil" "edicao_evento" => "III Encontro de Jovens Investigadores - Edição Brasil" "edicao_ano" => 2017 "edicao_pasta" => "anais/join/2017" "edicao_logo" => "5e4a1cc2ad894_17022020015530.jpg" "edicao_capa" => "5f186f10b9555_22072020135336.jpg" "data_publicacao" => null "edicao_publicada_em" => "2017-10-12 00:00:00" "publicacao_id" => 47 "publicacao_nome" => "Anais JOIN" "publicacao_codigo" => "2594-8318" "tipo_codigo_id" => 1 "tipo_codigo_nome" => "ISSN" "tipo_publicacao_id" => 1 "tipo_publicacao_nome" => "ANAIS de Evento" ] #changes: [] #casts: array:14 [ "id" => "integer" "edicao_id" => "integer" "trabalho_id" => "integer" "inscrito_id" => "integer" "titulo" => "string" "resumo" => "string" "modalidade" => "string" "area_tematica" => "string" "palavra_chave" => "string" "idioma" => "string" "arquivo" => "string" "created_at" => "datetime" "updated_at" => "datetime" "ativo" => "boolean" ] #classCastCache: [] #attributeCastCache: [] #dates: [] #dateFormat: null #appends: [] #dispatchesEvents: [] #observables: [] #relations: [] #touches: [] +timestamps: false #hidden: [] #visible: [] +fillable: array:13 [ 0 => "edicao_id" 1 => "trabalho_id" 2 => "inscrito_id" 3 => "titulo" 4 => "resumo" 5 => "modalidade" 6 => "area_tematica" 7 => "palavra_chave" 8 => "idioma" 9 => "arquivo" 10 => "created_at" 11 => "updated_at" 12 => "ativo" ] #guarded: array:1 [ 0 => "*" ] }