Sciweavers

ACSD
1998
IEEE

Visual Formalisms Revisited

14 years 3 months ago
Visual Formalisms Revisited
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled system. In particular, it presupposes the successful communication between the customer and the software expert. To enhance this communication most modern software engineering methods recommend to specify the different aspects of a system by visual formalisms. In essence, visual specifications are directed graphs that are interpreted in a particular way for each aspect of the system. They are also intended to be compositional. This means that, each node can itself be a graph with a separate meaning. However, the lack of a denotational model for hierarchical graphs often leads to the loss of compositionality. This has severe negative consequences in the development of realistic applications. In this paper we present a simple denotational model (which is by definition compositional) for the architecture and behavior...
Radu Grosu, Gheorghe Stefanescu, Manfred Broy
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1998
Where ACSD
Authors Radu Grosu, Gheorghe Stefanescu, Manfred Broy
Comments (0)