Logo
LogoUniGeSES

ASG list of publications

Citation

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

Abstract

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.

Bibtex

@unpublished{Papa92a,
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.