Visual diagrammatic (VD) notations have always been widely used in software engineering. Such notations have been used to syntactically represent the structure of software systems, but they usually lack dynamic semantics, and thus provide limited support to software engineers. In contrast, formal models would provide rigorous semantics, but the scarce adaptability to different application domains precluded their large industrial application. Most attempts tried to formalize widely used VD notations by proposing a mapping to a formal model, but they all failed in addressing flexibility, that is, the key factor of the success of VD notations. This paper presents MetaEnv, a toolbox for automating visual software engineering. MetaEnv augments VD notations with customizable dynamic semantics. Traditional meta-CASE tools support flexibility at syntactic level; MetaEnv augments them with semantic flexibility. MetaEnv refers to a framework based on graph grammars and has been experimented as add-on to several commercial and proprietary tools that support syntactic manipulation of VD notations

Baresi, L., Pezze', M. (2002). A toolbox for automating visual software engineering. In Fundamental Approaches to Software Engineering (pp.189-202). Springer-Verlag Berlin Heidelberg [10.1007/3-540-45923-5_13].

A toolbox for automating visual software engineering

PEZZE', MAURO
2002

Abstract

Visual diagrammatic (VD) notations have always been widely used in software engineering. Such notations have been used to syntactically represent the structure of software systems, but they usually lack dynamic semantics, and thus provide limited support to software engineers. In contrast, formal models would provide rigorous semantics, but the scarce adaptability to different application domains precluded their large industrial application. Most attempts tried to formalize widely used VD notations by proposing a mapping to a formal model, but they all failed in addressing flexibility, that is, the key factor of the success of VD notations. This paper presents MetaEnv, a toolbox for automating visual software engineering. MetaEnv augments VD notations with customizable dynamic semantics. Traditional meta-CASE tools support flexibility at syntactic level; MetaEnv augments them with semantic flexibility. MetaEnv refers to a framework based on graph grammars and has been experimented as add-on to several commercial and proprietary tools that support syntactic manipulation of VD notations
paper
formal methods
English
International Conference on Fundamental Approaches to Software Engineering, FASE 2002 8-12 April
2002
Kutsche, RD; Weber, H
Fundamental Approaches to Software Engineering
9783540433538
2002
2306
189
202
none
Baresi, L., Pezze', M. (2002). A toolbox for automating visual software engineering. In Fundamental Approaches to Software Engineering (pp.189-202). Springer-Verlag Berlin Heidelberg [10.1007/3-540-45923-5_13].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/16580
Citazioni
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 6
Social impact