Formalizing design patterns
- 27 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 115-124
- https://doi.org/10.1109/icse.1998.671108
Abstract
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.Keywords
This publication has 9 references indexed in Scilit:
- Fundamentals of Object-Oriented Specification and Modeling of Collective BehaviorsPublished by Springer Nature ,2007
- A graphical tool for specification of reactive systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Object-oriented specification of reactive systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Verification of reactive systems using DisCo and PVSPublished by Springer Nature ,1997
- The temporal logic of actionsACM Transactions on Programming Languages and Systems, 1994
- Design Patterns: Abstraction and Reuse of Object-Oriented DesignPublished by Springer Nature ,1993
- The role of formal reusable frameworksACM SIGSOFT Software Engineering Notes, 1990
- Decentralization of process nets with centralized controlDistributed Computing, 1989
- Program SlicingIEEE Transactions on Software Engineering, 1984