Class synthesis from role collaborations

ABSTRACT

In this paper, we advocate a use case based methodology for development of object oriented systems which give primacy to roles instead of class. We present an algorithm to synthesize partial collaborations between roles to obtain classes and interaction between them. It realizes temporal relations between roles by defining anonymous roles and its collaboration with other roles. During synthesis, the algorithm checks for the correctness of the partial collaborations with respect to contracts for events, and of synthesized collaboration with respect to pre, post and invariant conditions of the use case. A prototype tool has been implemented using AspectJ and GROOVE simulator to test the feasibility of the methodology

REFERENCES

• 1: The aspectj project. www.eclipse.org/aspectj/
• 2: T.S. Arend Rensink, Harmen Kastenberg. User manual for the groove tool set. Deptt. of Computer Science, University of Twente.
• 3: G. Naresh , B. D. Chaudhary, A Model for Temporal relations between Object Roles, Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods, p.100-107, September 11-15, 2006 [doi>10.1109/SEFM.2006.3]
• 4: Werner Damm , David Harel, LSCs: Breathing Life into Message Sequence Charts, Formal Methods in System Design, v.19 n.1, p.45-80, July 2001 [doi>10.1023/A:1011227529550]
• 5: A. Garcia, C. Chavez, U. Kulesza, and C. Lucena. Role aspect pattern. Tenth European Conference on Pattern Languages of Programs, 2005.
• 6: Georg Gottlob , Michael Schrefl , Brigitte Röck, Extending object-oriented systems with roles, ACM Transactions on Information Systems (TOIS), v.14 n.3, p.268-296, July 1996 [doi>10.1145/230538.230540]
• 7: K. B. Graversen. Role collaborations. Software Engineering Properties of Languages and Aspect Technologies Workshop, AOSD, 2004.
• 8: Elizabeth A. Kendall, Role model designs and implementations with aspect-oriented programming, Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.353-369, November 01-05, 1999, Denver, Colorado, United States
• 9: G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J. M. Loingtier, and J. Irwin. Aspect-oriented programming. In Proceedings European Conference on Object Oriented Programming, Springer-Verlag, 1241:220--242, 1997.
• 10: B. B. Kristensen. Object--oriented modeling with roles. Proceedings of the 2nd International Conference on Object-Oriented Information Systems, pages 57--71, 1996.
• 11: A. Kumar. Use case driven dynamic synthesis of objects from role collaborations. M.Tech Thesis, Motilal Nehru National Institute of Technology, India, July, 2007.
• 12: C. Larman. Applying UML and Patterns. Pearson Education, 2004.
• 13: J. MARKOVIÄR, Lubomi¿r SOCHOR. Objects with changeable roles. 3rd International Symposium on Distributed Objects and Applications -- Short Papers, pages 69--76, 2001.
• 14: B. Pernici. Objects with roles. pages 205--215, 1990.
• 15: A. Rensink. The groove simulator: A tool for state space generation. Springer Verlag, 3062/2004:479--485, 2004.
• 16: T. Richner and S. Ducasse. Iterative recovery of collaborations and roles in dynamically typed object-oriented languages. International Conference on Software Maintenance, October, 2002.
• 17: F. Sanen, E. Steegmans, N. Picard, W. Joosen, and T. Holvoet. Using roles and aspects for designing and implementing dynamic adaptations. Workshop on Views, Aspects and Roles at the 19th European Conference on Object-Oriented Programming, July 25-29, 2005.
• 18: Michael Schrefl , Thomas Thalhammer, Using roles in Java, Software—Practice & Experience, v.34 n.5, p.449-464, April 2004 [doi>10.1002/spe.v34:5]
• 19: Jun Sun , Jin Song Dong, Design Synthesis from Interaction and State-Based Specifications, IEEE Transactions on Software Engineering, v.32 n.6, p.349-364, June 2006 [doi>10.1109/TSE.2006.55]
• 20: Sebastian Uchitel , Jeff Kramer , Jeff Magee, Incremental elaboration of scenario-based specifications and behavior models using implied scenarios, ACM Transactions on Software Engineering and Methodology (TOSEM), v.13 n.1, p.37-85, January 2004 [doi>10.1145/1005561.1005563]
• 21: Michael VanHilst , David Notkin, Using role components in implement collaboration-based designs, Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.359-369, October 06-10, 1996, San Jose, California, United States

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: Object-oriented design methods

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications
          Subjects: Methodologies (e.g., object-oriented, structured)

General Terms:
Design, Verification

Keywords:
collaborations, consistency, roles, temporal relations