Aspect Oriented Behavioral Synthesis

Modern modularization techniques such as Aspect Orientation require powerful and expressive enough specification languages in order to conceive the development of a system as the combination of the different views it is composed of. In this work we present FVS as an aspect oriented language where th...

Descripción completa

Detalles Bibliográficos
Autores principales: Asteasuain, Fernando, Calonge, Federico, Gamboa, Pablo
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2019
Materias:
Ciencias Informáticas
Aspect Orientation
Behavioral Synthesis
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/90538
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-90538
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Aspect Orientation
Behavioral Synthesis
spellingShingle Ciencias Informáticas
Aspect Orientation
Behavioral Synthesis
Asteasuain, Fernando
Calonge, Federico
Gamboa, Pablo
Aspect Oriented Behavioral Synthesis
topic_facet Ciencias Informáticas
Aspect Orientation
Behavioral Synthesis
description Modern modularization techniques such as Aspect Orientation require powerful and expressive enough specification languages in order to conceive the development of a system as the combination of the different views it is composed of. In this work we present FVS as an aspect oriented language where the composition of individual aspects is achieved employing behavioral synthesis. As a distinctive feature, our approach can handle properties denoted by non deterministic Büchi automata. A case of study is introduced to show our approach in action.
format Objeto de conferencia
Objeto de conferencia
author Asteasuain, Fernando
Calonge, Federico
Gamboa, Pablo
author_facet Asteasuain, Fernando
Calonge, Federico
Gamboa, Pablo
author_sort Asteasuain, Fernando
title Aspect Oriented Behavioral Synthesis
title_short Aspect Oriented Behavioral Synthesis
title_full Aspect Oriented Behavioral Synthesis
title_fullStr Aspect Oriented Behavioral Synthesis
title_full_unstemmed Aspect Oriented Behavioral Synthesis
title_sort aspect oriented behavioral synthesis
publishDate 2019
url http://sedici.unlp.edu.ar/handle/10915/90538
work_keys_str_mv AT asteasuainfernando aspectorientedbehavioralsynthesis
AT calongefederico aspectorientedbehavioralsynthesis
AT gamboapablo aspectorientedbehavioralsynthesis
bdutipo_str Repositorios
_version_ 1764820490128457728

Ejemplares similares