A formal model of design-patterns based design

Authors:
Pushpendra B. Singh;Banshi D. Chaudhary
Affiliations:
Motilal Nehru National Institute of Technology, Allahabad, India;Motilal Nehru National Institute of Technology, Allahabad, India
Venue:
Proceedings of the 2nd India software engineering conference
Year:
2009

Citing 6
Cited 0

Communicating sequential processes

Communicating sequential processes
Responsibilities and Rewards: Specifying Design Patterns

Proceedings of the 26th International Conference on Software Engineering
A Model Transformation Approach for Design Pattern Evolutions

ECBS '06 Proceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems
Composing pattern-based components and verifying correctness

Journal of Systems and Software
Formal Specification of Design Patterns and Their Instances

AICCSA '06 Proceedings of the IEEE International Conference on Computer Systems and Applications
Structural Formalization of Design-Pattern Based Software Design

ICDS '09 Proceedings of the 2009 Third International Conference on Digital Society

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present a formal model to represents pattern-based design of an application. We represent Design-patterns in form of their Structural, Behavioral and Contractual aspect. We have modeled design in terms of Design-patterns, their Instances, Glue: additional code required to bind patterns together in the design, Operators: instantiation, evolution and composition and their required Parameter-Sets.