This paper summarizes the work carried out by the authors during the last years. It proposes an approach for defining extensible and flexible formal interpreters for diagram notations based on high-level timed Petri nets. The approach defines interpreters by means of two sets of rules. The first set specifies the correspondences between the elements of the diagram notation and those of the semantic domain (Petri nets); the second set transforms events and states of the semantic domain into visual annotations on the elements of the diagram notation. The feasibility of the approach is demonstrated through MetaEnv, a prototype tool that allows users to implement special-purpose interpreters

Baresi, L., Pezze', M. (2005). Petri nets as semantic domain for diagram notations. In Proceedings of the Workshop on Petri Nets and Graph Transformations (pp.29-44). Amsterdam : Elsevier.

Petri nets as semantic domain for diagram notations

PEZZE', MAURO
2005

Abstract

This paper summarizes the work carried out by the authors during the last years. It proposes an approach for defining extensible and flexible formal interpreters for diagram notations based on high-level timed Petri nets. The approach defines interpreters by means of two sets of rules. The first set specifies the correspondences between the elements of the diagram notation and those of the semantic domain (Petri nets); the second set transforms events and states of the semantic domain into visual annotations on the elements of the diagram notation. The feasibility of the approach is demonstrated through MetaEnv, a prototype tool that allows users to implement special-purpose interpreters
paper
Graph transformation systems; Petri nets; Formal denotational semantics; MetaEnv
English
Workshop on Petri Nets and Graph Transformations
Proceedings of the Workshop on Petri Nets and Graph Transformations
2005
127
29
44
none
Baresi, L., Pezze', M. (2005). Petri nets as semantic domain for diagram notations. In Proceedings of the Workshop on Petri Nets and Graph Transformations (pp.29-44). Amsterdam : Elsevier.
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/13329
Citazioni
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
Social impact