3 search results - page 1 / 1 » Specifying and Analysing SOC Applications with COWS |
89
Voted
BIRTHDAY
2008
Springer
15 years 25 days ago
2008
Springer
Abstract. COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour.
107
click to vote
FASE
2008
Springer
15 years 18 days 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
14 years 11 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 ...