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
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/73271
Ver los metadatos del registro completo
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-09-29T11:12:22Zoai: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-09-29 11:12:22.857SEDICI (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_ |
1844615994122698752 |
score |
13.070432 |