Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10328946 | Electronic Notes in Theoretical Computer Science | 2005 | 16 Pages |
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Luciano Baresi, Mauro Pezzè,