{"id":"https://openalex.org/W2121928872","doi":"https://doi.org/10.3233/fi-2009-0075","title":"Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I","display_name":"Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I","publication_year":2009,"publication_date":"2009-05-01","ids":{"openalex":"https://openalex.org/W2121928872","doi":"https://doi.org/10.3233/fi-2009-0075","mag":"2121928872"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2009-0075","doi":"https://doi.org/10.3233/fi-2009-0075","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2009-0075","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","ccf-c","cwts-core","ddh","dongbi-b","jufo-1","norway-1","poland-70","russia-white-list-1"],"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091346096","display_name":"Jacek Sroka","orcid":"https://orcid.org/0000-0002-1714-9667","observed_orcids":["https://orcid.org/0000-0002-1714-9667"]},"institutions":[{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Jacek Sroka","raw_affiliation_strings":["Institute of Informatics, University of Warsaw, Poland.\r\t\t\t sroka@mimuw.edu.pl","(Correspd.) Institute of Informatics, University of Warsaw, Poland. sroka@mimuw.edu.pl#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Informatics, University of Warsaw, Poland.\r\t\t\t sroka@mimuw.edu.pl","institution_ids":["https://openalex.org/I4654613"]},{"raw_affiliation_string":"(Correspd.) Institute of Informatics, University of Warsaw, Poland. sroka@mimuw.edu.pl#TAB#","institution_ids":["https://openalex.org/I4654613"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068967246","display_name":"Jan Hidders","orcid":"https://orcid.org/0000-0002-8865-4329","observed_orcids":["https://orcid.org/0000-0002-8865-4329"]},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jan Hidders","raw_affiliation_strings":["Faculty EEMCS, Delft University of Technology, The\r\t\t\t Netherlands. a.j.h.hidders@tudelft.nl"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty EEMCS, Delft University of Technology, The\r\t\t\t Netherlands. a.j.h.hidders@tudelft.nl","institution_ids":["https://openalex.org/I98358874"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":4150,"currency":"USD","value_usd":4150},"apc_paid":null,"fwci":0.8052,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.79672276,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":"92","issue":"3","first_page":"279","last_page":"299"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.8701000213623047,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.8701000213623047,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.06880000233650208,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.03799999877810478,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/taverna","display_name":"Taverna","score":0.6610000133514404},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"formal semantics","score":0.8040000200271606},{"id":"https://openalex.org/keywords/workflow-languages","display_name":"workflow languages","score":0.6600000262260437},{"id":"https://openalex.org/keywords/workflow-enactment","display_name":"workflow enactment","score":0.7419999837875366},{"id":"https://openalex.org/keywords/bioinformatics-pipeline","display_name":"bioinformatics pipeline","score":0.5910000205039978},{"id":"https://openalex.org/keywords/type-coercion","display_name":"type coercion","score":0.8080000281333923},{"id":"https://openalex.org/keywords/implicit-iteration","display_name":"implicit iteration","score":0.8859999775886536},{"id":"https://openalex.org/keywords/failure-mechanisms","display_name":"failure mechanisms","score":0.8090000152587891},{"id":"https://openalex.org/keywords/correctness-verification","display_name":"correctness verification","score":0.7609999775886536},{"id":"https://openalex.org/keywords/workflow-repositories","display_name":"workflow repositories","score":0.6589999794960022}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8098810911178589},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.7398943901062012},{"id":"https://openalex.org/C2779145975","wikidata":"https://www.wikidata.org/wiki/Q347690","display_name":"Workbench","level":3,"score":0.6778446435928345},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6105334758758545},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5971908569335938},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5682075619697571},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.4750642478466034},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4288960099220276},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4222659170627594},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.42125535011291504},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3619633913040161},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34518182277679443},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.25109946727752686},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.1901046335697174}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/fi-2009-0075","doi":"https://doi.org/10.3233/fi-2009-0075","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2009-0075","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","ccf-c","cwts-core","ddh","dongbi-b","jufo-1","norway-1","poland-70","russia-white-list-1"],"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1575816866","https://openalex.org/W1814568923","https://openalex.org/W1855254770","https://openalex.org/W1983833794","https://openalex.org/W1996423252","https://openalex.org/W2028133921","https://openalex.org/W2066003039","https://openalex.org/W2081177492","https://openalex.org/W2097832942","https://openalex.org/W2102717009","https://openalex.org/W2106468692","https://openalex.org/W2109451636","https://openalex.org/W2128401479","https://openalex.org/W2129466958","https://openalex.org/W2133349334","https://openalex.org/W2158527924","https://openalex.org/W2168103533","https://openalex.org/W2168130050","https://openalex.org/W2172143128","https://openalex.org/W3150497758"],"related_works":["https://openalex.org/W4405647999","https://openalex.org/W2109451636","https://openalex.org/W7219935630","https://openalex.org/W2134318033","https://openalex.org/W103111464","https://openalex.org/W2094778802","https://openalex.org/W2031067996","https://openalex.org/W2367666578","https://openalex.org/W2125147053","https://openalex.org/W2094807884"],"abstract_inverted_index":{"Workflow":[0],"development":[1],"and":[2,25,31,61,95,99,106,113,123,158,170,198,218,226,242],"enactment":[3,196],"workbenches":[4],"are":[5,18,88],"becoming":[6],"a":[7,34,45,67,131,145],"standard":[8],"tool":[9],"for":[10,71,193,222],"conducting":[11],"in":[12,90,121,144,199,230],"silico":[13],"experiments.":[14],"Their":[15],"main":[16],"advantages":[17],"easy":[19],"to":[20,137,174,203,238,250],"operate":[21],"user":[22],"interfaces,":[23],"specialized":[24],"expressive":[26],"graphical":[27],"workflow":[28,75,175,206],"specification":[29],"languages":[30],"integration":[32],"with":[33],"huge":[35],"number":[36],"of":[37,43,78,129,162,213,253],"bioinformatic":[38],"services.":[39],"A":[40,187],"popular":[41],"example":[42],"such":[44,130],"workbench":[46],"is":[47,141,149,190,210],"Taverna,":[48],"which":[49],"has":[50,83],"many":[51],"additional":[52],"useful":[53],"features":[54,86,112],"like":[55],"service":[56],"discovery,":[57],"storing":[58],"intermediate":[59],"results":[60],"tracking":[62],"data":[63],"provenance.":[64],"We":[65,109],"discuss":[66,124],"detailed":[68,132],"formal":[69,127,188],"semantics":[70,133,189,241],"Scufl":[72,224,254],"-":[73],"the":[74,79,151,160,177,201,211,231,240],"definition":[76,128,246],"language":[77],"Taverna":[80],"workbench.":[81],"It":[82,215],"several":[84],"interesting":[85],"that":[87,165,244],"notmet":[89],"other":[91],"models":[92],"including":[93],"dynamic":[94],"transparent":[96],"type":[97],"coercion":[98],"implicit":[100],"iteration,":[101],"control":[102],"edges,":[103],"failure":[104],"mechanisms,":[105],"incominglinks":[107],"strategies.":[108],"study":[110],"these":[111,236],"investigate":[114],"their":[115,227],"usefulness":[116],"separately":[117],"as":[118,120,180],"well":[119],"combination,":[122],"alternatives.":[125],"The":[126],"not":[134],"only":[135],"allows":[136,159],"exactly":[138],"understand":[139],"what":[140],"being":[142],"done":[143],"given":[146],"experiment,":[147],"but":[148],"also":[150,191],"first":[152,212],"step":[153],"toward":[154],"automatic":[155],"correctness":[156],"verification":[157],"creation":[161],"auxiliary":[163],"tools":[164],"would":[166],"detect":[167],"potential":[168],"errors":[169],"suggest":[171],"possible":[172],"solutions":[173],"creators,":[176],"same":[178],"way":[179],"Integrated":[181],"Development":[182],"Environments":[183],"aid":[184],"modern":[185],"programmers.":[186],"essential":[192],"work":[194],"on":[195],"optimization":[197],"designing":[200],"means":[202],"effectively":[204],"query":[205],"repositories.":[207],"This":[208],"paper":[209],"two.":[214],"defines,":[216],"explains":[217],"discusses":[219],"fundamental":[220],"notions":[221,237],"describing":[223],"graphs":[225],"semantics.":[228],"Then,":[229],"second":[232],"part,":[233],"we":[234],"use":[235],"define":[239],"show":[243],"our":[245],"can":[247],"be":[248],"used":[249],"prove":[251],"properties":[252],"graphs.":[255]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}