Many-valued Institutions for Constraint Specification. / Chirita, Claudia-Elena; Luiz Fiadeiro, José ; Orejas, Fernando.

Fundamental Approaches to Software Engineering. ed. / Perdita Stevens; Andrzej Wasowski. Vol. 9633 Berlin : Springer, 2016. p. 359-376 (Lecture Notes in Computer Science; Vol. 9633).

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

Published

Documents

  • ics

    Accepted author manuscript, 552 KB, PDF-document

Abstract

We advance a general technique for enriching logical systems with soft constraints, making them suitable for specifying complex software systems where parts are put together not just based on how they meet certain functional requirements but also on how they optimise certain constraints. This added expressive power is required, for example, for capturing quality attributes that need to be optimised or, more generally, for formalising what are usually called service-level agreements. More specifically, we show how institutions endowed with a graded semantic consequence can accommodate soft-constraint satisfaction problems. We illustrate our approach by showing how, in the context of service discovery, one can quantify the compatibility of two specifications and thus formalise the selection of the most promising provider of a required resource.
Original languageEnglish
Title of host publicationFundamental Approaches to Software Engineering
EditorsPerdita Stevens, Andrzej Wasowski
Place of PublicationBerlin
PublisherSpringer
Pages359-376
Number of pages17
Volume9633
ISBN (Electronic)978-3-662-49665-7
ISBN (Print)978-3-662-49664-0
StatePublished - 2016

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume9633
ISSN (Print)0302-9743
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 25983663