Sciweavers

222 search results - page 16 / 45
» A Multi-Perspective Approach for Modeling Workflows
Sort
View
CLADE
2008
IEEE
15 years 6 months ago
SWARM: a scientific workflow for supporting bayesian approaches to improve metabolic models
With the exponential growth of complete genome sequences, the analysis of these sequences is becoming a powerful approach to build genome-scale metabolic models. These models can ...
Xinghua Shi, Rick Stevens
ASM
2008
ASM
15 years 2 months ago
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
Egon Börger, Bernhard Thalheim
89
Voted
ISPW
2006
IEEE
15 years 6 months ago
Workflows and Cooperative Processes
Workflows emphasize the partial order of activities, and the flow of data between activities. In contrast, cooperative processes emphasize the sharing of artefact, and its gradual ...
Jacky Estublier, Sergio Garcia
69
Voted
SOCA
2007
IEEE
15 years 6 months ago
A Model Checking Approach to Verify BPEL4WS Workflows
Domenico Bianculli, Carlo Ghezzi, Paola Spoletini