Abstract Constraint Data Types
Martin Wirsing is one of the earliest contributors to the area of Algebraic Specification (e.g., ), 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 : 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 . Finally, we relate this extension with institutions  and recent work on graded consequence in institutions .
KeywordsConstraint System Graph Transformation Soft Constraint Predicate Symbol Operation Symbol
Unable to display preview. Download preview PDF.
- 4.Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Monographs in Theoretical Computer Science. An EATCS Series. Springer (1985)Google Scholar
- 5.Fiadeiro, J.L.: Categories for Software Engineering. Springer (2004)Google Scholar
- 11.Sannella, D., Tarlecki, A.: Foundations of Algebraic Specification and Formal Software Development. In: Monographs in Theoretical Computer Science. An EATCS Series. Springer (2012)Google Scholar
- 12.Wirsing, M.: Algebraic specification. In: Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics (B), pp. 675–788. MIT Press, Cambridge (1990)Google Scholar
- 14.Wirsing, M., Hölzl, M. (eds.): SENSORIA. LNCS, vol. 6582. Springer, Heidelberg (2011)Google Scholar