Referenced Items are not available for this document.
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.
Published in:
Software Specification and Design, 1993., Proceedings of the Seventh International Workshop on
Date of Conference: 6-7 Dec 1993
- Page(s):
- 69 - 77
- Print ISBN:
- 0-8186-4360-9
- INSPEC Accession Number:
- 4725909
- Digital Object Identifier :
- 10.1109/IWSSD.1993.315511
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
