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.
|Number of pages||10|
|Journal||JOOP - Journal of Object-Oriented Programming|
|Publication status||Published - Jan 1 1999|
ASJC Scopus subject areas
- Computer Science(all)