Abstract Constraint Data Types

  • José Luiz Fiadeiro
  • Fernando Orejas
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8950)


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].


Constraint System Graph Transformation Soft Constraint Predicate Symbol Operation Symbol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM 44(2), 201–236 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Broy, M., Dosch, W., Partsch, H., Pepper, P., Wirsing, M.: Existential quantifiers in abstract data types. In: Maurer, H.A. (ed.) ICALP 1979. LNCS, vol. 71, pp. 73–87. Springer, Heidelberg (1979)CrossRefGoogle Scholar
  3. 3.
    Diaconescu, R.: Graded consequence: an institution theoretic study. Soft Comput. 18(7), 1247–1267 (2014)CrossRefzbMATHGoogle Scholar
  4. 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. 5.
    Fiadeiro, J.L.: Categories for Software Engineering. Springer (2004)Google Scholar
  6. 6.
    Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. J. ACM 39(1), 95–146 (1992)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Goguen, J.A., Meseguer, J.: Universal realization, persistent interconnection and implementation of abstract modules. In: Nielsen, M., Schmidt, E.M. (eds.) ICALP 1982. LNCS, vol. 140, pp. 265–281. Springer, Heidelberg (1982)CrossRefGoogle Scholar
  8. 8.
    Hölzl, M.M., Meier, M., Wirsing, M.: Which soft constraints do you prefer? Electr. Notes Theor. Comput. Sci. 238(3), 189–205 (2009)CrossRefzbMATHGoogle Scholar
  9. 9.
    Orejas, F., Lambers, L.: Lazy graph transformation. Fundam. Inform. 118(1-2), 65–96 (2012)MathSciNetzbMATHGoogle Scholar
  10. 10.
    Papazoglou, M.P., Traverso, P., Dustdar, S., Leymann, F.: Service-oriented computing: State of the art and research challenges. IEEE Computer 40(11), 38–45 (2007)CrossRefGoogle Scholar
  11. 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. 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
  13. 13.
    Wirsing, M., Denker, G., Talcott, C.L., Poggio, A., Briesemeister, L.: A rewriting logic framework for soft constraints. Electr. Notes Theor. Comput. Sci. 176(4), 181–197 (2007)CrossRefzbMATHGoogle Scholar
  14. 14.
    Wirsing, M., Hölzl, M. (eds.): SENSORIA. LNCS, vol. 6582. Springer, Heidelberg (2011)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • José Luiz Fiadeiro
    • 1
  • Fernando Orejas
    • 2
  1. 1.Dep. of Computer ScienceRoyal Holloway University of LondonEghamUK
  2. 2.Dep. de Llenguatges i Sistemes InformàticsUniversitat Politècnica de CatalunyaBarcelonaSpain

Personalised recommendations