TY - GEN
T1 - Many-Valued Institutions for Constraint Specification
AU - Chirita, Claudia-Elena
AU - Luiz Fiadeiro, José
AU - Orejas, Fernando
PY - 2016
Y1 - 2016
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-662-49665-7_21
DO - 10.1007/978-3-662-49665-7_21
M3 - Conference contribution
SN - 978-3-662-49664-0
VL - 9633
T3 - Lecture Notes in Computer Science
SP - 359
EP - 376
BT - Fundamental Approaches to Software Engineering
A2 - Stevens, Perdita
A2 - Wasowski, Andrzej
PB - Springer
CY - Berlin
ER -