Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses

Autores
Asteasuain, Fernando; Calonge, Federico; Dubinsky, Manuel
Año de publicación
2018
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
The Software Engineering community has identified behavioral specification as one of the main challenges to be addressed for the transference of formal verification techniques such as model checking. In particular, expressivity of the specification language is a key factor, especially when dealing with open systems and controllability of events. In this work we present an extension of the FVS language to denote behavior in open systems. By relying on an existing behavioral synthesis technique based on the specification patterns we show how FVS specification can be used as input to automatically build a controller from its specification.
XV Workshop Ingeniería de Software (WIS)
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
open systems
behavioral specifications
synthesis
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/73271
Acceder
id SEDICI_ee408144fef57518bc62d47256179cb3
oai_identifier_str oai:sedici.unlp.edu.ar:10915/73271
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Exploring Specification Pattern based Behavioral Synthesis with Scenario ClausesAsteasuain, FernandoCalonge, FedericoDubinsky, ManuelCiencias Informáticasopen systemsbehavioral specificationssynthesisThe Software Engineering community has identified behavioral specification as one of the main challenges to be addressed for the transference of formal verification techniques such as model checking. In particular, expressivity of the specification language is a key factor, especially when dealing with open systems and controllability of events. In this work we present an extension of the FVS language to denote behavior in open systems. By relying on an existing behavioral synthesis technique based on the specification patterns we show how FVS specification can be used as input to automatically build a controller from its specification.XV Workshop Ingeniería de Software (WIS)Red de Universidades con Carreras en Informática (RedUNCI)2018-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf602-611http://sedici.unlp.edu.ar/handle/10915/73271enginfo:eu-repo/semantics/altIdentifier/isbn/978-950-658-472-6info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-10-22T16:53:15Zoai:sedici.unlp.edu.ar:10915/73271Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-10-22 16:53:15.455SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses
title Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses
spellingShingle Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses
Asteasuain, Fernando
Ciencias Informáticas
open systems
behavioral specifications
synthesis
title_short Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses
title_full Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses
title_fullStr Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses
title_full_unstemmed Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses
title_sort Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses
dc.creator.none.fl_str_mv Asteasuain, Fernando
Calonge, Federico
Dubinsky, Manuel
author Asteasuain, Fernando
author_facet Asteasuain, Fernando
Calonge, Federico
Dubinsky, Manuel
author_role author
author2 Calonge, Federico
Dubinsky, Manuel
author2_role author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
open systems
behavioral specifications
synthesis
topic Ciencias Informáticas
open systems
behavioral specifications
synthesis
dc.description.none.fl_txt_mv The Software Engineering community has identified behavioral specification as one of the main challenges to be addressed for the transference of formal verification techniques such as model checking. In particular, expressivity of the specification language is a key factor, especially when dealing with open systems and controllability of events. In this work we present an extension of the FVS language to denote behavior in open systems. By relying on an existing behavioral synthesis technique based on the specification patterns we show how FVS specification can be used as input to automatically build a controller from its specification.
XV Workshop Ingeniería de Software (WIS)
Red de Universidades con Carreras en Informática (RedUNCI)
description The Software Engineering community has identified behavioral specification as one of the main challenges to be addressed for the transference of formal verification techniques such as model checking. In particular, expressivity of the specification language is a key factor, especially when dealing with open systems and controllability of events. In this work we present an extension of the FVS language to denote behavior in open systems. By relying on an existing behavioral synthesis technique based on the specification patterns we show how FVS specification can be used as input to automatically build a controller from its specification.
publishDate 2018
dc.date.none.fl_str_mv 2018-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/73271
url http://sedici.unlp.edu.ar/handle/10915/73271
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/isbn/978-950-658-472-6
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
602-611
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1846783109657264128
score 12.982451

Publicaciones similares