The following information was submitted:
Transactions: WSEAS TRANSACTIONS ON COMPUTERS
Transactions ID Number: 27-561
Full Name: Peter Kurdel
Position: Researcher
Age: ON
Sex: Male
Address: Institute of Informatics, SAS, Dubravska cesta 9, 84507 Bratislava
Country: SLOVAKIA
Tel: +421 2 5941 1182
Tel prefix: +421 2
Fax: +421 2 5477 1004
E-mail address: peter.kurdel@savba.sk
Other E-mails: sebestyenova@savba.sk
Title of the Paper: Grid Workflows Specification and Verification
Authors as they appear in the Paper: Peter Kurdel, Jolana Sebestyénová
Email addresses of all the authors: peter.kurdel@savba.sk,sebestyenova@savba.sk
Number of paper pages: 10
Abstract: 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 identi!
fy any violations of the correctness in workflow specification and consequently remove them in time.
Keywords: Distributed computing, Grid infrastructure, Service orchestration, Workflow management system, Verification, Web portal
EXTENSION of the file: .pdf
Special (Invited) Session: Verification of Grid Workflows
Organizer of the Session: 591-211
How Did you learn about congress:
IP ADDRESS: 147.213.65.214
