DocumentCode :
3718728
Title :
Design Patterns for Models of Interactive Systems
Author :
Judy Bowen;Steve Reeves
Author_Institution :
Dept. of Comput. Sci., Univ. of Waikato, Hamilton, New Zealand
fYear :
2015
Firstpage :
223
Lastpage :
232
Abstract :
Building models of safety-critical interactive systems (in healthcare, transport, avionics and finance, to name but a few) as part of the design process is essential. It is also advised for non-safety critical interactive systems if we want to be certain they will behave as intended in all circumstances. However, modelling interactive systems is also challenging. The levels of complexity in modern user interfaces and the wealth of interaction possibilities means that modelling at a suitable level of abstraction is crucial to ensure our models remain reasonably sized, readable, and therefore usable. The decisions we make about how to abstract the system to retain enough detail to be able to reason about it without running into known modelling problems (state-explosion, verbosity, unread ability) are complex, even for experienced modellers. We have identified a number of commonly seen problems in such models based on occurrences of common properties of interactive systems, and in order to help both experienced and novice modellers we propose model-patterns as a solution to this.
Keywords :
"Interactive systems","Grammar","Object oriented modeling","Concrete","Computational modeling","Syntactics","Software engineering"
Publisher :
ieee
Conference_Titel :
Software Engineering Conference (ASWEC), 2015 24th Australasian
ISSN :
1530-0803
Type :
conf
DOI :
10.1109/ASWEC.2015.30
Filename :
7365811
Link To Document :
بازگشت