1532 search results - page 141 / 307 » An Algebraic Process Calculus |
137
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...
115
click to vote
TGC
2007
Springer
15 years 10 months ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
138
click to vote
EPEW
2005
Springer
15 years 10 months ago
2005
Springer
We describe a UML-based method which supports model-driven development of service-oriented architectures including those used in Web services. Analysable content is extracted from ...
143
click to vote
SEMWEB
2005
Springer
15 years 10 months ago
2005
Springer
Although Semantic Web service discovery has been extensively studied in the literature ([7], [12], [15] and [10]), we are far from achieving an effective, complete and automated di...
131
click to vote
GC
2004
Springer
15 years 10 months ago
2004
Springer
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...