Elemental design patterns: A formal semantics for composition of OO software architecture

Proceedings - 27th Annual NASA Goddard / IEEE Software Engineering Workshop, SEW 2002

Volumn , Issue , 2003, Pages 183-190

  McC Smith, J ^a   Stotts, D ^a  

^a UNIVERSITY OF NORTH CAROLINA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; CALCULATIONS; CODES (SYMBOLS); COMPUTATIONAL LINGUISTICS; DESIGN; NASA; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SOFTWARE ARCHITECTURE; SOFTWARE ENGINEERING; TECHNICAL PRESENTATIONS;

CRITICAL LINKS; DESIGN PATTERNS; FORMAL ANALYSIS; FORMAL NOTATIONS; FORMAL SEMANTICS; FUTURE RESEARCH DIRECTIONS; IN COMPOSITIONS; PATTERN DESIGNS;

FORMAL METHODS;

EID: 84962769995     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEW.2002.1199472     Document Type: Conference Paper

References (33)

1. M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag New York, Inc., 1996.
2. C. W. Alexander. Notes on the Synthesis of Form. Oxford Univ Press, 1964. Fifteenth printing, 1999.
3. K. Beck. Smalltalk Best Practice Patterns. Prentice Hall, 1997.
4. J. Bosch. Design patterns as language constructs. Journal of Object Oriented Programming, 1(2):18-52, May 1998.
5. L. Briand and J. Daly. A unified framework for cohesion measurement in object-oriented systems. In Proc. of the Fourth Conf. on METRICS'97, pages 43-53, Nov. 1997.
6. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. Pattern-Oriented System Architecture: A System of Patterns. John Wiley & Sons, 1996.
7. S. R. Chidamber and C. F. Kemerer. A metrics suite for object oriented design. IEEE Transactions on Software Engineering, 20(6):476-493, June 1994. cohesion/LCOM.
8. J. Coplien. C++ idioms. In Proceedings of the Third European Conference on Pattern Languages of Programming and Computing, July 1998.
9. S. Demeyer, S. Ducasse, and O. Nierstrsz. Finding refactoring via change metrics. In Proceedings of the conference on Object-oriented programming, systems, languages, and applications, pages 166-177. ACM Press, nov 2000.
10. A. H. Eden. Precise Specification of Design Patterns and Tool Support in their Application. PhD thesis, Tel Aviv University, Tel Aviv, Israel, 1999. Dissertation Draft.
11. G. Florijn, M. Meijers, and P. van Winsen. Tool support for object-oriented patterns. In M. Askit and S. Matsuoka, editors, Proc. of the 11th European Conf. on Object Oriented Programming - ECOOP'97. Springer-Verlag, Berlin, 1997.
12. M. Fowler. Refactoring: Improving the Design of Existing Code. Addison-Wesley, 1999.
13. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison Wesley, 1995.
14. M. Hitz and B. Montazeri. Measuring coupling and cohesion in object-oriented systems. In Proceedings of ISACC'95, pages 10-21, Insitut für Angewandte Informatik und Informationssysteme, Uni versity of Vienna, Rathaustraße 1914, A-1010 Vienna, Austria, 1995.
15. B.-K. Kang and J. M. Bieman. Design-level cohesion measures: Derivation, comparison, and applications. In Proc. 20th Intl. Computer Software and Applications Conf. (COMPSAC'96), pages 92-97, Aug. 1996.
16. B.-K. Kang and J. M. Bieman. Using design cohesion to visualize, quantify and restructure software. In Eighth Int'l Conf. Software Eng. and Knowledge Eng., SEKE '96, June 1996.
17. S. Karstu. An examination of the behavior of slice-based cohesion measures. Master's thesis, Minnesota Technological University, 2999.
18. B. B. Kristensen. Complex associations: abstractions in object-oriented modeling. In Proc of the ninth annual conference on Object-oriented programming systems, language, and applications, pages 272-286. ACM Press, 1994.
19. S. Meyers. Effective C++. Addison-Wesley, 1992.
20. I. Moore. Automatic inheritance hierarchy restructuring and method refactoring. In Proc. of the eleventh annual conference on Object-oriented programming systems, languages, and applications, pages 235-250. ACM Press, 1996.
21. M. Ó Cinnéide. Automated Application of Design Patterns: A Refactoring Approach. Ph.D. dissertation, University of Dublin, Trinity College, 2001.
22. W. F. Opdyke and R. E. Johnson. Creating abstract super-classes by refactoring. In Proc. of the Conf. on 1993 ACM Computer Science, page 66, 1993. Feb 16-18, 1993.
23. L. M. Ott. Using slice profiles and metrics during software maintenance. In Proceedings of the 10th Annual Software Reliability Symposium, Denver, June 25-26, 1992, June 1992.
24. L. M. Ott and J. J. Thuss. Slice based metrics for estimating cohesion. In Proceedings of the IEEE-CS International Software Metrics Symposium, Baltimore, May 21-22 1993, May 1993.
25. W. Pree. Design Patterns for Object-Oriented Software Development. Addison-Wesley, 1994.
26. D. Riehle. Composite design patterns. In Proceedings of the 1997 ACM SIGPLAN conference on Object-oriented programming systems, languages and applications, pages 218-228. ACM Press, 1997.
27. M. H. Samadzadeh and S. J. Khan. Stability, coupling and cohesion of object-oriented software systems. In Proc. 22nd Ann. ACM Computer Science Conf. on Scaling Up, pages 312-319, Mar. 1994. Mar 8-10, 1994.
28. J. M. Smith and D. Stotts. Elemental design patterns: A link between architecture and object semantics. Technical Report TR-02-011, Univ. of North Carolina, 2002.
29. J. M. Smith and D. Stotts. Elemental design patterns: A logical inference system and theorem prover support for flexible discovery of design patterns. Technical Report TR-02-038, Univ. of North Carolina, 2002.
30. R. Stansifer. The Study of Programming Languages. Prentice Hall, 1995.
31. B. Woolf. The abstract class pattern. In N. Harrison, B. Foote, and H. Rohnert, editors, Pattern Languages of Program Design 4. Addison-Wesley, 1998.
32. B. Woolf. The object recursion pattern. In N. Harrison, B. Foote, and H. Rohnert, editors, Pattern Languages of Program Design 4. Addison-Wesley, 1998.
33. W. Zimmer. Relationships between design patterns. In J. O. Coplien and D. C. Schmidt, editors, Pattern Languages of Program Design, pages 345-364. Addison-Wesley, 1995.