Affiliation:
1. University of Essex, UK
Abstract
We present LePUS, a formal language for modeling object oriented (O-O) Design patterns. We demonstrate the language’s unique efficacy in producing precise, concise, generic, and appropriately abstract specifications that effectively model the Gang of Four’s Design patterns. Mathematical logic is used as a main frame of reference: LePUS is defined as a subset of first-order predicate calculus and implementations (programs) are modeled as finite structures in model theory. We also demonstrate the conceptual framework in which the verification of implementations against pattern specifications is possible and our ongoing endeavour to develop effective tool support for LePUS.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Hybrid Approach for Mathematical Representation of Parallel Design;2024 5th International Conference for Emerging Technology (INCET);2024-05-24
2. Design Patterns Formal Composition and Analysis;International Journal of Information Technologies and Systems Approach;2019-07
3. Survey On Software Design-Pattern Specification Languages;ACM Computing Surveys;2016-07-28
4. Bibliography;From Action Systems to Distributed Systems;2016-04-20
5. Towards a Formalization of Real-Time Patterns-Based Designs;IFIP Advances in Information and Communication Technology;2015