Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Partial constraint satisfaction
Artificial Intelligence - Special volume on constraint-based reasoning
A calculus of mobile processes, I
Information and Computation
The reflexive CHAM and the join-calculus
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services
Journal of Network and Systems Management
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Communications of the ACM - Service-oriented computing
WS-Negotiation: An Overview of Research Issues
HICSS '04 Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 1 - Volume 1
WS-Negotiation: An Overview of Research Issues
HICSS '04 Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 1 - Volume 1
Semirings for Soft Constraint Solving and Programming (LECTURE NOTES IN COMPUTER SCIENCE)
Semirings for Soft Constraint Solving and Programming (LECTURE NOTES IN COMPUTER SCIENCE)
Semantic Web Service Discovery in the OWL-S IDE
HICSS '06 Proceedings of the 39th Annual Hawaii International Conference on System Sciences - Volume 06
Soft concurrent constraint programming
ACM Transactions on Computational Logic (TOCL)
Theoretical Computer Science - Mathematical foundations of computer science 2000
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Structured communication-centred programming for web services
ESOP'07 Proceedings of the 16th European conference on Programming
CC-Pi: a constraint-based language for specifying service level agreements
ESOP'07 Proceedings of the 16th European conference on Programming
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
Contract based multi-party service composition
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Regulating data exchange in service oriented applications
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
A fuzzy approach for negotiating quality of services
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
SOCK: a calculus for service oriented computing
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Foundations of web transactions
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
A process calculus for qos-aware applications
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
SCC: a service centered calculus
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Choreography and orchestration conformance for system design
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
A WSDL-based type system for WS-BPEL
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Security issues in service composition
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A trace semantics for long-running transactions
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Specifying and Analysing SOC Applications with COWS
Concurrency, Graphs and Models
From Architectural to Behavioural Specification of Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform formalism for modelling all the relevant phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, deployment and execution. In this paper, we show that constraints and operations on them can be smoothly incorporated in COWS, and propose a disciplined way to model multisets of constraints and to manipulate them through appropriate interaction protocols. Therefore, we demonstrate that also QoS requirement specifications and SLA achievements, and the phases of dynamic service discovery and negotiation can be comfortably modelled in COWS. We illustrate our approach through a scenario for a service-based web hosting provider.