No abstract

No abstract

At present time a very big progress proceeds in all branches of the software engineering eld. Anyhow, one particular area is not under the enhanced focus of software developers and researchers. It is the area of the GUI formalization and modelling. The aim of our article is to overcome this deciency by the suggestion of lightweight formal method for the design of user interface by the GUI modelling based on the graph transformations of underlying conceptual data model. The proposed method gives us a very visual tool for our objective. In addition, our method is an innovative and original specication and modelling technique targeted primarily for a utilization of large and complex modern-day web based applications. In this contribution we intend to demonstrate an alternative formal approach how we can compose a user interface model scheme as a result of transformations from the conceptual data model scheme. Our method is based on formal descriptions of user interface and conceptual data models and set of rules describing how to set up the resulting GUI with relevant and valid data. This approach allows constructing only the correct graphics user interfaces. This is the main advantage of herein presented method. Furthermore, the approach presented in

No abstract

No abstract