@inproceedings{e2ea75dbdf9b4ed5a20b7588a3eaa5aa,
title = "Constraints of behavioural inheritance",
abstract = "We present an approach to component inheritance and reuse which closes the gap between architectural design and process-oriented approaches. To apply inheritance checks in design and verification of a system, one should consider an inheritance relation as a property of the system and specify it as an inheritance constraint. To specify the inheritance constraints we offer a logic of behavioural inheritance. In a UML profile with the process tree semantics we show how to use this logic for architectural design and for verification with respect to the specified inheritance constraint.",
author = "E.E. Roubtsova and S.A. Roubtsov",
year = "2004",
doi = "10.1007/978-3-540-24769-2\_9",
language = "English",
isbn = "3-540-22000-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "115--134",
editor = "F. Oquendo and B. Warboys and R. Morrison",
booktitle = "Software Architecture (Proceedings First European Workshop, EWSA 2004, St. Andrews, UK, May 21-22, 2004)",
address = "Germany",
}