论文信息 - Generating Java Code from Design Patterns Formalized in BPSL

Generating Java Code from Design Patterns Formalized in BPSL

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

T. Taibi | T. Mkadmi

[1] Jon Barwise,et al. An Introduction to First-Order Logic , 1977 .

[2] Friedrich L. Bauer,et al. Report on the algorithmic language ALGOL 60 , 1960, Commun. ACM.

[3] Charles N. Fischer,et al. Crafting a Compiler , 1988 .

[4] Ivar Jacobson,et al. The unified modeling language reference manual , 2010 .

[5] Toufik Taibi,et al. Formalising design patterns composition , 2006, IEE Proc. Softw..

[6] Friedrich L. Bauer,et al. Revised report on the algorithm language ALGOL 60 , 1963, CACM.

[7] John McCarthy,et al. Recursive functions of symbolic expressions and their computation by machine, Part I , 1959, Commun. ACM.

[8] Leslie Lamport,et al. The temporal logic of actions , 1994, TOPL.

[9] Elliot Berk,et al. JLex: A lexical analyzer generator for Java , 2004 .

[10] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.