Synthesis of partial behavior models from properties and scenarios
Synthesis of behavior models from software development artifacts such as scenario-based descriptions or requirements specifications helps reduce the effort of model construction. However, the models favored by existing synthesis approaches are not sufficiently expressive to describe both universal c...
Guardado en:
Publicado: |
2009
|
---|---|
Materias: | |
Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00985589_v35_n3_p384_Uchitel http://hdl.handle.net/20.500.12110/paper_00985589_v35_n3_p384_Uchitel |
Aporte de: |
id |
paper:paper_00985589_v35_n3_p384_Uchitel |
---|---|
record_format |
dspace |
spelling |
paper:paper_00985589_v35_n3_p384_Uchitel2023-06-08T15:09:56Z Synthesis of partial behavior models from properties and scenarios Merge Modal transition systems Partial behavior models Synthesis Behavior model Merge Modal transition systems Model construction Partial behavior models Requirements specifications Safety property Software development Synthesis Synthesis techniques Synthesis of behavior models from software development artifacts such as scenario-based descriptions or requirements specifications helps reduce the effort of model construction. However, the models favored by existing synthesis approaches are not sufficiently expressive to describe both universal constraints provided by requirements and existential statements provided by scenarios. In this paper, we propose a novel synthesis technique that constructs behavior models in the form of ModalTransition Systems (MTS) from a combination of safety properties and scenarios. MTSs distinguish required, possible, and proscribed behavior, and their elaboration not only guarantees the preservation of the properties and scenarios used for synthesis but also supports further elicitation of new requirements. © 2009 IEEE. 2009 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00985589_v35_n3_p384_Uchitel http://hdl.handle.net/20.500.12110/paper_00985589_v35_n3_p384_Uchitel |
institution |
Universidad de Buenos Aires |
institution_str |
I-28 |
repository_str |
R-134 |
collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
topic |
Merge Modal transition systems Partial behavior models Synthesis Behavior model Merge Modal transition systems Model construction Partial behavior models Requirements specifications Safety property Software development Synthesis Synthesis techniques |
spellingShingle |
Merge Modal transition systems Partial behavior models Synthesis Behavior model Merge Modal transition systems Model construction Partial behavior models Requirements specifications Safety property Software development Synthesis Synthesis techniques Synthesis of partial behavior models from properties and scenarios |
topic_facet |
Merge Modal transition systems Partial behavior models Synthesis Behavior model Merge Modal transition systems Model construction Partial behavior models Requirements specifications Safety property Software development Synthesis Synthesis techniques |
description |
Synthesis of behavior models from software development artifacts such as scenario-based descriptions or requirements specifications helps reduce the effort of model construction. However, the models favored by existing synthesis approaches are not sufficiently expressive to describe both universal constraints provided by requirements and existential statements provided by scenarios. In this paper, we propose a novel synthesis technique that constructs behavior models in the form of ModalTransition Systems (MTS) from a combination of safety properties and scenarios. MTSs distinguish required, possible, and proscribed behavior, and their elaboration not only guarantees the preservation of the properties and scenarios used for synthesis but also supports further elicitation of new requirements. © 2009 IEEE. |
title |
Synthesis of partial behavior models from properties and scenarios |
title_short |
Synthesis of partial behavior models from properties and scenarios |
title_full |
Synthesis of partial behavior models from properties and scenarios |
title_fullStr |
Synthesis of partial behavior models from properties and scenarios |
title_full_unstemmed |
Synthesis of partial behavior models from properties and scenarios |
title_sort |
synthesis of partial behavior models from properties and scenarios |
publishDate |
2009 |
url |
https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00985589_v35_n3_p384_Uchitel http://hdl.handle.net/20.500.12110/paper_00985589_v35_n3_p384_Uchitel |
_version_ |
1768546392375033856 |