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

Standard

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

Harvard

Chirita, C-E, Luiz Fiadeiro, J & Orejas, F 2016, Many-Valued Institutions for Constraint Specification. in P Stevens & A Wasowski (eds), Fundamental Approaches to Software Engineering. vol. 9633, Lecture Notes in Computer Science, vol. 9633, Springer, Berlin, pp. 359-376. https://doi.org/10.1007/978-3-662-49665-7_21

APA

Chirita, C-E., Luiz Fiadeiro, J., & Orejas, F. (2016). Many-Valued Institutions for Constraint Specification. In P. Stevens, & A. Wasowski (Eds.), Fundamental Approaches to Software Engineering (Vol. 9633, pp. 359-376). (Lecture Notes in Computer Science; Vol. 9633). Springer. https://doi.org/10.1007/978-3-662-49665-7_21

Vancouver

Chirita C-E, Luiz Fiadeiro J, Orejas F. Many-Valued Institutions for Constraint Specification. In Stevens P, Wasowski A, editors, Fundamental Approaches to Software Engineering. Vol. 9633. Berlin: Springer. 2016. p. 359-376. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-662-49665-7_21

Author

Chirita, Claudia-Elena ; Luiz Fiadeiro, José ; Orejas, Fernando. / Many-Valued Institutions for Constraint Specification. Fundamental Approaches to Software Engineering. editor / Perdita Stevens ; Andrzej Wasowski. Vol. 9633 Berlin : Springer, 2016. pp. 359-376 (Lecture Notes in Computer Science).

BibTeX

@inproceedings{8d77896a54234392bf3b4584594b6a22,
title = "Many-Valued Institutions for Constraint Specification",
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.",
author = "Claudia-Elena Chirita and {Luiz Fiadeiro}, Jos{\'e} and Fernando Orejas",
year = "2016",
doi = "10.1007/978-3-662-49665-7_21",
language = "English",
isbn = "978-3-662-49664-0",
volume = "9633",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "359--376",
editor = "Perdita Stevens and Andrzej Wasowski",
booktitle = "Fundamental Approaches to Software Engineering",

}

RIS

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 -