Constraints of Behavioural Inheritance

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.

• Type: Conference
• Year: 2004
• Where: EWSA
• Authors: Ella E. Roubtsova, Serguei A. Roubtsov
• Keywords: EWSA 2004, Inheritance Checks, Inheritance Constraint, Inheritance Relation