Formal specification of design pattern combination using BPSL
Pattern users are faced with difficulties in understanding when and how to use the increasing number of available design patterns due the inherent ambiguity in the existing means (textual and graphical) of describing them. Since patterns are seldom used in isolation but are usually combined to solve...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
2003
|
| Subjects: | |
| Online Access: | http://shdl.mmu.edu.my/2578/ http://shdl.mmu.edu.my/2578/1/1838.pdf |
| _version_ | 1848790093094977536 |
|---|---|
| author | Taibi, T |
| author_facet | Taibi, T |
| author_sort | Taibi, T |
| building | MMU Institutional Repository |
| collection | Online Access |
| description | Pattern users are faced with difficulties in understanding when and how to use the increasing number of available design patterns due the inherent ambiguity in the existing means (textual and graphical) of describing them. Since patterns are seldom used in isolation but are usually combined to solve complex problems, the above-mentioned difficulties have even worsen.
Hence, there is an appealing need to introduce formalism to accurately describe patterns and pattern combination to allow rigorous reasoning about them. The main problem of existing formal specification languages for design patterns is lack of completeness. This is mainly due either because they were not originally conceived to specify design patterns and have been adapted to do so, or they tend to focus on specifying either the structural or behavioral aspect of design patterns but not both of them. Moreover, only few of them venture in specifying design pattern combination.
We propose a simple yet Balanced Pattern Specification Language that is aimed to achieve equilibrium by specifying the structural as well as behavioral aspects of design patterns. This is achieved by combining two subsets of logic one from First Order Logic and one from Temporal Logic of Actions. Moreover it can be used to formally specify pattern combination. (C) 2002 Elsevier Science B.V. All rights reserved. |
| first_indexed | 2025-11-14T18:07:08Z |
| format | Article |
| id | mmu-2578 |
| institution | Multimedia University |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-14T18:07:08Z |
| publishDate | 2003 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | mmu-25782014-02-06T03:43:53Z http://shdl.mmu.edu.my/2578/ Formal specification of design pattern combination using BPSL Taibi, T QA75.5-76.95 Electronic computers. Computer science Pattern users are faced with difficulties in understanding when and how to use the increasing number of available design patterns due the inherent ambiguity in the existing means (textual and graphical) of describing them. Since patterns are seldom used in isolation but are usually combined to solve complex problems, the above-mentioned difficulties have even worsen. Hence, there is an appealing need to introduce formalism to accurately describe patterns and pattern combination to allow rigorous reasoning about them. The main problem of existing formal specification languages for design patterns is lack of completeness. This is mainly due either because they were not originally conceived to specify design patterns and have been adapted to do so, or they tend to focus on specifying either the structural or behavioral aspect of design patterns but not both of them. Moreover, only few of them venture in specifying design pattern combination. We propose a simple yet Balanced Pattern Specification Language that is aimed to achieve equilibrium by specifying the structural as well as behavioral aspects of design patterns. This is achieved by combining two subsets of logic one from First Order Logic and one from Temporal Logic of Actions. Moreover it can be used to formally specify pattern combination. (C) 2002 Elsevier Science B.V. All rights reserved. 2003-03 Article NonPeerReviewed text en http://shdl.mmu.edu.my/2578/1/1838.pdf Taibi, T (2003) Formal specification of design pattern combination using BPSL. Information and Software Technology, 45 (3). pp. 157-170. ISSN 09505849 http://dx.doi.org/10.1016/S0950-5849(02)000195-7 doi:10.1016/S0950-5849(02)000195-7 doi:10.1016/S0950-5849(02)000195-7 |
| spellingShingle | QA75.5-76.95 Electronic computers. Computer science Taibi, T Formal specification of design pattern combination using BPSL |
| title | Formal specification of design pattern combination using BPSL |
| title_full | Formal specification of design pattern combination using BPSL |
| title_fullStr | Formal specification of design pattern combination using BPSL |
| title_full_unstemmed | Formal specification of design pattern combination using BPSL |
| title_short | Formal specification of design pattern combination using BPSL |
| title_sort | formal specification of design pattern combination using bpsl |
| topic | QA75.5-76.95 Electronic computers. Computer science |
| url | http://shdl.mmu.edu.my/2578/ http://shdl.mmu.edu.my/2578/ http://shdl.mmu.edu.my/2578/ http://shdl.mmu.edu.my/2578/1/1838.pdf |