Behavior modeling of object-oriented distributed systems

The object oriented approach has emerged as the dominant perspective of software engineering research. Object oriented models provide a powerful tool for specifying requirements and developing solutions of real world problems. Although a wide variety of constructs have been proposed in the literature for object oriented modeling, there has not been much work on extending these models for distributed applications. The paper identifies the requirements and issues of modeling the behavior of an object oriented distributed system and presents an analysis of the behavior modeling techniques. We propose a unifying framework called hierarchical sequences of events, for distributed behavior modeling. Our approach is to investigate the requirements of distributed applications and enrich existing object oriented models with structural end behavior modeling primitives and constructs for distributed systems. More specifically, we identify new attributes and properties of individual objects and extend the existing event based behavior modeling constructs to accommodate the modeling requirements of distributed systems.

[1]  Gordon S. Blair,et al.  What are object-oriented systems? , 1991 .

[2]  Ian J. Walker Requirements of an object-oriented design method , 1992, Softw. Eng. J..

[3]  Wei-Tek Tsai,et al.  Method Sequence Specification and Verification of Classes , 1994, Journal of object-oriented programming.

[4]  Daniel S. Yeung,et al.  Behavioural modelling in object-oriented methodology , 1996, Inf. Softw. Technol..

[5]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[6]  Grady Booch,et al.  Object-Oriented Design with Applications , 1990 .

[7]  Grady Booch,et al.  Object-oriented development , 1986, IEEE Transactions on Software Engineering.

[8]  Simon J. Gibbs,et al.  Active Objects: Ealities and Possibilities , 1989, Object-Oriented Concepts, Databases, and Applications.

[9]  Gary T. Leavens Modular specification and verification of object-oriented programs , 1991, IEEE Software.

[10]  Subodh Bapat Object-oriented networks , 1994 .

[11]  Colin Smythe,et al.  A Review of Object-oriented Approaches in Formal Methods , 1995, Comput. J..

[12]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.