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