Name
Abstract | ||
|---|---|---|
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. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1007/s00450-012-0233-1 | Computer Science - R&D |
Keywords | Field | DocType |
partial behaviour model,incremental behaviour model elaboration,system behaviour,partial information,full behaviour information,behaviour validation,behaviour model construction,partial behaviour model analysis,behaviour modelling,traditional behaviour model,partial behaviour | Model synthesis,Control theory,Best practice,Iterative and incremental development,Stakeholder,Computer science,Operations research,Risk analysis (engineering),Thread (computing),Real-time computing,Software development process,Elaboration | Journal |
Volume | Issue | ISSN |
28 | 4 | 1865-2042 |
Citations | PageRank | References |
6 | 0.44 | 56 |
Authors | ||
12 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Sebastian Uchitel | 1 | 1662 | 103.25 |
| Dalal Alrajeh | 2 | 119 | 13.75 |
| Shoham Ben-David | 3 | 627 | 53.80 |
| V. Braberman | 4 | 347 | 15.31 |
| Marsha Chechik | 5 | 2287 | 138.57 |
| Guido de Caso | 6 | 77 | 7.18 |
| Nicolas D'Ippolito | 7 | 32 | 1.68 |
| Dario Fischbein | 8 | 147 | 5.78 |
| Diego Garbervetsky | 9 | 219 | 21.72 |
| Jeff Kramer | 10 | 7168 | 655.98 |
| Alessandra Russo | 11 | 1022 | 80.10 |
| German Sibay | 12 | 36 | 1.71 |