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