Automated generation of monitors for pattern contracts

Proceedings of the ACM Symposium on Applied Computing

Volumn 2, Issue , 2006, Pages 1779-1784

  Tyler, Benjamin ^a   Hallstrom, Jason O ^b   Soundarajan, Neelam ^a  

^a OHIO STATE UNIVERSITY   (United States)

^b Clemson University   (United States)

Author keywords

Aspects; Contracts; Design patterns; Monitoring; Specification

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONTRACTS; INFORMATION RETRIEVAL; MATHEMATICAL MODELS;

PATTERN CHARACTERIZATIONS; PATTERN REQUIREMENTS;

SYSTEMS ANALYSIS;

EID: 33751069786     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1141277.1141695     Document Type: Conference Paper

References (18)

1. L. Burdy et al. An overview of JML tools and applications. STTT, 2005. (to appear).
2. F. Buschmann et al. Pattern-Oriented Software Architecture: A System of Patterns. Wiley, 1996.
3. A. Eden. Formal specification of object-oriented design. In Proc., CSME-MDE, 2001.
4. A. Eden. A visual formalism for object-oriented architecture. In Proc., IDPT, 2002.
5. E. Gamma et al. Design Patterns: Elements of Reusable OO Software. Addison-Wesley, 1995.
6. T. Gibbs and B. Malloy. Weaving aspects into C++ applications for validation of temporal invariants. In Proc., CSMR, pages 249-258, 2003.
7. R. Helm et al. Contracts: Specifying behavioral compositions in object-oriented systems. In Proc., OOPSLA-ECOOP, pages 169-180, 1990.
8. G. Kiczales et al. An overview of AspectJ. In Proc., ECOOP, pages 327-353, 2001.
9. M. Lippert and C. Lopes. A study on exception detection and handling using aspect-oriented programming. In Proc., ICSE, pages 418-427, 2000.
10. B. Meyer. Object-Oriented Software Construction. Prentice Hall, 1988.
11. T. Mikkonen. Formalizing design patterns. In Proc., ICSE, pages 115-124, 1998.
12. D. Riehle. Composite design patterns. In Proc., OOPSLA, pages 218-228, 1997.
13. D. Riehle and H. Zullighoven. Understanding and using patterns in software development. TAPOS, 2(1):3-13, 1996.
14. D. Rosenblum. A practical approach to programming with assertions. IEEE TSE, 21(1):19-31, 1995.
15. D. Schmidt et al. Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects. Wiley, 1996.
16. N. Soundarajan and J. Hallstrom. Responsibilities and rewards: Specifying design patterns. In Proc., ICSE, pages 666-675, 2004.
17. N. Soundarajan et al. Specifying and monitoring design pattern contracts. In Proc. SAVCBS (ICSE) Workshop, pages 87-94, 2004.
18. B. Tyler et al. MonGen: Monitor generator for pattern contracts, www.cse.ohio-state.edu/~tyler/MonGen.