Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses

Asteasuain, Fernando; Calonge, Federico; Dubinsky, Manuel

dc.contributor.author	Asteasuain, Fernando
dc.contributor.author	Calonge, Federico
dc.contributor.author	Dubinsky, Manuel
dc.date.accessioned	2024-08-08T15:59:30Z
dc.date.available	2024-08-08T15:59:30Z
dc.date.issued	2018
dc.identifier.isbn	978-950-658-472-6
dc.identifier.other	http://sedici.unlp.edu.ar/handle/10915/73271
dc.identifier.uri	https://undavdigital.undav.edu.ar/xmlui/handle/20.500.13069/3498
dc.description	Fil: Asteasuain, Fernando. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
dc.description	Fil: Calonge, Federico. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
dc.description	Fil: Dubinsky, Manuel. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
dc.description.abstract	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.
dc.format.mimetype	application/pdf
dc.language.iso	eng
dc.publisher	Red de Universidades con Carreras en Informática
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	open systems
dc.subject	behavioral specifications
dc.subject	synthesis
dc.title	Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses
dc.type	info:eu-repo/semantics/conferenceObject
dc.type	info:ar-repo/semantics/documento de conferencia
dc.type	info:eu-repo/semantics/publishedVersion
dcterms.license	http://creativecommons.org/licenses/by-nc-sa/4.0/
local.eventos.nombregeneral	Congreso Argentino de Ciencias de la Computación
local.eventos.numero	XXIV
local.eventos.lugar	Argentina