Declaratively building behavior by means of scenario clauses
Behavior needs to be understood from early stages of software development. In this context, incremental and declarative modeling seems an attractive approach for closely capturing and analyzing requirements without early operational commitment. A traditional choice for such a kind of modeling is a l...
Guardado en:
Autores principales: | , |
---|---|
Formato: | JOUR |
Materias: | |
Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_09473602_v22_n2_p239_Asteasuain |
Aporte de: |
id |
todo:paper_09473602_v22_n2_p239_Asteasuain |
---|---|
record_format |
dspace |
spelling |
todo:paper_09473602_v22_n2_p239_Asteasuain2023-10-03T15:49:22Z Declaratively building behavior by means of scenario clauses Asteasuain, F. Braberman, V. Behavioral modeling Formal Specifications Requirements Engineering Formal specification Requirements engineering Semantics Temporal logic Behavioral model Declarative Languages Declarative models Declarative semantics Formal Description Logic-based approach Operational commitments Regular properties Software design Behavior needs to be understood from early stages of software development. In this context, incremental and declarative modeling seems an attractive approach for closely capturing and analyzing requirements without early operational commitment. A traditional choice for such a kind of modeling is a logic-based approach. Unfortunately, in many cases, the formal description and validation of properties result in a daunting task, even for trained people. Moreover, some authors established some practical limitations with temporal logics expressive power. In this work, we present omega-feather weight visual scenarios (ω-FVS) a declarative language, not founded on temporal logics, but on simple graphical scenarios, powerful enough to express ω-regular properties. The notation is equipped with declarative semantics based on morphisms, and a tableau procedure is given enabling the possibility of automatic analysis. © 2016, Springer-Verlag London. Fil:Braberman, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. JOUR info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_09473602_v22_n2_p239_Asteasuain |
institution |
Universidad de Buenos Aires |
institution_str |
I-28 |
repository_str |
R-134 |
collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
topic |
Behavioral modeling Formal Specifications Requirements Engineering Formal specification Requirements engineering Semantics Temporal logic Behavioral model Declarative Languages Declarative models Declarative semantics Formal Description Logic-based approach Operational commitments Regular properties Software design |
spellingShingle |
Behavioral modeling Formal Specifications Requirements Engineering Formal specification Requirements engineering Semantics Temporal logic Behavioral model Declarative Languages Declarative models Declarative semantics Formal Description Logic-based approach Operational commitments Regular properties Software design Asteasuain, F. Braberman, V. Declaratively building behavior by means of scenario clauses |
topic_facet |
Behavioral modeling Formal Specifications Requirements Engineering Formal specification Requirements engineering Semantics Temporal logic Behavioral model Declarative Languages Declarative models Declarative semantics Formal Description Logic-based approach Operational commitments Regular properties Software design |
description |
Behavior needs to be understood from early stages of software development. In this context, incremental and declarative modeling seems an attractive approach for closely capturing and analyzing requirements without early operational commitment. A traditional choice for such a kind of modeling is a logic-based approach. Unfortunately, in many cases, the formal description and validation of properties result in a daunting task, even for trained people. Moreover, some authors established some practical limitations with temporal logics expressive power. In this work, we present omega-feather weight visual scenarios (ω-FVS) a declarative language, not founded on temporal logics, but on simple graphical scenarios, powerful enough to express ω-regular properties. The notation is equipped with declarative semantics based on morphisms, and a tableau procedure is given enabling the possibility of automatic analysis. © 2016, Springer-Verlag London. |
format |
JOUR |
author |
Asteasuain, F. Braberman, V. |
author_facet |
Asteasuain, F. Braberman, V. |
author_sort |
Asteasuain, F. |
title |
Declaratively building behavior by means of scenario clauses |
title_short |
Declaratively building behavior by means of scenario clauses |
title_full |
Declaratively building behavior by means of scenario clauses |
title_fullStr |
Declaratively building behavior by means of scenario clauses |
title_full_unstemmed |
Declaratively building behavior by means of scenario clauses |
title_sort |
declaratively building behavior by means of scenario clauses |
url |
http://hdl.handle.net/20.500.12110/paper_09473602_v22_n2_p239_Asteasuain |
work_keys_str_mv |
AT asteasuainf declarativelybuildingbehaviorbymeansofscenarioclauses AT brabermanv declarativelybuildingbehaviorbymeansofscenarioclauses |
_version_ |
1782027143376535552 |