CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements

No abstract is available for this paper.

• Publication year

  2007

• Venue

  European Symposium on Programming

• Publication date

  2007-03-24

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-540-71316-6_3
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Influence of cultivation temperature on the ligninolytic activity of selected fungal strains

  2006cited by this paper
• A Fuzzy Approach for Negotiating Quality of Services

  2006cited by this paper
• A Process Calculus for QoS-Aware Applications

  2005cited by this paper
• Structured coalgebras and minimal HD-automata for the pi-calculus

  2005cited by this paper
• Precise service level agreements

  2004cited by this paper
• The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services

  2003cited by this paper
• On the expressive power of temporal concurrent constraint programming languages

  2002cited by this paper
• Soft concurrent constraint programming

  2002cited by this paper
• Explicit fusions

  2000cited by this paper
• The fusion calculus: expressiveness and symmetry in mobile processes

  1998cited by this paper
• Pi+- Calculus: A Calculus for Concurrent Processes with Constraints

  1998cited by this paper
• A calculus for concurrent processes with constraints

  1997cited by this paper
• Semiring-based constraint satisfaction and optimization

  1997cited by this paper
• Constraints as Processes

  1996cited by this paper
• Semantic foundations of concurrent constraint programming

  1995cited by this paper
• Constraints for Free in Concurrent Computation

  1995cited by this paper
• Higher-order , linear , concurrent constraint programming

  1992cited by this paper
• A Calculus of Mobile Processes, II

  1992cited by this paper
• The semantic foundations of concurrent constraint programming

  1991cited by this paper
• Constraint Relaxation may be Perfect

  1991cited by this paper
• Concurrent constraint programming

  1989influential reference
• Networks of constraints: Fundamental properties and applications to picture processing

  1974cited by this paper

• A Dynamic Temporal Logic for Quality of Service in Choreographic Models

  2023cites this paper
• MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems

  2023cites this paper
• SLA- Gα: The Next Generation of SLAs for IoT

  2022cites this paper
• Session-based concurrency: between operational and declarative views

  2020cites this paper
• A Constraint-based Language for Multiparty Interactions

  2020cites this paper
• Replacement freeness: A criterion for separating process calculi

  2020cites this paper
• Hierarchical Component Models

  2020cites this paper
• A Computational Framework for Adaptive Systems and its Verification

  2019cites this paper
• Modal Logics for Nominal Transition Systems

  2019cites this paper
• Decomposition Structures for Soft Constraint Evaluation Problems: An Algebraic Approach

  2018cites this paper
• Observational and behavioural equivalences for soft concurrent constraint programming

  2017cites this paper
• Contract-Oriented Programming with Timed Session Types

  2017cites this paper
• Checking global usage of resources handled with local policies

  2017cites this paper
• Behavioural semantics for asynchronous components

  2017cites this paper
• Verifiable abstractions for contract-oriented systems

  2017cites this paper
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion

  2017cites this paper
• Weak Nominal Modal Logic

  2017cites this paper
• A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems

  2017cites this paper
• A calculus for collective-adaptive systems and its behavioural theory

  2017cites this paper
• Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology 1392 Languages , Logics , Types and Tools for Concurrent System Modelling

  2016cites this paper
• Declarative event based models of concurrency and refinement in psi-calculi

  2016cites this paper
• Statistical Model Checking for Product Lines

  2016cites this paper
• π-Calculus for SoS: A foundation for formally describing software-intensive Systems-of-Systems

  2016cites this paper
• The Applied Pi Calculus

  2016cites this paper
• rSLA: A Service Level Agreement Language for Cloud Services

  2016cites this paper
• The Expressive Power of Monotonic Parallel Composition

  2016cites this paper
• A multi-agent protocol for service level agreement negotiation in cloud federations

  2016cites this paper
• Declarative interpretations of session-based concurrency

  2015cites this paper
• A Contract-Oriented Middleware

  2015cites this paper
• Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking

  2015cites this paper
• From Local to Global Knowledge and Back

  2015cites this paper
• Journal of Logical and Algebraic Methods in Programming

  2015cites this paper
• Constraint design rewriting

  2015cites this paper
• Dynamic Programming on Nominal Graphs

  2015cites this paper
• An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic

  2015cites this paper
• Software Engineering for Collective Autonomic Systems

  2015influential citation
• The Psi-Calculi Workbench

  2015cites this paper
• A Labelled Semantics for Soft Concurrent Constraint Programming

  2015cites this paper
• Statistical analysis of probabilistic models of software product lines with quantitative constraints

  2015cites this paper
• Dynamic Spaces in Concurrent Constraint Programming

  2014cites this paper
• CaSPiS: a calculus of sessions, pipelines and services†

  2014cites this paper
• Actor Network Procedures as Psi-calculi for Security Ceremonies

  2014cites this paper
• Concurrency Models with Causality and Events as Psi-calculi

  2014cites this paper
• A Secure Non-monotonic Soft Concurrent Constraint Language

  2014cites this paper
• Constraints meet concurrency

  2014cites this paper
• PSLA: A PaaS Level SLA Description Language

  2014cites this paper
• Attribute-based transactions in service oriented computing

  2014cites this paper
• Application of branching cells to QoS aware service orchestrations

  2014cites this paper
• Modeling mobile stateful channels in ππZ

  2013cites this paper
• QoS-aware management of monotonic service orchestrations

  2013influential citation
• On the synthesis of choreographies

  2013cites this paper
• An event-based model for contracts

  2013cites this paper
• Combining Declarative and Procedural Views in the Feature-Oriented Specification and Analysis of Product Families

  2013cites this paper
• The Epistemic View of Concurrency Theory

  2013cites this paper
• A Theory of Agreements and Protection

  2013cites this paper
• A survey on service quality description

  2013cites this paper
• Parallel Computing Technologies

  2013influential citation
• Secure and Unfailing Services

  2013cites this paper
• Combining declarative and procedural views in the specification and analysis of product families

  2013cites this paper
• Models and emerging trends of concurrent constraint programming

  2013influential citation
• Soft Constraint Logic Programming for Electric Vehicle Travel Optimization

  2012cites this paper
• Flexible Quality of Service Management of Web Services Orchestrations. (Gestion Flexible de la Qualité de Service dans les Orchestrations de Services Web)

  2012cites this paper
• Contracting of Web Services with Constraint Handling Rules

  2012cites this paper
• Contract-Oriented Computing in CO2

  2012cites this paper
• Honesty by Typing

  2012cites this paper
• An energy aware framework for virtual machine placement in cloud federated data centres

  2012cites this paper
• Spatial and Epistemic Modalities in Constraint-Based Process Calculi

  2012cites this paper
• On the realizability of contracts in dishonest systems

  2012cites this paper
• The KnowLang Framework for Knowledge Modeling for SCE Systems

  2012cites this paper
• Service Levels, Security, and Trust

  2012influential citation
• Three Algorithms and a Methodology for Amending Contracts for Choreographies

  2012cites this paper
• Soft constraints for KnowLang

  2012cites this paper
• Spatial Information Distribution in Constraint-based Process Calculi ( Extended Version )

  2012cites this paper
• Implementing Typed Psi-calculi

  2012cites this paper
• Hierarchical Component Models - "A True Story"

  2012cites this paper
• A Language-based Approach to Distributed Resources

  2012influential citation
• A calculus for orchestration of web services

  2012influential citation
• A High–Level Model–Checking Tool for Verifying Electronic Contracts

  2011cites this paper
• A Presheaf Environment for the Explicit Fusion Calculus

  2011cites this paper
• A Unifying Formal Basis for the Sensoria Approach: A White Paper

  2011cites this paper
• A high-level model-checking tool for verifying service agreements

  2011cites this paper
• A GLocal π-Calculus *

  2011cites this paper
• Model-Driven Development of Adaptable Service-Oriented Business Processes

  2011cites this paper
• Predicting global usages of resources endowed with local policies

  2011cites this paper
• A Typed Model for Linked Data

  2011influential citation
• Concurrent Constraint Models of Multimedia Interaction

  2011cites this paper
• Orchestrating Tuple-Based Languages

  2011cites this paper
• QoS negotiation in service composition

  2011cites this paper
• Programming Language Approaches to Concurrency and Communication-cEntric Software

  2011cites this paper
• Concurrent constraints models of music interaction

  2011cites this paper
• CC-Pi: A Constraint Language for Service Negotiation and Composition

  2011cites this paper
• Call-by-Contract for Service Discovery, Orchestration and Recovery

  2011cites this paper
• Strengthening Component Architectures by Modeling Fine-Grained Entities

  2011cites this paper
• Contracting of E-business Services in a Constraint-Based Process Modeling Framework

  2011cites this paper
• Observational equivalences for linear logic concurrent constraint languages*

  2011cites this paper
• Psi-calculi: a framework for mobile processes with nominal data and logic

  2011cites this paper
• Amending Contracts for Choreographies

  2011cites this paper
• Symbolic and Asynchronous Semantics via Normalized Coalgebras

  2011cites this paper
• An abstract model of service discovery and binding

  2011cites this paper
• The Sensoria Reference Modelling Language

  2011cites this paper