Formalizing design patterns

Design patterns facilitate reuse of good design practices. They are typically given by using conventional notations that lack well-defined semantics and, therefore reasoning about their behaviors requires formalization. Even when formalized, conventional communication abstractions may lead to too la...

Full description

Saved in:
Bibliographic Details
Published inProceedings / International Conference on Software Engineering pp. 115 - 124
Main Author Mikkonen, T.
Format Conference Proceeding Journal Article
LanguageEnglish
Published IEEE 1998
Subjects
Concrete
Context
Design methodology
Formal specifications
Laboratories
Process design
Skeleton
Software engineering
Software systems
Writing
Online AccessGet full text

Cover

More Information
Summary:Design patterns facilitate reuse of good design practices. They are typically given by using conventional notations that lack well-defined semantics and, therefore reasoning about their behaviors requires formalization. Even when formalized, conventional communication abstractions may lead to too laborious formalizations when addressing the temporal behavior of a pattern as a whole instead of behaviors local to its components. We show that rigorous reasoning can be eased by formalizing temporal behaviors of patterns in terms of high-level abstractions of communication, and that by using property-preserving refinements, specifications can be naturally composed by using patterns as building blocks.
Bibliography:SourceType-Scholarly Journals-2
ObjectType-Feature-2
ObjectType-Conference Paper-1
content type line 23
SourceType-Conference Papers & Proceedings-1
ObjectType-Article-3
ISBN:0818683686
9780818683688
ISSN:0270-5257
1558-1225
DOI:10.1109/ICSE.1998.671108