On Normal Forms for Structured Specifications with Generating Constraints


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… (More)
DOI: 10.1007/978-3-319-75396-6_15