{"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","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,"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"},"type":"article","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"},"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":true,"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#"],"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"},"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"],"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":["https://openalex.org/A5091346096"],"corresponding_institution_ids":["https://openalex.org/I4654613"],"apc_list":null,"apc_paid":null,"fwci":1.9918,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.90091226,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":94},"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.9998999834060669,"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.9998999834060669,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11937","display_name":"Research Data Management Practices","score":0.9861999750137329,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/computer-science","display_name":"Computer science","score":0.8098810911178589},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.7398943901062012},{"id":"https://openalex.org/keywords/workbench","display_name":"Workbench","score":0.6778446435928345},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6105334758758545},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5971908569335938},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5682075619697571},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.4750642478466034},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4288960099220276},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4222659170627594},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.42125535011291504},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3619633913040161},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.34518182277679443},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.25109946727752686},{"id":"https://openalex.org/keywords/visualization","display_name":"Visualization","score":0.1901046335697174}],"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","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,"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":[{"display_name":"Industry, innovation and infrastructure","score":0.5,"id":"https://metadata.un.org/sdg/9"}],"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/W2034701755","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"],"related_works":["https://openalex.org/W2104890704","https://openalex.org/W2385508105","https://openalex.org/W2073736684","https://openalex.org/W2013028647","https://openalex.org/W2124431509","https://openalex.org/W60938034","https://openalex.org/W2790733222","https://openalex.org/W1498867194","https://openalex.org/W3183513857","https://openalex.org/W3021477639"],"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":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}