Abstract Constraint Data Types

José Luiz Fiadeiro, Fernando Orejas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)


Martin Wirsing is one of the earliest contributors to the area of Algebraic Specification (e.g., [2]), which he explored in a variety of domains over many years. Throughout his career, he has also inspired countless researchers in related areas. This paper is inspired by one of the domains that he explored thirty years or so after his first contributions when leading the FET Integrated Project SENSORIA [14]: the use of constraint systems to deal with non-functional requirements and preferences [13,8]. Following in his footsteps, we provide an extension of the traditional notion of algebraic data type specification to encompass soft-constraints as formalised in [1]. Finally, we relate this extension with institutions [6] and recent work on graded consequence in institutions [3].

Original languageEnglish
Title of host publicationSoftware, Services, and Systems
Subtitle of host publicationEssays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
EditorsRocco De Nicola, Rolf Hennicker
Place of PublicationSwitzerland
PublisherSpringer Verlag
Number of pages16
ISBN (Electronic)9783319155456
ISBN (Print)9783319155449
Publication statusPublished - 2015

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


  • Constraint System
  • Graph Transformation
  • Soft Constraint
  • Predicate Symbol
  • Operation Symbol

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Abstract Constraint Data Types'. Together they form a unique fingerprint.

Cite this