Sciweavers

1284 search results - page 31 / 257
» Abstract Processes in Orchestration Languages
Sort
View
FSTTCS
1998
Springer
14 years 22 days ago
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
Jean-Pierre Talpin, David Nowak
DEXA
2009
Springer
70views Database» more  DEXA 2009»
14 years 3 months ago
On the Termination Problem for Declarative XML Message Processing
Abstract. We define a formal syntax and semantics for the Rule Definition Language (RDL) of DemaqLite, which is a fragment of the declarative XML message processing system Demaq....
Tadeusz Litak, Sven Helmer
COORDINATION
2004
Springer
14 years 1 months ago
Using Coordination Middleware for Location-Aware Computing: A Lime Case Study
Abstract. The decoupling between behavior and communication fostered by coordination becomes of paramount importance in mobile computing. In this scenario, however, coordination te...
Amy L. Murphy, Gian Pietro Picco
HPCC
2007
Springer
14 years 2 months ago
CROWN FlowEngine: A GPEL-Based Grid Workflow Engine
Currently some complex grid applications developing often need orchestrate multiple diverse grid services into a workflow of tasks that can submit for executing on the grid environ...
Jin Zeng, Zongxia Du, Chunming Hu, Jinpeng Huai
EON
2008
13 years 10 months ago
Abductive Synthesis of the Mediator Scenario with jABC and GEM
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to...
Christian Kubczak, Tiziana Margaria, Matthias Kais...