𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Visual Design of Software Architecture and Evolution based on Graph Transformation

✍ Scribed by C. Ermel; R. Bardohl; J. Padberg

Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
232 KB
Volume
44
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

✦ Synopsis

The paper suggests a two-level approach to describe visually software architectures and their evolution. One visual modeling formalism is used to describe the architecture level while another is used to model the behavior of each component (component specification level). Graph transformation is applied for both levels to describe the modeling formalisms and the model evolution in a formal way. The graph transformation based visual modeling approach GenGEd allows the designer to define the concrete and abstract syntax of each formalism. Thus, the choice of the visual formalisms is not restricted to existing ADLs or modeling languages but new visual languages can be defined by the user according to the problem domain. The architecture and component specifications are related over their abstract syntax. Here, it is possible to enforce coherence between the two levels while the user is changing the model in the editor generated by the GenGEd tool. The ideas are illustrated by a small example using UML-like class diagrams for the architecture and Petri net like networks for the component behavior.

πŸ“œ SIMILAR VOLUMES

A new design method of software based on
A new design method of software based on state transition
✍ Naoko Yokoi; Takeshi Kaneko; Yoshinori Iizuka πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 937 KB

## Abstract An understanding of state transitions is essential in real‐time software design. However, satisfactory research has not been performed on methodologies to list the necessary states. A method is needed to systematically identify necessary states in order to meet the given requirements. T

Design of a reconfigurable VLSI processo
Design of a reconfigurable VLSI processor for robot control based on bit-serial architecture
✍ Yoshichika Fujioka; Michitaka Kameyama πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 339 KB πŸ‘ 2 views

In realization of intelligent robots with the capability of quick response to altering environments, it is necessary to reduce the operation delay time of the sensor input signal to the control output. In this article, dynamically reconfigurable multioperand multiplication-addition based on bit-seri

Iterative design of antireflection coati
Iterative design of antireflection coatings based on the direct and inverse scattering transform
✍ Johannes Skaar πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 173 KB

An efficient iterative approach for synthesis of thin-film filters is proposed and applied to the design of antireflection coatings. The method is based on the direct and inverse scattering transform. Design criteria in the two domains (the spatial domain and the spectral domain) are specified, and

Design and analysis of per-flow queueing
Design and analysis of per-flow queueing switches and VC-merge switches based on per-VC queueing architecture
✍ P. Zhou; O. Yang πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 264 KB

In this paper, we apply to the router design, the Multi Protocol Label Switching (MPLS) paradigm, which integrates layer-3 routing with layer-2 switching. We propose per-flow queueing in access routers and VC merging in core routers. The contributions of this paper are to demonstrate that ATM's per-