Towards extensible graphical formalisms

Author

Ghezzi, Carlo ; Pezzè, Mauro

Author_Institution

Dipartimento di Elettronica e Inf., Politecnico di Milano, Italy

fYear

1993

fDate

6-7 Dec 1993

Firstpage

69

Lastpage

77

Abstract

Discusses 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.

Keywords

Petri nets; formal specification; grammars; specification languages; visual languages; Statecharts; application domain oriented graphical notations; extensible graphical formalisms; graph grammars; high-level Petri nets; kernel formal specification language; semantics; translation scheme; Computer aided software engineering; Kernel; Occupational stress; Petri nets; Usability;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Specification and Design, 1993., Proceedings of the Seventh International Workshop on

Print_ISBN

0-8186-4360-9

Type

conf

DOI

10.1109/IWSSD.1993.315511

Filename

315511