Sciweavers

5 search results - page 1 / 1
» Towards a Formal Foundation for Aggregating Scientific Workf...
Sort
View
ICCS
2007
Springer
13 years 8 months ago
Towards a Formal Foundation for Aggregating Scientific Workflows
In e-Science, scientific workflow systems are used to share data and knowledge in collaborative experiments. In recent work we discussed the concepts of a workflow bus [1], allowin...
Frank Terpstra, Zhiming Zhao, Wico Mulder, Pieter ...
ICFEM
1998
Springer
13 years 9 months ago
Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...
Manfred Broy, Ingolf Krüger
DILS
2006
Springer
13 years 8 months ago
Towards a Model of Provenance and User Views in Scientific Workflows
Scientific experiments are becoming increasingly large and complex, with a commensurate increase in the amount and complexity of data generated. Data, both intermediate and final r...
Shirley Cohen, Sarah Cohen Boulakia, Susan B. Davi...
GI
2010
Springer
13 years 3 months ago
Towards Ontology-based QoS Aggregation for Composite Web Services
: Determining the QoS (quality of service) of composite Web services is of crucial importance for both service providers and consumers. However, service descriptions of constituent...
Paul Karaenke, Jörg Leukel
DEBU
2008
100views more  DEBU 2008»
13 years 4 months ago
WAVE: Automatic Verification of Data-Driven Web Services
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
Alin Deutsch, Victor Vianu