4286 search results - page 206 / 858 » Formalizing Service Interactions |
214
click to vote
DKE
2008
15 years 6 months ago
2008
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri ...
136
click to vote
BPM
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We put forward an architectural framework that promotes the externalisation of the social dimension that arises in software-intensive systems which, like in healthcare, e...
177
click to vote
SACMAT
2006
ACM
16 years 11 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
143
click to vote
ISI
2004
Springer
15 years 11 months ago
2004
Springer
Counterterrorism and intelligence tasks rely on the efficient collection, analysis and dissemination of information. While information systems play a key role in such tasks, databa...
167
click to vote
ACRI
2004
Springer
15 years 10 months ago
2004
Springer
The modelling of wildland fire spread across a heterogeneous landscape is significant because fire dynamics are sensitive to local spatial characteristics. The development of accur...