Welcome to the InfoSci Platform
Precision, Flexibility, and Tool Support: Essential Elements of Pattern Formalization

Precision, Flexibility, and Tool Support: Essential Elements of Pattern Formalization

Neelam Soundarajan, Jason O. Hallstrom
Copyright: © 2007 |Pages: 22
ISBN13: 9781599042190|ISBN10: 1599042193|ISBN13 Softcover: 9781616927721|EISBN13: 9781599042213
DOI: 10.4018/978-1-59904-219-0.ch013
Cite Chapter Cite Chapter

MLA

Soundarajan, Neelam, and Jason O. Hallstrom. "Precision, Flexibility, and Tool Support: Essential Elements of Pattern Formalization." Design Pattern Formalization Techniques, edited by Toufik Taibi, IGI Global, 2007, pp. 280-301. https://doi.org/10.4018/978-1-59904-219-0.ch013

APA

Soundarajan, N. & Hallstrom, J. O. (2007). Precision, Flexibility, and Tool Support: Essential Elements of Pattern Formalization. In T. Taibi (Ed.), Design Pattern Formalization Techniques (pp. 280-301). IGI Global. https://doi.org/10.4018/978-1-59904-219-0.ch013

Chicago

Soundarajan, Neelam, and Jason O. Hallstrom. "Precision, Flexibility, and Tool Support: Essential Elements of Pattern Formalization." In Design Pattern Formalization Techniques, edited by Toufik Taibi, 280-301. Hershey, PA: IGI Global, 2007. https://doi.org/10.4018/978-1-59904-219-0.ch013

Export Reference

Mendeley
Favorite

Abstract

There are two important requirements that any approach to formalizing Design patterns must meet. First, the approach must enable the precise specification of the implementation requirements and behavioral guarantees associated with a wide range of patterns. Second, the formalization of each pattern must retain the pattern’s inherent flexibility. In this chapter, we present a novel approach to formalizing Design patterns that satisfies these seemingly conflicting requirements. For the formalism to be of practical value, we also need tools that can assist practitioners in determining whether the patterns used in designing their systems have been implemented correctly. Such tools are especially important during system maintenance and evolution to ensure that the design integrity of a system is not compromised. We show how our approach lends itself to the construction of such tools.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.