Many-valued institutions for constraint specification
Visualitza/Obre
10.1007/978-3-662-49665-7_21
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/99926
Tipus de documentText en actes de congrés
Data publicació2016
EditorSpringer
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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.
CitacióChirita, C., Fiadeiro, J., Orejas, F. Many-valued institutions for constraint specification. A: International Conference on Fundamental Approaches to Software Engineering. "Fundamental approaches to software engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016: proceedings". Eindhoven: Springer, 2016, p. 359-376.
ISBN978-3-662-49664-0
Versió de l'editorhttp://link.springer.com/chapter/10.1007%2F978-3-662-49665-7_21
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
ConstrInst.pdf | 536,1Kb | Visualitza/Obre |