DocumentCode
3387655
Title
Generating Java Code from Design Patterns Formalized in BPSL
Author
Taibi, Toufik ; Mkadmi, Taieb
Author_Institution
Coll. of Inf. Technol., United Arab Emirates Univ., Al Ain
fYear
2006
fDate
Nov. 2006
Firstpage
1
Lastpage
5
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 of the 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
Keywords
Java; object-oriented programming; specification languages; Java code; Java-based lexer; balanced pattern specification language; object oriented programming; Character generation; Design methodology; Educational institutions; Java; Logic; Skeleton; Software quality; Specification languages; BPSL; CUP; JLex; lexer; parser;
fLanguage
English
Publisher
ieee
Conference_Titel
Innovations in Information Technology, 2006
Conference_Location
Dubai
Print_ISBN
1-4244-0674-9
Electronic_ISBN
1-4244-0674-9
Type
conf
DOI
10.1109/INNOVATIONS.2006.301944
Filename
4085459
Link To Document