Rapid software prototyping using visual language techniques

Rapid prototyping of domain-specific software requires a systematic software development methodology and user-friendly tools. Being both executable and easy to use, visual languages and their automatic generation mechanisms are highly suitable for software prototyping. This paper presents a software prototyping methodology based on the visual language generation technology, that allows visual prototyping languages to be specified and generated using an expressive graph grammar formalism. Executable prototypes and their verification and code generation are made possible by syntax-directed computations. The paper demonstrates this methodology through a prototyping example built on our current implementation.

[1]  Larry Bernstein.  Foreword: Importance of software prototyping , 1996 .

[2]  Boumediene Belkhouche,et al.  A formally specified prototyping system , 1996, J. Syst. Softw..

[3]  K. Marriott,et al.  Formal Classification of Visual Languages , 1996 .

[4]  Andy Schürr,et al.  Defining and Parsing Visual Languages with Layered Graph Grammars , 1997, J. Vis. Lang. Comput..

[5]  Luqi,et al.  A computer-aided prototyping system , 1988, IEEE Software.

[6]  Jiannong Cao,et al.  Design, Construction, and Application of a Generic Visual Language Generation Environment , 2001, IEEE Trans. Software Eng..

[7]  Valdis Berzins,et al.  CAPS as a requirements engineering tool , 1991, TRI-Ada '91.

[8]  Manfred Nagl,et al.  Ipsen tools , 1999 .

[9]  Filomena Ferrucci,et al.  On the pLR parsability of visual languages , 2001, Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587).

[10]  Wei-Tek Tsai,et al.  Approach and case study of requirement analysis where end users take an active role , 1993, Proceedings of 1993 15th International Conference on Software Engineering.

[11]  Brad A. Myers,et al.  Taxonomies of visual programming and program visualization , 1990, J. Vis. Lang. Comput..

[12]  Juan José Moreno-Navarro,et al.  Rapid prototyping and incremental evolution using SLAM , 2003, 14th IEEE International Workshop on Rapid Systems Prototyping, 2003. Proceedings..

[13]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[14]  Bart John Geraci.  Formal prototyping of concurrent systems , 1993 .

[15]  J. R EKERS,et al.  Defining and Parsing Visual Languages with Layered Graph Grammars 1 , 1997 .

[16]  L. Bernstein.  Get the design right (software prototyping) , 1993, IEEE Software.

[17]  Jun Kong,et al.  A graph grammar approach to software architecture verification and transformation , 2003, Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003.

[18]  Mark Minas,et al.  Structure, Abstraction, and Direct Manipulation in Diagram Editors , 2002, Diagrams.

[19]  Jiannong Cao,et al.  A Context-sensitive Graph Grammar Formalism for the Specification of Visual Languages , 2001, Comput. J..

[20]  Ingo Stürmer.  A Contribution of Graph Grammar Techniques to the Specification, Verification and Certification of Code Generation Tools , 2002, Electron. Notes Theor. Comput. Sci..