Petri net based Grid workflow verification and optimization
Abstract Graphical workflow modeling tools, such as UML and DAG, can facilitate users to express workflow process logic, but lack of abilities to carry out simulation and correctness checking. In this paper, based on Petri net, we propose a service composition oriented Grid workflow model and its re...
Ausführliche Beschreibung
Gespeichert in:
| Autor*in: |
Cao, Haijun [verfasserIn] |
|---|
| Format: |
Artikel |
|---|---|
| Sprache: |
Englisch |
| Erschienen: |
2011 |
|---|
| Schlagwörter: |
|---|
| Anmerkung: |
© Springer Science+Business Media, LLC 2011 |
|---|
| Übergeordnetes Werk: |
Enthalten in: The journal of supercomputing - Springer US, 1987, 66(2011), 3 vom: 17. Aug., Seite 1215-1230 |
|---|---|
| Übergeordnetes Werk: |
volume:66 ; year:2011 ; number:3 ; day:17 ; month:08 ; pages:1215-1230 |
| Links: |
|---|
| DOI / URN: |
10.1007/s11227-011-0668-3 |
|---|
| Katalog-ID: |
OLC2033943399 |
|---|
| LEADER | 01000caa a22002652 4500 | ||
|---|---|---|---|
| 001 | OLC2033943399 | ||
| 003 | DE-627 | ||
| 005 | 20230504053809.0 | ||
| 007 | tu | ||
| 008 | 200819s2011 xx ||||| 00| ||eng c | ||
| 024 | 7 | |a 10.1007/s11227-011-0668-3 |2 doi | |
| 035 | |a (DE-627)OLC2033943399 | ||
| 035 | |a (DE-He213)s11227-011-0668-3-p | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
| 041 | |a eng | ||
| 082 | 0 | 4 | |a 004 |a 620 |q VZ |
| 100 | 1 | |a Cao, Haijun |e verfasserin |4 aut | |
| 245 | 1 | 0 | |a Petri net based Grid workflow verification and optimization |
| 264 | 1 | |c 2011 | |
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
| 338 | |a Band |b nc |2 rdacarrier | ||
| 500 | |a © Springer Science+Business Media, LLC 2011 | ||
| 520 | |a Abstract Graphical workflow modeling tools, such as UML and DAG, can facilitate users to express workflow process logic, but lack of abilities to carry out simulation and correctness checking. In this paper, based on Petri net, we propose a service composition oriented Grid workflow model and its related six elementary workflow patterns: sequence, condition, iteration, concurrency, synchronization, and triggering. In addition, we present our Grid workflow analysis approaches on three aspects: workflow reachability verification, workflow deadlock verification, and workflow optimization. The experimental results show that our workflow verification and optimization mechanisms are feasible and efficient. | ||
| 650 | 4 | |a Grid workflow | |
| 650 | 4 | |a Workflow modeling | |
| 650 | 4 | |a Reachability verification | |
| 650 | 4 | |a Deadlock verification | |
| 650 | 4 | |a Workflow optimization | |
| 700 | 1 | |a Jin, Hai |4 aut | |
| 700 | 1 | |a Wu, Song |4 aut | |
| 700 | 1 | |a Ibrahim, Shadi |4 aut | |
| 773 | 0 | 8 | |i Enthalten in |t The journal of supercomputing |d Springer US, 1987 |g 66(2011), 3 vom: 17. Aug., Seite 1215-1230 |w (DE-627)13046466X |w (DE-600)740510-8 |w (DE-576)018667775 |x 0920-8542 |7 nnns |
| 773 | 1 | 8 | |g volume:66 |g year:2011 |g number:3 |g day:17 |g month:08 |g pages:1215-1230 |
| 856 | 4 | 1 | |u https://doi.org/10.1007/s11227-011-0668-3 |z lizenzpflichtig |3 Volltext |
| 912 | |a GBV_USEFLAG_A | ||
| 912 | |a SYSFLAG_A | ||
| 912 | |a GBV_OLC | ||
| 912 | |a SSG-OLC-TEC | ||
| 912 | |a SSG-OLC-MAT | ||
| 912 | |a GBV_ILN_70 | ||
| 951 | |a AR | ||
| 952 | |d 66 |j 2011 |e 3 |b 17 |c 08 |h 1215-1230 | ||
| author_variant |
h c hc h j hj s w sw s i si |
|---|---|
| matchkey_str |
article:09208542:2011----::erntaegiwrfovrfctoa |
| hierarchy_sort_str |
2011 |
| publishDate |
2011 |
| allfields |
10.1007/s11227-011-0668-3 doi (DE-627)OLC2033943399 (DE-He213)s11227-011-0668-3-p DE-627 ger DE-627 rakwb eng 004 620 VZ Cao, Haijun verfasserin aut Petri net based Grid workflow verification and optimization 2011 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer Science+Business Media, LLC 2011 Abstract Graphical workflow modeling tools, such as UML and DAG, can facilitate users to express workflow process logic, but lack of abilities to carry out simulation and correctness checking. In this paper, based on Petri net, we propose a service composition oriented Grid workflow model and its related six elementary workflow patterns: sequence, condition, iteration, concurrency, synchronization, and triggering. In addition, we present our Grid workflow analysis approaches on three aspects: workflow reachability verification, workflow deadlock verification, and workflow optimization. The experimental results show that our workflow verification and optimization mechanisms are feasible and efficient. Grid workflow Workflow modeling Reachability verification Deadlock verification Workflow optimization Jin, Hai aut Wu, Song aut Ibrahim, Shadi aut Enthalten in The journal of supercomputing Springer US, 1987 66(2011), 3 vom: 17. Aug., Seite 1215-1230 (DE-627)13046466X (DE-600)740510-8 (DE-576)018667775 0920-8542 nnns volume:66 year:2011 number:3 day:17 month:08 pages:1215-1230 https://doi.org/10.1007/s11227-011-0668-3 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT GBV_ILN_70 AR 66 2011 3 17 08 1215-1230 |
| spelling |
10.1007/s11227-011-0668-3 doi (DE-627)OLC2033943399 (DE-He213)s11227-011-0668-3-p DE-627 ger DE-627 rakwb eng 004 620 VZ Cao, Haijun verfasserin aut Petri net based Grid workflow verification and optimization 2011 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer Science+Business Media, LLC 2011 Abstract Graphical workflow modeling tools, such as UML and DAG, can facilitate users to express workflow process logic, but lack of abilities to carry out simulation and correctness checking. In this paper, based on Petri net, we propose a service composition oriented Grid workflow model and its related six elementary workflow patterns: sequence, condition, iteration, concurrency, synchronization, and triggering. In addition, we present our Grid workflow analysis approaches on three aspects: workflow reachability verification, workflow deadlock verification, and workflow optimization. The experimental results show that our workflow verification and optimization mechanisms are feasible and efficient. Grid workflow Workflow modeling Reachability verification Deadlock verification Workflow optimization Jin, Hai aut Wu, Song aut Ibrahim, Shadi aut Enthalten in The journal of supercomputing Springer US, 1987 66(2011), 3 vom: 17. Aug., Seite 1215-1230 (DE-627)13046466X (DE-600)740510-8 (DE-576)018667775 0920-8542 nnns volume:66 year:2011 number:3 day:17 month:08 pages:1215-1230 https://doi.org/10.1007/s11227-011-0668-3 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT GBV_ILN_70 AR 66 2011 3 17 08 1215-1230 |
| allfields_unstemmed |
10.1007/s11227-011-0668-3 doi (DE-627)OLC2033943399 (DE-He213)s11227-011-0668-3-p DE-627 ger DE-627 rakwb eng 004 620 VZ Cao, Haijun verfasserin aut Petri net based Grid workflow verification and optimization 2011 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer Science+Business Media, LLC 2011 Abstract Graphical workflow modeling tools, such as UML and DAG, can facilitate users to express workflow process logic, but lack of abilities to carry out simulation and correctness checking. In this paper, based on Petri net, we propose a service composition oriented Grid workflow model and its related six elementary workflow patterns: sequence, condition, iteration, concurrency, synchronization, and triggering. In addition, we present our Grid workflow analysis approaches on three aspects: workflow reachability verification, workflow deadlock verification, and workflow optimization. The experimental results show that our workflow verification and optimization mechanisms are feasible and efficient. Grid workflow Workflow modeling Reachability verification Deadlock verification Workflow optimization Jin, Hai aut Wu, Song aut Ibrahim, Shadi aut Enthalten in The journal of supercomputing Springer US, 1987 66(2011), 3 vom: 17. Aug., Seite 1215-1230 (DE-627)13046466X (DE-600)740510-8 (DE-576)018667775 0920-8542 nnns volume:66 year:2011 number:3 day:17 month:08 pages:1215-1230 https://doi.org/10.1007/s11227-011-0668-3 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT GBV_ILN_70 AR 66 2011 3 17 08 1215-1230 |
| allfieldsGer |
10.1007/s11227-011-0668-3 doi (DE-627)OLC2033943399 (DE-He213)s11227-011-0668-3-p DE-627 ger DE-627 rakwb eng 004 620 VZ Cao, Haijun verfasserin aut Petri net based Grid workflow verification and optimization 2011 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer Science+Business Media, LLC 2011 Abstract Graphical workflow modeling tools, such as UML and DAG, can facilitate users to express workflow process logic, but lack of abilities to carry out simulation and correctness checking. In this paper, based on Petri net, we propose a service composition oriented Grid workflow model and its related six elementary workflow patterns: sequence, condition, iteration, concurrency, synchronization, and triggering. In addition, we present our Grid workflow analysis approaches on three aspects: workflow reachability verification, workflow deadlock verification, and workflow optimization. The experimental results show that our workflow verification and optimization mechanisms are feasible and efficient. Grid workflow Workflow modeling Reachability verification Deadlock verification Workflow optimization Jin, Hai aut Wu, Song aut Ibrahim, Shadi aut Enthalten in The journal of supercomputing Springer US, 1987 66(2011), 3 vom: 17. Aug., Seite 1215-1230 (DE-627)13046466X (DE-600)740510-8 (DE-576)018667775 0920-8542 nnns volume:66 year:2011 number:3 day:17 month:08 pages:1215-1230 https://doi.org/10.1007/s11227-011-0668-3 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT GBV_ILN_70 AR 66 2011 3 17 08 1215-1230 |
| allfieldsSound |
10.1007/s11227-011-0668-3 doi (DE-627)OLC2033943399 (DE-He213)s11227-011-0668-3-p DE-627 ger DE-627 rakwb eng 004 620 VZ Cao, Haijun verfasserin aut Petri net based Grid workflow verification and optimization 2011 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer Science+Business Media, LLC 2011 Abstract Graphical workflow modeling tools, such as UML and DAG, can facilitate users to express workflow process logic, but lack of abilities to carry out simulation and correctness checking. In this paper, based on Petri net, we propose a service composition oriented Grid workflow model and its related six elementary workflow patterns: sequence, condition, iteration, concurrency, synchronization, and triggering. In addition, we present our Grid workflow analysis approaches on three aspects: workflow reachability verification, workflow deadlock verification, and workflow optimization. The experimental results show that our workflow verification and optimization mechanisms are feasible and efficient. Grid workflow Workflow modeling Reachability verification Deadlock verification Workflow optimization Jin, Hai aut Wu, Song aut Ibrahim, Shadi aut Enthalten in The journal of supercomputing Springer US, 1987 66(2011), 3 vom: 17. Aug., Seite 1215-1230 (DE-627)13046466X (DE-600)740510-8 (DE-576)018667775 0920-8542 nnns volume:66 year:2011 number:3 day:17 month:08 pages:1215-1230 https://doi.org/10.1007/s11227-011-0668-3 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT GBV_ILN_70 AR 66 2011 3 17 08 1215-1230 |
| language |
English |
| source |
Enthalten in The journal of supercomputing 66(2011), 3 vom: 17. Aug., Seite 1215-1230 volume:66 year:2011 number:3 day:17 month:08 pages:1215-1230 |
| sourceStr |
Enthalten in The journal of supercomputing 66(2011), 3 vom: 17. Aug., Seite 1215-1230 volume:66 year:2011 number:3 day:17 month:08 pages:1215-1230 |
| format_phy_str_mv |
Article |
| institution |
findex.gbv.de |
| topic_facet |
Grid workflow Workflow modeling Reachability verification Deadlock verification Workflow optimization |
| dewey-raw |
004 |
| isfreeaccess_bool |
false |
| container_title |
The journal of supercomputing |
| authorswithroles_txt_mv |
Cao, Haijun @@aut@@ Jin, Hai @@aut@@ Wu, Song @@aut@@ Ibrahim, Shadi @@aut@@ |
| publishDateDaySort_date |
2011-08-17T00:00:00Z |
| hierarchy_top_id |
13046466X |
| dewey-sort |
14 |
| id |
OLC2033943399 |
| language_de |
englisch |
| fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC2033943399</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230504053809.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">200819s2011 xx ||||| 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/s11227-011-0668-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC2033943399</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)s11227-011-0668-3-p</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield><subfield code="a">620</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Cao, Haijun</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Petri net based Grid workflow verification and optimization</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2011</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">© Springer Science+Business Media, LLC 2011</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Abstract Graphical workflow modeling tools, such as UML and DAG, can facilitate users to express workflow process logic, but lack of abilities to carry out simulation and correctness checking. In this paper, based on Petri net, we propose a service composition oriented Grid workflow model and its related six elementary workflow patterns: sequence, condition, iteration, concurrency, synchronization, and triggering. In addition, we present our Grid workflow analysis approaches on three aspects: workflow reachability verification, workflow deadlock verification, and workflow optimization. The experimental results show that our workflow verification and optimization mechanisms are feasible and efficient.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Grid workflow</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Workflow modeling</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reachability verification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Deadlock verification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Workflow optimization</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jin, Hai</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wu, Song</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ibrahim, Shadi</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">The journal of supercomputing</subfield><subfield code="d">Springer US, 1987</subfield><subfield code="g">66(2011), 3 vom: 17. Aug., Seite 1215-1230</subfield><subfield code="w">(DE-627)13046466X</subfield><subfield code="w">(DE-600)740510-8</subfield><subfield code="w">(DE-576)018667775</subfield><subfield code="x">0920-8542</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:66</subfield><subfield code="g">year:2011</subfield><subfield code="g">number:3</subfield><subfield code="g">day:17</subfield><subfield code="g">month:08</subfield><subfield code="g">pages:1215-1230</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.1007/s11227-011-0668-3</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-TEC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">66</subfield><subfield code="j">2011</subfield><subfield code="e">3</subfield><subfield code="b">17</subfield><subfield code="c">08</subfield><subfield code="h">1215-1230</subfield></datafield></record></collection>
|
| author |
Cao, Haijun |
| spellingShingle |
Cao, Haijun ddc 004 misc Grid workflow misc Workflow modeling misc Reachability verification misc Deadlock verification misc Workflow optimization Petri net based Grid workflow verification and optimization |
| authorStr |
Cao, Haijun |
| ppnlink_with_tag_str_mv |
@@773@@(DE-627)13046466X |
| format |
Article |
| dewey-ones |
004 - Data processing & computer science 620 - Engineering & allied operations |
| delete_txt_mv |
keep |
| author_role |
aut aut aut aut |
| collection |
OLC |
| remote_str |
false |
| illustrated |
Not Illustrated |
| issn |
0920-8542 |
| topic_title |
004 620 VZ Petri net based Grid workflow verification and optimization Grid workflow Workflow modeling Reachability verification Deadlock verification Workflow optimization |
| topic |
ddc 004 misc Grid workflow misc Workflow modeling misc Reachability verification misc Deadlock verification misc Workflow optimization |
| topic_unstemmed |
ddc 004 misc Grid workflow misc Workflow modeling misc Reachability verification misc Deadlock verification misc Workflow optimization |
| topic_browse |
ddc 004 misc Grid workflow misc Workflow modeling misc Reachability verification misc Deadlock verification misc Workflow optimization |
| format_facet |
Aufsätze Gedruckte Aufsätze |
| format_main_str_mv |
Text Zeitschrift/Artikel |
| carriertype_str_mv |
nc |
| hierarchy_parent_title |
The journal of supercomputing |
| hierarchy_parent_id |
13046466X |
| dewey-tens |
000 - Computer science, knowledge & systems 620 - Engineering |
| hierarchy_top_title |
The journal of supercomputing |
| isfreeaccess_txt |
false |
| familylinks_str_mv |
(DE-627)13046466X (DE-600)740510-8 (DE-576)018667775 |
| title |
Petri net based Grid workflow verification and optimization |
| ctrlnum |
(DE-627)OLC2033943399 (DE-He213)s11227-011-0668-3-p |
| title_full |
Petri net based Grid workflow verification and optimization |
| author_sort |
Cao, Haijun |
| journal |
The journal of supercomputing |
| journalStr |
The journal of supercomputing |
| lang_code |
eng |
| isOA_bool |
false |
| dewey-hundreds |
000 - Computer science, information & general works 600 - Technology |
| recordtype |
marc |
| publishDateSort |
2011 |
| contenttype_str_mv |
txt |
| container_start_page |
1215 |
| author_browse |
Cao, Haijun Jin, Hai Wu, Song Ibrahim, Shadi |
| container_volume |
66 |
| class |
004 620 VZ |
| format_se |
Aufsätze |
| author-letter |
Cao, Haijun |
| doi_str_mv |
10.1007/s11227-011-0668-3 |
| dewey-full |
004 620 |
| title_sort |
petri net based grid workflow verification and optimization |
| title_auth |
Petri net based Grid workflow verification and optimization |
| abstract |
Abstract Graphical workflow modeling tools, such as UML and DAG, can facilitate users to express workflow process logic, but lack of abilities to carry out simulation and correctness checking. In this paper, based on Petri net, we propose a service composition oriented Grid workflow model and its related six elementary workflow patterns: sequence, condition, iteration, concurrency, synchronization, and triggering. In addition, we present our Grid workflow analysis approaches on three aspects: workflow reachability verification, workflow deadlock verification, and workflow optimization. The experimental results show that our workflow verification and optimization mechanisms are feasible and efficient. © Springer Science+Business Media, LLC 2011 |
| abstractGer |
Abstract Graphical workflow modeling tools, such as UML and DAG, can facilitate users to express workflow process logic, but lack of abilities to carry out simulation and correctness checking. In this paper, based on Petri net, we propose a service composition oriented Grid workflow model and its related six elementary workflow patterns: sequence, condition, iteration, concurrency, synchronization, and triggering. In addition, we present our Grid workflow analysis approaches on three aspects: workflow reachability verification, workflow deadlock verification, and workflow optimization. The experimental results show that our workflow verification and optimization mechanisms are feasible and efficient. © Springer Science+Business Media, LLC 2011 |
| abstract_unstemmed |
Abstract Graphical workflow modeling tools, such as UML and DAG, can facilitate users to express workflow process logic, but lack of abilities to carry out simulation and correctness checking. In this paper, based on Petri net, we propose a service composition oriented Grid workflow model and its related six elementary workflow patterns: sequence, condition, iteration, concurrency, synchronization, and triggering. In addition, we present our Grid workflow analysis approaches on three aspects: workflow reachability verification, workflow deadlock verification, and workflow optimization. The experimental results show that our workflow verification and optimization mechanisms are feasible and efficient. © Springer Science+Business Media, LLC 2011 |
| collection_details |
GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT GBV_ILN_70 |
| container_issue |
3 |
| title_short |
Petri net based Grid workflow verification and optimization |
| url |
https://doi.org/10.1007/s11227-011-0668-3 |
| remote_bool |
false |
| author2 |
Jin, Hai Wu, Song Ibrahim, Shadi |
| author2Str |
Jin, Hai Wu, Song Ibrahim, Shadi |
| ppnlink |
13046466X |
| mediatype_str_mv |
n |
| isOA_txt |
false |
| hochschulschrift_bool |
false |
| doi_str |
10.1007/s11227-011-0668-3 |
| up_date |
2024-07-03T19:00:18.691Z |
| _version_ |
1803585552324231168 |
| fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC2033943399</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230504053809.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">200819s2011 xx ||||| 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/s11227-011-0668-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC2033943399</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)s11227-011-0668-3-p</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield><subfield code="a">620</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Cao, Haijun</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Petri net based Grid workflow verification and optimization</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2011</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">© Springer Science+Business Media, LLC 2011</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Abstract Graphical workflow modeling tools, such as UML and DAG, can facilitate users to express workflow process logic, but lack of abilities to carry out simulation and correctness checking. In this paper, based on Petri net, we propose a service composition oriented Grid workflow model and its related six elementary workflow patterns: sequence, condition, iteration, concurrency, synchronization, and triggering. In addition, we present our Grid workflow analysis approaches on three aspects: workflow reachability verification, workflow deadlock verification, and workflow optimization. The experimental results show that our workflow verification and optimization mechanisms are feasible and efficient.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Grid workflow</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Workflow modeling</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reachability verification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Deadlock verification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Workflow optimization</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jin, Hai</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wu, Song</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ibrahim, Shadi</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">The journal of supercomputing</subfield><subfield code="d">Springer US, 1987</subfield><subfield code="g">66(2011), 3 vom: 17. Aug., Seite 1215-1230</subfield><subfield code="w">(DE-627)13046466X</subfield><subfield code="w">(DE-600)740510-8</subfield><subfield code="w">(DE-576)018667775</subfield><subfield code="x">0920-8542</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:66</subfield><subfield code="g">year:2011</subfield><subfield code="g">number:3</subfield><subfield code="g">day:17</subfield><subfield code="g">month:08</subfield><subfield code="g">pages:1215-1230</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.1007/s11227-011-0668-3</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-TEC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">66</subfield><subfield code="j">2011</subfield><subfield code="e">3</subfield><subfield code="b">17</subfield><subfield code="c">08</subfield><subfield code="h">1215-1230</subfield></datafield></record></collection>
|
| score |
7.4018965 |