Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

Aspect Oriented Behavioral Synthesis

Document type: Objeto de conferencia

Abstract

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.

Notes

XVI Workshop Ingeniería de Software.

General information

Exposure date: octubre 2019
Issue date: 2019
Document language: English
Event: XXV Congreso Argentino de Ciencias de la Computación (CACIC) (Universidad Nacional de Río Cuarto, Córdoba, 14 al 18 de octubre de 2019)
Origin: Red de Universidades con Carreras en Informática
ISBN: 978-987-688-377-1
Pages: 622-631
xmlui.dri2xhtml.METS-1.0.item-dc-subject: Aspect Orientation ; Behavioral Synthesis
Subjects: Ciencias Informáticas

Related documents

Download Files

Thumbnail
Documento completo
Download file (883.9Kb) - PDF
 
Created: 10 de marzo de 2020
Available since: 10 de marzo de 2020
Please, use one of this identificators(URI) for cite o linking this item:
  • http://sedici.unlp.edu.ar/handle/10915/90538

    • This item appears in the following Collection(s)

    Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)