CAETI
Centro de Altos Estudios en Tecnología Informática
Buenos Aires
Ingeniería de Software
Framework para el Desarrollo de Software mediante Modularización Avanzada
Exploring specification pattern based behavioral synthesis with scenario clauses
Año: 2018
Idioma: Inglés
Resumen
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.
Integrantes
Fernando Asteasuain (Autor)
Federico Calonge (Autor)
Manuel Dubinsky (Autor)
Archivos
-
Fernando Asteasuain, Federico Calonge and Manuel Dubinsky (2018). “Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses”. XXIV Congreso Argentino de Ciencias de la Computación (CACIC). Tandil, Buenos Aires, Argentina. 8 al 12 de Octubre de 2018.
13- Asteasuain-Calonge-Dubinsky - CACIC 2018.pdf