Generating graphical applications from state-transition visual specifications

✍ Scribed by GIUSEPPE DELLA PENNA; BENEDETTO INTRIGILA; SERGIO OREFICE

• Book ID: 102968976
• Publisher: Elsevier Science
• Year: 2001
• Tongue: English
• Weight: 821 KB
• Volume: 55
• Category: Article
• ISSN: 1071-5819
• DOI: 10.1006/ijhc.2001.0508

✦ Synopsis

In graphical applications, visual representations are mostly used in an ad hoc fashion with little or no underlying formal support. Due to this, no common methodology for handling visual and diagrammatic representations has emerged and formal techniques for their support are underdeveloped. Usually, a programmer develops a graphical application by applying a general-purpose visual programming environment and ad hoc implementing the application requirements. Then, big e!orts are often required when the application has to be successively modi"ed or extended. In this paper, we present a "nite-automaton-based formalism for the speci"cation of rapid application development (RAD) visual applications, which provides a formal basis in the visual application generation. A prototype tool, based on this approach, has been developed and it is currently being experimented on a variety of case studies.

2001 Academic Press