Many-valued institutions for constraint specification

Claudia Elena Chiriţă (Lead / Corresponding author), José Luiz Fiadeiro, Fernando Orejas

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

1 Citation (Scopus)

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
Subtitle of host publication19th International Conference, FASE 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings
EditorsPerdita Stevens, Andrzej Wasowski
Place of PublicationBerlin
PublisherSpringer Verlag
Pages359-376
Number of pages18
ISBN (Electronic)9783662496657
ISBN (Print)9783662496640
DOIs
Publication statusPublished - 2016
Event19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016 Held as Part of European Joint Conferences on Theory and Practice of Software, ETAPS 2016 - Eindhoven, Netherlands
Duration: 2 Apr 20168 Apr 2016

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume9633
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016 Held as Part of European Joint Conferences on Theory and Practice of Software, ETAPS 2016
CountryNetherlands
CityEindhoven
Period2/04/168/04/16

Keywords

  • Service Application
  • Constraint Satisfaction Problem
  • Service Discovery
  • Residuated Lattice
  • Soft Constraint

Fingerprint Dive into the research topics of 'Many-valued institutions for constraint specification'. Together they form a unique fingerprint.

  • Cite this

    Chiriţă, C. E., Fiadeiro, J. L., & Orejas, F. (2016). Many-valued institutions for constraint specification. In P. Stevens, & A. Wasowski (Eds.), 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, Proceedings (pp. 359-376). (Lecture Notes in Computer Science; Vol. 9633). Springer Verlag. https://doi.org/10.1007/978-3-662-49665-7_21