CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Service (cost, performance, availability, etc.). In this work we propose a simple model of contracts for QoS and SLAs that also allows to study mechanisms for resource allocation and for joining different SLA requirements. Our language combines two basic programming paradigms: name-passing calculi and concurrent constraint programming (cc programming). Specifically, we extend cc programming by adding synchronous communication and by providing a treatment of names in terms of restriction and structural axioms closer to nominal calculi than to variables with existential quantification. In the resulting framework, SLA requirements are constraints that can be generated either by a single party or by the synchronisation of two agents. Moreover, restricting the scope of names allows for local stores of constraints, which may become global as a consequence of synchronisations. Our approach relies on a system of named constraints that equip classical constraints with a suitable algebraic structure providing a richer mechanism of constraint combination. We give reduction-preserving translations of both cc programming and the calculus of explicit fusions.

References in zbMATH (referenced in 30 articles )

Showing results 1 to 20 of 30.
Sorted by year (citations)

1 2 next

  1. Cano, Mauricio; López, Hugo A.; Pérez, Jorge A.; Rueda, Camilo: Session-based concurrency, declaratively (2022)
  2. Parrow, Joachim; Borgström, Johannes; Eriksson, Lars-Henrik; Forsberg Gutkovas, Ramūnas; Weber, Tjark: Modal logics for nominal transition systems (2021)
  3. Brodo, Linda; Olarte, Carlos: A constraint-based language for multiparty interactions (2020)
  4. Pugliese, Rosario; Tiezzi, Francesco: Replacement freeness: a criterion for separating process calculi (2020)
  5. Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele: A calculus for collective-adaptive systems and its behavioural theory (2019)
  6. Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto: Verifiable abstractions for contract-oriented systems (2017)
  7. Gadducci, Fabio; Santini, Francesco; Pino, Luis F.; Valencia, Frank D.: Observational and behavioural equivalences for soft concurrent constraint programming (2017)
  8. Guzman, Michell; Haar, Stefan; Perchy, Salim; Rueda, Camilo; Valencia, Frank D.: Belief, knowledge, lies and other utterances in an algebra for space and extrusion (2017)
  9. Åman Pohjola, Johannes; Parrow, Joachim: The expressive power of monotonic parallel composition (2016)
  10. Bengtson, Jesper; Parrow, Joachim; Weber, Tjark: Psi-calculi in Isabelle (2016)
  11. Normann, Håkon; Johansen, Christian; Hildebrandt, Thomas: Declarative event based models of concurrency and refinement in psi-calculi (2016)
  12. Parrow, Joachim; Borgström, Johannes; Eriksson, Lars-Henrik; Gutkovas, Ramunas; Weber, Tjark: Modal logics for nominal transition systems (2015)
  13. Benveniste, Albert; Jard, Claude; Abbes, Samy: Application of branching cells to QoS aware service orchestrations (2014)
  14. Benveniste, Albert; Jard, Claude; Kattepur, Ajay; Rosario, Sidney; Thywissen, John A.: QoS-aware management of monotonic service orchestrations (2014)
  15. Olarte, Carlos; Nigam, Vivek; Pimentel, Elaine: Dynamic spaces in concurrent constraint programming (2014)
  16. Olarte, Carlos; Rueda, Camilo; Valencia, Frank D.: Models and emerging trends of concurrent constraint programming (2013)
  17. Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio: A presheaf environment for the explicit fusion calculus (2012)
  18. Pugliese, Rosario; Tiezzi, Francesco: A calculus for orchestration of web services (2012) ioport
  19. Bengtson, Jesper; Johansson, Magnus; Parrow, Joachim; Victor, Björn: Psi-calculi: a framework for mobile processes with nominal data and logic (2011)
  20. Bonchi, Filippo; Montanari, Ugo: Symbolic and asynchronous semantics via normalized coalgebras (2011)

1 2 next