Specification Patterns

 Abstract

The software design patterns (Design Patterns) are considered since the 90s, as the ideal solution for the construction of computer applications, in this sense, under a general approach, reusable and with the potential to be applied to different problems of computer science nature, is shown as the most favorable solution when designing software, it is mainly templates, which help us to identify potential situations of failure in software design, likewise, provide solutions to general and specific problems faced by programmers during the phases of software development.

Key words

Linear Temporal Logic (LTL), Pattern Design, Formal Methods, Temporal Logic.

Context

In the 1990s, four great thinkers (Erich Gamma, Richard Helm, Ralph Johnson and John Vlissides), known as the Gang of Four (GoF), came together and published a book entitled "Design Patterns: Elements of Reusable Object-Oriented Software", in which they proposed the need to incorporate reusable object-oriented software elements.

This led to the initiation of the design pattern concept in software development, which includes 23 common design patterns. Each of them defines the solution to solve a given problem, facilitating the reuse of source code, Wikipedia (2022).

According to Rodríguez Cruz Abeyro, A. J. (2020), the constant growth of the information technology sector has led to the evolution of software development practices. Previously, all software was required to be completed before testing, which meant encountering programming and design problems.

To mitigate such situations, which in turn lead to high costs in time and in returning to development stages once it has been completed, a practice currently known as Testing was introduced during the development phase.

This practice is used to identify error conditions and problems in the code, which may not be evident during the execution of the application. Relying on verification patterns and error detection through models and techniques, procedural, which ultimately make the design patterns help you to be sure of the validity of our code.

In this sense, design patterns based on linear temporal logic (LTL or PLTL), have time as a base model, they are considered as a numerable set of instances organized in a linear way, easy to debug and decompose, the LTL temporal logic is considered clear and intuitive (Vardi 2001), for the description of processes in a natural and understandable way.

Considering that each pattern is considered a time scope, they seek to relate each problem from a conceptual logical point of view, which allows to diagram such situations in a predetermined way, and with moderately pre-established solutions, which allow to have an initial framework for the detection of possible causes, effects and potential solutions.

Conclusions

Design patterns have been the most versatile tools when developing computer applications. Likewise, their incorporation as software construction patterns in Linear Temporal Logic (LTL) provides programmers with an important programming tool, since they facilitate the understanding of the input and output processes in a system and help mitigate the risk of potential errors during the development of the systems.

Bibliography

• Rosales Morales, V. Y., Alor-Hernández, G., & Mejia-Miranda, J. (2017). "Development of a software platform for code generation for multi-device applications from image processing" (Doctoral dissertation, Instituto Tecnológico de Orizaba).
• Rodríguez Cruz Abeyro, A. J. (2020). Pattern detection in gaze using model checking (Doctoral dissertation, Universidad Veracruzana. Faculty of Statistics and Informatics. Xalapa Region).
• Muñoz Gutierrez, C. (2000). Non-Classical Logics. Apunte de Cátedra, Lógica y Computación, Departamento de Lógica y Filosofía de la Ciencia, Universidad Complutense de Madrid, Spain.