Formal specification of design pattern combination using BPSL |
| |
| Affiliation: | 1. Faculty of Information Technology, Multimedia University, Jalan Multimedia, 63100 Cyberjaya, Selangor, Malaysia;2. Faculty of Information Science and Technology, Multimedia University, Jalan Ayer Keroh Lama, 75450 Melaka, Malaysia;2. LETI, EHTP, Casablanca, Morocco;3. INSEA, Rabat, Morocco;1. Institute of Financial Mathematics and Financial Engineering, School of Science, Beijing Jiaotong University, Beijing 100044, PR China;2. Center for Polymer Studies and Department of Physics, Boston University, Boston, MA 02215, USA;1. Department of Electronics and Communication Engineering, SRM Institute of Science and Technology, SRM Nagar, Kattankulathur 603203, Kancheepuram, Chennai, TN, India;2. Department of Electrical and Electronics Engineering, SRM Institute of Science and Technology, SRM Nagar, Kattankulathur 603203, Kancheepuram, Chennai, TN, India;1. Department of Immunology, Hospital Clínico San Carlos, Madrid, Spain;2. Department of Autoimmune Diseases, Hospital Clínic, Insititut d’Investigacions Biomèdiques August Pi i Sunyer (IDIBAPS), University of Barcelona, Barcelona, Catalonia, Spain;3. Department of Immunology, Hospital 12 de Octubre, Healthcare Research Institute, Madrid, Spain |
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
