A formal approach for specification and classification of software components
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Composing pattern-based components and verifying correctness
Journal of Systems and Software
Automated verification of security pattern compositions
Information and Software Technology
Taming distributed system complexity through formal patterns
Science of Computer Programming
Hi-index | 0.00 |
Software patterns such as gang-of-four (GOF) design patterns are a promising approach for developing software of high quality with less effort. To design larger and complicated software, we often combine design patterns into a larger one, and in this situation obtaining a consistent combination of patterns is important. More concretely, the techniques for checking if the combined patterns are consistently collaborated from a behavioral view is a crucial issue. We propose a technique to define the behavior of the design patterns based on the formal description technique LOTOS (Language of Temporal Ordering Specification). By executing the behavioral descriptions on a LOTOS simulator, we can check the behavioral consistency of the patterns. We also illustrate how our technique works well by using the combination of GOF composite and command patterns.