Cited By
View all- Singh PChaudhary B(2009)Structural Formalization of Design-Pattern Based Software DesignProceedings of the 2009 Third International Conference on Digital Society10.1109/ICDS.2009.51(283-288)Online publication date: 1-Feb-2009
A formal model of design-patterns based design
Pages 135 - 136
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.
References
[1]
C.A.R.Hoare. Communicating Sequential Process. Prentice-Hall of India Pvt Ltd, New Delhi, 1989.
[2]
J. Dong, P. S. C. Alencar, D. D. Cowan, and S. Yang. Composing pattern-based components and verifying correctness. Journal of Systems and Software, 80(11):1755--1769, 2007.
[3]
J. Dong, S. Yang, and K. Zhang. A model transformation approach for design pattern evolutions. In ECBS, 2006.
[4]
P. B. Singh. A formal model of pattern-based design. Master's thesis, Motilal Nehru National Institute of Technology, Allahabad, India, August 2008.
[5]
P. B. Singh and B. D. Chaudhary. Structural formalization of design-pattern based software design. In ICDS '09: Proceedings of the 3rd International Conference on Digital Society, Cancun, Mexico, 2009. IEEE Computer Society {In press}.
[6]
N. Soundarajan and J. O. Hallstrom. Responsibilities and rewards: Specifying design patterns. In ICSE '04: Proceedings of the 26th International Conference on Software Engineering, pages 666--675, Washington, DC, USA, 2004.
[7]
N. Soundarajan, J. O. Hallstrom, G. Shu, and A. Delibas. Patterns: from system design to software testing. Innovations in Systems and Software Engineering., 4(1):71--85, April, 2008.
[8]
T. Taibi. Formalising design patterns composition. Software, IEE Proceedings, 153(3):127--136, June 2006.
[9]
T. Taibi and F. Taibi. Formal specification of design patterns and their instances. IEEE International Conference on Computer Systems and Applications, 2006, pages 33--36, 8, 2006.
Index Terms
- A formal model of design-patterns based design
Recommendations
On the Composition of Design Patterns
QSIC '08: Proceedings of the 2008 The Eighth International Conference on Quality SoftwareDesign patterns are usually applied in a composed form with each other. It is crucial to be able to formally reason about how patterns can be composed and to prove the properties of composed patterns. Based on our previous work on formal specification ...
A formal model for verifying compound design patterns
SEKE '02: Proceedings of the 14th international conference on Software engineering and knowledge engineeringObject-oriented design patterns commonly "work together", and many such combinations of patterns are identified as related patterns for each given pattern in the standard GoF pattern catalogue [?] while other combinations, such as the Template Method-...
Formal specification of the variants and behavioural features of design patterns
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying patterns, eliminate ambiguity and thereby lay a solid foundation for tool ...
Comments
Information & Contributors
Information
Published In
February 2009
154 pages
ISBN:9781605584263
DOI:10.1145/1506216
- General Chair:
- Kiran Deshpande,
- Program Chairs:
- Pankaj Jalote,
- Sriram Rajamani
Copyright © 2009 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 23 February 2009
Check for updates
Author Tags
Qualifiers
- Poster
Conference
Acceptance Rates
Overall Acceptance Rate 76 of 315 submissions, 24%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 280Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 10 Aug 2024
Other Metrics
Citations
Cited By
View all- Singh PChaudhary B(2009)Structural Formalization of Design-Pattern Based Software DesignProceedings of the 2009 Third International Conference on Digital Society10.1109/ICDS.2009.51(283-288)Online publication date: 1-Feb-2009
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in