Sciweavers

5904 search results - page 7 / 1181
» Requirements for a Composition Language
Sort
View
WEBDB
2005
Springer
132views Database» more  WEBDB 2005»
14 years 1 months ago
On the role of composition in XQuery
Nonrecursive XQuery is known to be hard for nondeterministic exponential time. Thus it is commonly believed that any algorithm for evaluating XQuery has to require exponential amo...
Christoph Koch
WISE
2006
Springer
14 years 1 months ago
Pattern Based Property Specification and Verification for Service Composition
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
Jian Yu, Tan Phan Manh, Jun Han, Yan Jin, Yanbo Ha...
MODELS
2009
Springer
14 years 5 days ago
An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example
Abstract. Predefined composite operations are handy for efficient modeling, e.g., for the automatic execution of refactorings, and for the introduction of patterns in existing mod...
Petra Brosch, Philip Langer, Martina Seidl, Konrad...
ECOWS
2007
Springer
14 years 1 months ago
Management Requirements of Web Service Compositions
Several works have addressed the management of individual Web Services. However, the specific management requirements of workflow-based web service compositions such as those speci...
Anis Charfi, Rainer Berbner, Mira Mezini, Ralf Ste...
TCS
2002
13 years 7 months ago
A truly concurrent semantics for a process algebra using resource pomsets
In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are defined in terms of the resources they need to execute, which allo...
Paul Gastin, Michael W. Mislove