Generating diagram editors from formal specifications Article

Arefi, F, Milani, MT. (1992). Generating diagram editors from formal specifications . Information and Software Technology, 34(3), 139-146. 10.1016/0950-5849(92)90025-K

cited authors

  • Arefi, F; Milani, MT

abstract

  • Software engineers have long given a high value to diagramming techniques that allow them to visualize different aspects of the software systems they develop. The effortless preparation and maintenance of diagrams and ensuring their integrity, however, requires automated tools that understand the syntactic and semantic properties of diagrams. Such tools allow the software engineer to concentrate on the development of an appropriate representation of the problem, or the solution to a problem, without having to be concerned with the cumbersome details of diagram drawing. Unfortunately, due to the lack of appropriate facilities for the formal specification of diagramming techniques, the construction of the required diagramming tools largely remains a manual and difficult task. The paper addresses this software engineering hurdle by describing how sophisticated tools with a working knowledge of diagramming techniques may be automatically generated from formal specifications. © 1992.

authors

publication date

  • January 1, 1992

published in

Digital Object Identifier (DOI)

start page

  • 139

end page

  • 146

volume

  • 34

issue

  • 3