Supporting incremental behaviour model elaboration
Behaviour model construction remains a difficult and labour intensive task which hinders the adoption of model-based methods by practitioners. We believe one reason for this is the mismatch between traditional approaches and current software development process best practices which include iterative...
Guardado en:
| Autores principales: | , , , , , , , , , , , |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_18652034_v28_n4_p279_Uchitel |
| Aporte de: |
| id |
todo:paper_18652034_v28_n4_p279_Uchitel |
|---|---|
| record_format |
dspace |
| spelling |
todo:paper_18652034_v28_n4_p279_Uchitel2023-10-03T16:33:37Z Supporting incremental behaviour model elaboration Uchitel, S. Alrajeh, D. Ben-David, S. Braberman, V. Chechik, M. De Caso, G. D'Ippolito, N. Fischbein, D. Garbervetsky, D. Kramer, J. Russo, A. Sibay, G. Partial behaviour modelling Behaviour modelling Controller synthesis Iterative development Modelling and analysis Software development process Techniques and tools Traditional approaches Verification techniques Software engineering Iterative methods Behaviour model construction remains a difficult and labour intensive task which hinders the adoption of model-based methods by practitioners. We believe one reason for this is the mismatch between traditional approaches and current software development process best practices which include iterative development, adoption of use-case and scenario-based techniques and viewpoint- or stakeholder-based analysis; practices which require modelling and analysis in the presence of partial information about system behaviour. Our objective is to address the limitations of behaviour modelling and analysis by shifting the focus from traditional behaviour models and verification techniques that require full behaviour information to partial behaviour models and analysis techniques, that drive model elaboration rather than asserting adequacy. We aim to develop sound theory, techniques and tools that facilitate the construction of partial behaviour models through model synthesis, enable partial behaviour model analysis and provide feedback that prompts incremental elaboration of partial models. In this paper we present how the different research threads that we have and currently are developing help pursue this vision as part of the "Partial Behaviour Modelling - Foundations for Iterative Model Based Software Engineering" Starting Grant funded by the ERC. We cover partial behaviour modelling theory and construction, controller synthesis, automated diagnosis and refinement, and behaviour validation. © 2012 Springer-Verlag Berlin Heidelberg. Fil:Braberman, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:De Caso, G. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Fischbein, D. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Garbervetsky, D. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Sibay, G. 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_18652034_v28_n4_p279_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 |
Partial behaviour modelling Behaviour modelling Controller synthesis Iterative development Modelling and analysis Software development process Techniques and tools Traditional approaches Verification techniques Software engineering Iterative methods |
| spellingShingle |
Partial behaviour modelling Behaviour modelling Controller synthesis Iterative development Modelling and analysis Software development process Techniques and tools Traditional approaches Verification techniques Software engineering Iterative methods Uchitel, S. Alrajeh, D. Ben-David, S. Braberman, V. Chechik, M. De Caso, G. D'Ippolito, N. Fischbein, D. Garbervetsky, D. Kramer, J. Russo, A. Sibay, G. Supporting incremental behaviour model elaboration |
| topic_facet |
Partial behaviour modelling Behaviour modelling Controller synthesis Iterative development Modelling and analysis Software development process Techniques and tools Traditional approaches Verification techniques Software engineering Iterative methods |
| description |
Behaviour model construction remains a difficult and labour intensive task which hinders the adoption of model-based methods by practitioners. We believe one reason for this is the mismatch between traditional approaches and current software development process best practices which include iterative development, adoption of use-case and scenario-based techniques and viewpoint- or stakeholder-based analysis; practices which require modelling and analysis in the presence of partial information about system behaviour. Our objective is to address the limitations of behaviour modelling and analysis by shifting the focus from traditional behaviour models and verification techniques that require full behaviour information to partial behaviour models and analysis techniques, that drive model elaboration rather than asserting adequacy. We aim to develop sound theory, techniques and tools that facilitate the construction of partial behaviour models through model synthesis, enable partial behaviour model analysis and provide feedback that prompts incremental elaboration of partial models. In this paper we present how the different research threads that we have and currently are developing help pursue this vision as part of the "Partial Behaviour Modelling - Foundations for Iterative Model Based Software Engineering" Starting Grant funded by the ERC. We cover partial behaviour modelling theory and construction, controller synthesis, automated diagnosis and refinement, and behaviour validation. © 2012 Springer-Verlag Berlin Heidelberg. |
| format |
JOUR |
| author |
Uchitel, S. Alrajeh, D. Ben-David, S. Braberman, V. Chechik, M. De Caso, G. D'Ippolito, N. Fischbein, D. Garbervetsky, D. Kramer, J. Russo, A. Sibay, G. |
| author_facet |
Uchitel, S. Alrajeh, D. Ben-David, S. Braberman, V. Chechik, M. De Caso, G. D'Ippolito, N. Fischbein, D. Garbervetsky, D. Kramer, J. Russo, A. Sibay, G. |
| author_sort |
Uchitel, S. |
| title |
Supporting incremental behaviour model elaboration |
| title_short |
Supporting incremental behaviour model elaboration |
| title_full |
Supporting incremental behaviour model elaboration |
| title_fullStr |
Supporting incremental behaviour model elaboration |
| title_full_unstemmed |
Supporting incremental behaviour model elaboration |
| title_sort |
supporting incremental behaviour model elaboration |
| url |
http://hdl.handle.net/20.500.12110/paper_18652034_v28_n4_p279_Uchitel |
| work_keys_str_mv |
AT uchitels supportingincrementalbehaviourmodelelaboration AT alrajehd supportingincrementalbehaviourmodelelaboration AT bendavids supportingincrementalbehaviourmodelelaboration AT brabermanv supportingincrementalbehaviourmodelelaboration AT chechikm supportingincrementalbehaviourmodelelaboration AT decasog supportingincrementalbehaviourmodelelaboration AT dippoliton supportingincrementalbehaviourmodelelaboration AT fischbeind supportingincrementalbehaviourmodelelaboration AT garbervetskyd supportingincrementalbehaviourmodelelaboration AT kramerj supportingincrementalbehaviourmodelelaboration AT russoa supportingincrementalbehaviourmodelelaboration AT sibayg supportingincrementalbehaviourmodelelaboration |
| _version_ |
1807323550191714304 |