On Normal Forms for Structured Specifications with Generating Constraints

Donald Sannella, Andrzej Tarlecki

Research output: Chapter in Book/Report/Conference proceedingChapter

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.
Original languageEnglish
Title of host publicationGraph Transformation, Specifications, and Nets
Subtitle of host publicationIn Memory of Hartmut Ehrig
PublisherSpringer
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

Fingerprint

Dive into the research topics of 'On Normal Forms for Structured Specifications with Generating Constraints'. Together they form a unique fingerprint.

Cite this