Exploring specification pattern based behavioral synthesis with scenario clauses

dc.contributor.author Asteasuain, Fernando
dc.contributor.author Calonge, Federico
dc.contributor.author Dubinsky, Manuel
dc.date.accessioned 2023-10-17T21:40:58Z
dc.date.available 2023-10-17T21:40:58Z
dc.date.issued 2018-10
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.identifier.citation Asteasuain, F.; Calonge, F.; Dubinsky, M. (2018). Exploring specification pattern based behavioral synthesis with scenario clauses. In: Congreso Argentino de Ciencias de la Computación, CACIC. 24. 18-12 oct 2018, Tandil, Argentina. Libro de Actas. Tandil : Universidad Nacional del Centro de la Provincia de Buenos Aires. p.:602-611
dc.identifier.uri https://repositorio.uai.edu.ar/handle/123456789/1867
dc.language.iso en
dc.publisher Universidad Nacional del Centro de la Provincia de Buenos Aires
dc.subject open systems
dc.subject behavioral specifications
dc.subject synthesis
dc.title Exploring specification pattern based behavioral synthesis with scenario clauses
dc.type DOCUMENTOCONF
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
0000177323.pdf
Size:
355.5 KB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed to upon submission
Description: