Behavioral specification and analysis of object-oriented designs

Boumediene Belkhouche, Joel Wu

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


Formal specifications of design models and an automated analysis system are desirable regardless of the methodology employed in the development process. The object-oriented software development paradigm is being advocated as an effective software methodology. Yet, neither a design framework, nor a set of analysis tools has been proposed to support this claim. This research provides a basis to support 00 design specification and analysis. An object-oriented design language was defined in order to facilitate the formalization of design expressions. Structural, architectural and behavioral specifications of objects are formalized. The interactions of objects and their composition into larger systems are defined. The implementation of the language processor is described. The major tasks of the processor are syntactic and semantic analyses. An example is used to illustrate the nice properties the behavioral specifications enjoy.

Original languageEnglish
Pages (from-to)37-46
Number of pages10
JournalJOOP - Journal of Object-Oriented Programming
Issue number8
Publication statusPublished - Jan 1999
Externally publishedYes

ASJC Scopus subject areas

  • General Computer Science


Dive into the research topics of 'Behavioral specification and analysis of object-oriented designs'. Together they form a unique fingerprint.

Cite this