Abstract:The widely recognized value of icons, diagrams, and other graphical notations in human–computer interaction and human–human (interhuman) communication, and the decreasing cost of hardware technologies and graphics software have caused the development of a novel approach termed
visual programming
or
graphical programming
.
Visual programming covers a wide variety of activities that make extensive use of icons and diagrams to convey information… Show more
“…Graphical and diagrammatic representations play a central role in the field of software and Web engineering [6]. They are widely employed to support many activities of the software development process, such as specification, analysis and design, since they provide powerful aids to describe and understand complex systems, by means of abstractions and different views.…”
Section: The Webml Modeling Language For Data-intensive Web Applicationsmentioning
In the present paper, we propose a visual language meant to support the design of Web GIS applications. The proposal is based on the observation that Web GIS can be considered as a particular class of dataintensive Web applications, since they are mainly devoted to handle (spatial) information to and from the user. The success of WebML (Web Modeling Language) for designing traditional data-intensive Web applications suggested us to extend this visual formalism to model relevant interaction and navigation operations typical of Web GIS. The proposed extension consists of a set of content units specifically tailored for GIS concepts and tasks.
“…Graphical and diagrammatic representations play a central role in the field of software and Web engineering [6]. They are widely employed to support many activities of the software development process, such as specification, analysis and design, since they provide powerful aids to describe and understand complex systems, by means of abstractions and different views.…”
Section: The Webml Modeling Language For Data-intensive Web Applicationsmentioning
In the present paper, we propose a visual language meant to support the design of Web GIS applications. The proposal is based on the observation that Web GIS can be considered as a particular class of dataintensive Web applications, since they are mainly devoted to handle (spatial) information to and from the user. The success of WebML (Web Modeling Language) for designing traditional data-intensive Web applications suggested us to extend this visual formalism to model relevant interaction and navigation operations typical of Web GIS. The proposed extension consists of a set of content units specifically tailored for GIS concepts and tasks.
“…In the literature several formal models have been proposed in order to describe graphical applications at various abstraction levels, as well as to formally represent human computer interaction properties [1].…”
This paper presents a system to specify and verify web applications, based on previous results on usability evaluation of interactive visual interfaces by means of checking their corresponding formal specification. In Cassino and Tucci we have described a methodology to design, specify and evaluate interactive visual interfaces, based on the SR-Action Grammars formalism, and we have presented a bottom – up approach to guide the designer to develop graphical user interface which respect any usability metrics before the software is released and tested by standard methods. TAGIVE (Tool for the Aided Generation of Interactive Visual Environments) is a visual environment for the implementation of interactive visual applications (html, xml, java applications), and for the generation of the underlying SR-Action Grammar specification. Now, we present VALUTA (Automatic Tool for the Usability V erification at A bstraction Level ), a tool that supports the generation of the formal specification of existing interactive visual applications in an automatic manner, so to perform the related usability controls. Checking the usability of interactive applications at a formal level, allows a designer to perform feedback analysis of the environment under consideration
“…The importance of graphical notations in human-computer interaction and human-human communication, and the decreasing cost of hardware technologies and graphics software have caused the development of a large number of visual languages in many different application fields [12]. In particular, visual modeling languages are largely used in the software engineering field since they allow designer to provide suitable models of the system at different levels of abstraction.…”
Section: Introductionmentioning
confidence: 99%
“…Indeed, much effort is presently put to develop formal techniques for specifying, designing and implementing visual languages [3,12,17,19,22].…”
Section: Introductionmentioning
confidence: 99%
“…The literature offers several grammatical formalisms for the specification of visual languages, which differ one from another under several aspects [12,17,19,22].…”
In this paper we present the approach based on the formalism of Extended Positional Grammars for specifying, designing and implementing visual modeling languages. In order to stress the main characteristics of the approach and highlight its power, we describe the use of the formalism to implement statecharts languages which represent one of the most complex visual modeling languages used in the software engineering field. In the paper special emphasis is put on describing the benefits deriving from the use of such formal specifications such as incrementality, easy customization, and automatic generation of visual programming environments. Such features turn out to be especially important because visual modeling languages are subjected to continuous changes as the history of statecharts languages and UML diagrams shows. Moreover, visual languages can be effectively used only if they are supported by a powerful visual environment within they are embedded and used.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.