CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
DOI10.1007/978-3-540-71316-6_3zbMATH Open1187.68063OpenAlexW1573313194MaRDI QIDQ5756485FDOQ5756485
Authors: Maria Grazia Buscemi, Ugo Montanari 
Publication date: 4 September 2007
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71316-6_3
Recommendations
- QoS negotiation in service composition
- Open Bisimulation for the Concurrent Constraint Pi-Calculus
- Translations of service level agreement in systems based on service-oriented architectures
- Dynamic spaces in concurrent constraint programming
- The stream-based service-centred calculus: a foundation for service-oriented programming
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Network design and communication in computer systems (68M10) Internet topics (68M11) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (35)
- A survey of constraint-based programming paradigms
- A presheaf environment for the explicit fusion calculus
- Declarative event based models of concurrency and refinement in psi-calculi
- A constraint-based language for multiparty interactions
- A Probabilistic Applied Pi–Calculus
- A Category of Explicit Fusions
- The expressive power of monotonic parallel composition
- Dynamic spaces in concurrent constraint programming
- Session-based concurrency, declaratively
- A calculus for collective-adaptive systems and its behavioural theory
- QoS-aware management of monotonic service orchestrations
- A dynamic temporal logic for quality of service in choreographic models
- Modal logics for nominal transition systems
- Open Bisimulation for the Concurrent Constraint Pi-Calculus
- Statically and dynamically verifiable SLA metrics
- Application of branching cells to QoS aware service orchestrations
- A categorical model of the fusion calculus
- CaSPiS: a calculus of sessions, pipelines and services
- Business Process Modeling for Organizational Knowledge Management
- What Do Semantics Matter When the Meat Is Overcooked?
- From StPowla processes to SRML models
- A compositional coalgebraic model of fusion calculus
- QoS negotiation in service composition
- Replacement freeness: a criterion for separating process calculi
- Families of symmetries as efficient models of resource binding
- Attribute-based transactions in service oriented computing
- Models and emerging trends of concurrent constraint programming
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion
- Verifiable abstractions for contract-oriented systems
- Psi-calculi in Isabelle
- Observational and behavioural equivalences for soft concurrent constraint programming
- Semiring-Based Soft Constraints
- Translations of service level agreement in systems based on service-oriented architectures
- Parametric synchronizations in mobile nominal calculi
- Coalgebraic symbolic semantics
Uses Software
This page was built for publication: CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756485)
