Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Constraint relaxation may be perfect
Artificial Intelligence
A calculus of mobile processes, II
Information and Computation
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
On the expressive power of temporal concurrent constraint programming languages
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services
Journal of Network and Systems Management
Constraints for Free in Concurrent Computation
ACSC '95 Proceedings of the 1995 Asian Computing Science Conference on Algorithms, Concurrency and Knowledge
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Precise Service Level Agreements
Proceedings of the 26th International Conference on Software Engineering
Soft concurrent constraint programming
ACM Transactions on Computational Logic (TOCL)
Structured coalgebras and minimal HD-automata for the π-calculus
Theoretical Computer Science - Mathematical foundations of computer science 2000
Theoretical Computer Science - Mathematical foundations of computer science 2000
A fuzzy approach for negotiating quality of services
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
A process calculus for qos-aware applications
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Service Discovery and Negotiation With COWS
Electronic Notes in Theoretical Computer Science (ENTCS)
Parametric synchronizations in mobile nominal calculi
Theoretical Computer Science
Semiring-Based Soft Constraints
Concurrency, Graphs and Models
Business Process Modeling for Organizational Knowledge Management
Concurrency, Graphs and Models
A Category of Explicit Fusions
Concurrency, Graphs and Models
What Do Semantics Matter When the Meat Is Overcooked?
Concurrency, Graphs and Models
Session and Union Types for Object Oriented Programming
Concurrency, Graphs and Models
Specifying and Analysing SOC Applications with COWS
Concurrency, Graphs and Models
Abstract Semantics by Observable Contexts
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
A Categorical Model of the Fusion Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Engineering of Software-Intensive Systems: State of the Art and Research Challenges
Software-Intensive Systems and New Computing Paradigms
StPowla: SOA, Policies and Workflows
Service-Oriented Computing - ICSOC 2007 Workshops
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation
Electronic Notes in Theoretical Computer Science (ENTCS)
Structured Communications with Concurrent Constraints
Trustworthy Global Computing
Calculi for Service-Oriented Computing
Formal Methods for Web Services
Explaining the Non-compliance between Templates and Agreement Offers in WS-Agreement
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
SENSORIA process calculi for service-oriented computing
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
A probabilistic applied pi-calculus
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Open bisimulation for the concurrent constraint pi-calculus
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Transactional service level agreement
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Coalgebraic symbolic semantics
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Families of Symmetries as Efficient Models of Resource Binding
Electronic Notes in Theoretical Computer Science (ENTCS)
Concurrent and reactive constraint programming
A 25-year perspective on logic programming
Sessions and session types: an overview
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
A theory of design-by-contract for distributed multiparty interactions
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
A unifying formal basis for the SENSORIA approach: a white paper
Rigorous software engineering for service-oriented systems
The SENSORIA reference modelling language
Rigorous software engineering for service-oriented systems
Model-driven development of adaptable service-oriented business processes
Rigorous software engineering for service-oriented systems
Call-by-contract for service discovery, orchestration and recovery
Rigorous software engineering for service-oriented systems
CC-Pi: a constraint language for service negotiation and composition
Rigorous software engineering for service-oriented systems
An energy aware framework for virtual machine placement in cloud federated data centres
Proceedings of the 3rd International Conference on Future Energy Systems: Where Energy, Computing and Communication Meet
A survey of constraint-based programming paradigms
Computer Science Review
A Presheaf Environment for the Explicit Fusion Calculus
Journal of Automated Reasoning
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process
Fundamenta Informaticae
Constraints for service contracts
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Orchestrating tuple-based languages
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
On the realizability of contracts in dishonest systems
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Spatial and epistemic modalities in constraint-based process calculi
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
A theory of agreements and protection
POST'13 Proceedings of the Second international conference on Principles of Security and Trust
Combining declarative and procedural views in the specification and analysis of product families
Proceedings of the 17th International Software Product Line Conference co-located workshops
QoS-aware management of monotonic service orchestrations
Formal Methods in System Design
Hi-index | 0.00 |
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.