Action Reification In Object Oriented Specification

TitleAction Reification In Object Oriented Specification
Publication TypeConference Paper
Year of Publication1995
Publicno
AuthorsDenker, G., and H. - D. Ehrich
Conference NameInformation Systems - Correctness and Reusability, Selected Papers from the IS-CORE Workshop
PublisherWorld Scientific
Abstract

Reification is a popular technique to reduce complexity of the software design process. This technique has to be re-investigated for the comprehensive object-oriented approach. Object-oriented specifications comprise structure and behavior of systems. Due to this sophisticated idea two kinds of reification appear: data reification and action reification. In this paper we present an approach to incorporate action reification in object-oriented specification. A logic is defined which serves as a domain to translate specifications. Moreover, we define a language for reification and formalize it with the logic. Interpretation structures of this logic are labelled event structures which are introduced briefly and satisfaction of formulas is defined. With an example we explain our ideas of correct reification and establish a reification condition. Finally, we show how data reification is uniformly included in our approach.

AttachmentSize
1995ISCORE.pdf1.04 MB