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

DOI10.1007/978-3-540-71316-6_3MaRDI QIDQ5756485zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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)

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

Cited in

(35)

• A survey of constraint-based programming paradigms
• Declarative event based models of concurrency and refinement in psi-calculi
• A presheaf environment for the explicit fusion calculus
• A constraint-based language for multiparty interactions
• A Probabilistic Applied Pi–Calculus
• A Category of Explicit Fusions
• Dynamic spaces in concurrent constraint programming
• The expressive power of monotonic parallel composition
• 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
• From StPowla processes to SRML models
• A categorical model of the fusion calculus
• Business Process Modeling for Organizational Knowledge Management
• What Do Semantics Matter When the Meat Is Overcooked?
• CaSPiS: a calculus of sessions, pipelines and services
• QoS negotiation in service composition
• A compositional coalgebraic model of fusion calculus
• Replacement freeness: a criterion for separating process calculi
• Families of symmetries as efficient models of resource binding
• 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
• Attribute-based transactions in service oriented computing
• Observational and behavioural equivalences for soft concurrent constraint programming
• Psi-calculi in Isabelle
• 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

Describes a project that uses

Uses Software

• CC-Pi

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)