Existential live sequence charts revisited

Scenario-based specifications are a popular means for describing intended system behaviour. We aim to facilitate early analysis of system behaviour and the development of behaviour models in conjunction with scenarios. In this paper we define a novel scenario-based specification language with an exi...

Descripción completa

Detalles Bibliográficos
Autores principales: Sibay, Germán Emir, Braberman, Víctor Adrián
Publicado: 2008
Materias:
MTS
Partial behaviour models
Scenarios
Synthesis
Case-based approaches
Language semantics
Live sequence charts
Scenario-based specifications
Synthesis algorithms
Behaviour models
Case-based approach
Live sequence chart
Modal Transition Systems
Flowcharting
Graphic methods
Information theory
Semantics
Software engineering
Specification languages
Specifications
Computer software
Linguistics
Mathematical models
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v_n_p41_Sibay
http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p41_Sibay
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paper:paper_02705257_v_n_p41_Sibay
record_format dspace
spelling paper:paper_02705257_v_n_p41_Sibay2023-06-08T15:24:40Z Existential live sequence charts revisited Sibay, Germán Emir Braberman, Víctor Adrián MTS Partial behaviour models Scenarios Synthesis Case-based approaches Language semantics Live sequence charts MTS Partial behaviour models Scenario-based specifications Scenarios Synthesis Synthesis algorithms Behaviour models Case-based approach Live sequence chart Modal Transition Systems Flowcharting Graphic methods Information theory Semantics Software engineering Specification languages Specifications Computer software Linguistics Linguistics Mathematical models Scenario-based specifications are a popular means for describing intended system behaviour. We aim to facilitate early analysis of system behaviour and the development of behaviour models in conjunction with scenarios. In this paper we define a novel scenario-based specification language with an existential semantics and that supports conditional specification of behaviour in the form of prechart and main chart. The language semantics is consistent with existing informal scenario-based and use-case based approaches to requirements engineering. The language provides a good fit with universal live sequence charts as standard existential live sequence charts do not adequately support conditional scenarios. In addition, we define a novel synthesis algorithm that, rather than building arbitrarily one of the many behaviour models that satisfy a scenario, constructs a Modal Transition System (MTS) which characterizes all behaviour models that conform to the scenario. Copyright 2008 ACM. Fil:Sibay, G. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Braberman, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2008 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v_n_p41_Sibay http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p41_Sibay
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic MTS
Partial behaviour models
Scenarios
Synthesis
Case-based approaches
Language semantics
Live sequence charts
MTS
Partial behaviour models
Scenario-based specifications
Scenarios
Synthesis
Synthesis algorithms
Behaviour models
Case-based approach
Live sequence chart
Modal Transition Systems
Flowcharting
Graphic methods
Information theory
Semantics
Software engineering
Specification languages
Specifications
Computer software
Linguistics
Linguistics
Mathematical models
spellingShingle MTS
Partial behaviour models
Scenarios
Synthesis
Case-based approaches
Language semantics
Live sequence charts
MTS
Partial behaviour models
Scenario-based specifications
Scenarios
Synthesis
Synthesis algorithms
Behaviour models
Case-based approach
Live sequence chart
Modal Transition Systems
Flowcharting
Graphic methods
Information theory
Semantics
Software engineering
Specification languages
Specifications
Computer software
Linguistics
Linguistics
Mathematical models
Sibay, Germán Emir
Braberman, Víctor Adrián
Existential live sequence charts revisited
topic_facet MTS
Partial behaviour models
Scenarios
Synthesis
Case-based approaches
Language semantics
Live sequence charts
MTS
Partial behaviour models
Scenario-based specifications
Scenarios
Synthesis
Synthesis algorithms
Behaviour models
Case-based approach
Live sequence chart
Modal Transition Systems
Flowcharting
Graphic methods
Information theory
Semantics
Software engineering
Specification languages
Specifications
Computer software
Linguistics
Linguistics
Mathematical models
description Scenario-based specifications are a popular means for describing intended system behaviour. We aim to facilitate early analysis of system behaviour and the development of behaviour models in conjunction with scenarios. In this paper we define a novel scenario-based specification language with an existential semantics and that supports conditional specification of behaviour in the form of prechart and main chart. The language semantics is consistent with existing informal scenario-based and use-case based approaches to requirements engineering. The language provides a good fit with universal live sequence charts as standard existential live sequence charts do not adequately support conditional scenarios. In addition, we define a novel synthesis algorithm that, rather than building arbitrarily one of the many behaviour models that satisfy a scenario, constructs a Modal Transition System (MTS) which characterizes all behaviour models that conform to the scenario. Copyright 2008 ACM.
author Sibay, Germán Emir
Braberman, Víctor Adrián
author_facet Sibay, Germán Emir
Braberman, Víctor Adrián
author_sort Sibay, Germán Emir
title Existential live sequence charts revisited
title_short Existential live sequence charts revisited
title_full Existential live sequence charts revisited
title_fullStr Existential live sequence charts revisited
title_full_unstemmed Existential live sequence charts revisited
title_sort existential live sequence charts revisited
publishDate 2008
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v_n_p41_Sibay
http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p41_Sibay
work_keys_str_mv AT sibaygermanemir existentiallivesequencechartsrevisited
AT brabermanvictoradrian existentiallivesequencechartsrevisited
_version_ 1768544909895139328

Ejemplares similares