Edinburgh Research Explorer

On Normal Forms for Structured Specifications with Generating Constraints

Research output: Chapter in Book/Report/Conference proceedingChapter

Related Edinburgh Organisations

Open Access permissions

Open

Documents

https://link.springer.com/chapter/10.1007%2F978-3-319-75396-6_15
Original languageEnglish
Title of host publicationGraph Transformation, Specifications, and Nets
Subtitle of host publicationIn Memory of Hartmut Ehrig
PublisherSpringer International Publishing
Pages266-284
Number of pages19
ISBN (Electronic)978-3-319-75396-6
ISBN (Print)978-3-319-75395-9
DOIs
Publication statusPublished - 2018

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume10800

Abstract

Hartmut Ehrig and others in [EWT83] studied normal form results for complex generating constraints imposed on basic specifications. Since then this work has been followed by subsequent results concerning normal forms for structured specifications, typically built from basic specifications using union, translation and hiding. We consider generating constraints as additional specification-building operations and follow and extend the results concerning normal forms for the resulting specifications with various forms of generating constraints.

Download statistics

No data available

ID: 45403171