Distributed and Parallel Databases
UML Activity Diagrams as a Workflow Specification Language
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Verification Problems in Conceptual Workflow Specifications
ER '96 Proceedings of the 15th International Conference on Conceptual Modeling
GridAnt: A Client-Controllable Grid Work.ow System
HICSS '04 Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 7 - Volume 7
Resource constraints analysis of workflow specifications
Journal of Systems and Software - Special issue: Applications of statistics in software engineering
A Service Workflow Management Framework Based on Peer-to-Peer and Agent Technologies
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Key research issues in grid workflow verification and validation
ACSW Frontiers '06 Proceedings of the 2006 Australasian workshops on Grid computing and e-research - Volume 54
Orchestration and Workflow in a mobile Grid environment
GCCW '06 Proceedings of the Fifth International Conference on Grid and Cooperative Computing Workshops
Concurrency and Computation: Practice & Experience - Autonomous Grid Computing
BPM'06 Proceedings of the 4th international conference on Business Process Management
Towards a Framework for Workflow Composition in Ontology Tailoring in Semantic Grid
ICCSA '09 Proceedings of the International Conference on Computational Science and Its Applications: Part II
| Hi-index | 0.00 |
Grids are being adopted and developed in several scientific disciplines that deal with large-scale collaboration, massive distributed data, and distributed computing problems. The service orchestration is a problem of making multiple services coordinate themselves and communicate in an orderly fashion so as to accomplish a task more complex than the single tasks provided by the individual composing services. Composition is devoted to the aim of connecting services in a collaborative fashion. A Grid workflow system is a type of application-level Grid middleware that is supposed to support modelling, redesign and execution of large-scale processes. A grid workflow can be represented by a grid workflow graph, where nodes correspond to activities and edges correspond to dependencies between activities, called flows. Verification is usually based on an extension of a kind of formal method. Grid workflow verification and validation must be conducted so that we can identify any violations of the correctness in workflow specification and consequently remove them in time.