3 search results - page 1 / 1 » Specifying and Analysing SOC Applications with COWS |
BIRTHDAY
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour.
FASE
2008
Springer
13 years 7 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
ENTCS
2008
13 years 5 months ago
2008
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 ...