Declaratively building behavior by means of scenario clauses

Mostrar todas las versiones(2)

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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Braberman, Víctor Adrián
Publicado: 2017
Materias:
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
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09473602_v22_n2_p239_Asteasuain
http://hdl.handle.net/20.500.12110/paper_09473602_v22_n2_p239_Asteasuain
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paper:paper_09473602_v22_n2_p239_Asteasuain
record_format dspace
spelling paper:paper_09473602_v22_n2_p239_Asteasuain2023-06-08T15:53:54Z Declaratively building behavior by means of scenario clauses Braberman, Víctor Adrián 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. 2017 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09473602_v22_n2_p239_Asteasuain 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
Braberman, Víctor Adrián
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.
author Braberman, Víctor Adrián
author_facet Braberman, Víctor Adrián
author_sort Braberman, Víctor Adrián
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
publishDate 2017
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09473602_v22_n2_p239_Asteasuain
http://hdl.handle.net/20.500.12110/paper_09473602_v22_n2_p239_Asteasuain
work_keys_str_mv AT brabermanvictoradrian declarativelybuildingbehaviorbymeansofscenarioclauses
_version_ 1768542323380060160

Ejemplares similares