Making Sense of Complex Applications: Constructive Design, Features, and Questions

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Abstract

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.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages129-148
Number of pages20
DOIs
Publication statusPublished - 2019

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11200 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Dive into the research topics of 'Making Sense of Complex Applications: Constructive Design, Features, and Questions'. Together they form a unique fingerprint.

Cite this