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...
| Autores principales: | , , |
|---|---|
| Formato: | CONF |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p41_Sibay |
| Aporte de: |
| id |
todo:paper_02705257_v_n_p41_Sibay |
|---|---|
| record_format |
dspace |
| spelling |
todo:paper_02705257_v_n_p41_Sibay2023-10-03T15:14:31Z Existential live sequence charts revisited Sibay, G. Uchitel, S. Braberman, V. 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. CONF info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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, G. Uchitel, S. Braberman, V. 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. |
| format |
CONF |
| author |
Sibay, G. Uchitel, S. Braberman, V. |
| author_facet |
Sibay, G. Uchitel, S. Braberman, V. |
| author_sort |
Sibay, G. |
| 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 |
| url |
http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p41_Sibay |
| work_keys_str_mv |
AT sibayg existentiallivesequencechartsrevisited AT uchitels existentiallivesequencechartsrevisited AT brabermanv existentiallivesequencechartsrevisited |
| _version_ |
1807319170912616448 |