Towards extensible graphical formalisms

  • Authors:
  • Carlo Ghezzi;Mauro Pezzè

  • Affiliations:
  • Politecnico di Milano, Piazza L. da Vinci 32, Milano (Italy);Politecnico di Milano, Piazza L. da Vinci 32, Milano (Italy)

  • Venue:
  • IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
  • Year:
  • 1993

Quantified Score

Hi-index 0.00

Visualization

Abstract

We discuss how to tailor a graphical notation on top of a kernel formal (graphical) specification language. The goal is to allow an environment supporting formal specifications written in a kernel formal notation to be extended to support additional, application domain oriented, graphical notations. The semantics of the newly defined notation is given by a translation scheme into the kernel notation. Our approach is founded on high-level Petri nets, the kernel formalism, and graph grammars, which define the new graphical notations and their translation into target nets. The paper provides examples of the definition of Statecharts on top of the kernel formalism.