TY - CHAP
T1 - Making Sense of Complex Applications
T2 - Constructive Design, Features, and Questions
AU - Margaria, Tiziana
N1 - Publisher Copyright:
© 2019, Springer Nature Switzerland AG.
PY - 2019
Y1 - 2019
N2 - We highlight how concepts of constructive design help in the comprehension of complex systems, using the history and evolution of the Online Conference Service (OCS) and its product line, including the Online Journal Service for journal management, as examples for the needs and solutions of how to master design of systems with complex behaviour. They nicely summarize over 20 years of evolution of one of the most exciting and long lived joint research streams with Bernhard Steffen and our research group. The constructive design concepts we found most useful include the use of features to make large and complex systems more manageable, properties to formulate behavioural requirements on the models’ functionality as well as policies and access rights, and the role of questions as model checking problems as well as test-driven exploration.
AB - We highlight how concepts of constructive design help in the comprehension of complex systems, using the history and evolution of the Online Conference Service (OCS) and its product line, including the Online Journal Service for journal management, as examples for the needs and solutions of how to master design of systems with complex behaviour. They nicely summarize over 20 years of evolution of one of the most exciting and long lived joint research streams with Bernhard Steffen and our research group. The constructive design concepts we found most useful include the use of features to make large and complex systems more manageable, properties to formulate behavioural requirements on the models’ functionality as well as policies and access rights, and the role of questions as model checking problems as well as test-driven exploration.
UR - http://www.scopus.com/inward/record.url?scp=85067915948&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-22348-9_9
DO - 10.1007/978-3-030-22348-9_9
M3 - Chapter
AN - SCOPUS:85067915948
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 129
EP - 148
BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PB - Springer Verlag
ER -