@inbook{ba804afc830441da8d82749fb0924647,
title = "Model generation for legacy systems",
abstract = "We propose the use of (semi-) automatically extrapolated models as a means for coping with legacy systems: a focused way of testing systems for their behavioral properties allows the construction of expressive behavioral hypothesis models, and therefore extends the range of formal methods to 'black box' scenarios, which are dominant in industrial practice. Keeping these models up to date by continuous adaptation may provide an ideal way for controlling the evolution of large systems during their whole life cycles. Bottleneck of this approach is the size of the extrapolated models: particularly for distributed systems the state explosion problem strikes back. This paper focusses on a particularly promising cure: view-oriented model construction allows a new way of size control that complements other powerful techniques, which together have the potential to scale to systems of realistic size. This is illustrated by considering small instance views in the context of Computer Telephony Integrated Systems.",
author = "Hardi Hungar and Tiziana Margaria and Bernhard Steffen",
year = "2004",
doi = "10.1007/978-3-540-24626-8_11",
language = "English",
isbn = "3540211799",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "167--183",
editor = "Martin Wirsing and Alexander Knapp and Simonetta Balsamo",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
}