Artigo Anais III JOIN / Edição Brasil

ANAIS de Evento

ISSN: 2594-8318

MODELAGEM DE COMPORTAMENTO DE SOFTWARE: UM COMPILADOR NA FERRAMENTA LOTUS

Palavra-chaves: COMPILADOR, MODELAGEM DE COMPORTAMENTO, ESPECIFICAÇÃO FORMAL Comunicação Oral (CO) CIÊNCIA DA COMPUTAÇÃO
"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 => "*"
  ]
}
Publicado em 12 de outubro de 2017

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.

Compartilhe:

Visualização do Artigo


Deixe um comentário

Precisamos validar o formulário.