Generating Java Code from Design Patterns Formalized in BPSL

Abstract

Design patterns are typically described using informal notations which give rise to ambiguity and limit tool support. Balanced Pattern Specification Language (BPSL) is intended to formally specify patterns in order to allow rigorous reasoning about them and facilitate tool support. This work describes the design and development of a Java code generator from BPSL specification ofthe structural aspect of patterns. The tool first parses a BPSL specification in order to check its lexical, syntactic and semantic correctness, before generating a skeleton Java code.