ASG list of publications


Michael Papathomas, "Behaviour Compatibility and Specification for Active Objects", July, 1992


For taking advantage of object-oriented programming features such as data-abstraction, late binding, type polymorphism and inheritance for software reuse, it is essential to have a precise understanding of whether or not classes providing similar functionality are interchangeable within programs and to be able to determine and state what are the behavioural constraints to be met by a class implementation. We discuss the importance of these issues in the context of concurrent programs where determining substitutability of classes may be extremely complex, and discuss the use of process calculi for modelling object-behaviours and investigating behaviour compatibility between classes. We then identify some issues that should be addressed by such models and discuss directions for further investigation of these issues.


Author = "Michael Papathomas",
Title = "Behaviour Compatibility and Specification for Active Objects",
Key = "olit pcalc osg-ftp tr92",
Notes = "",
Month = "July",
Year = "1992"
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.