{"id":"https://openalex.org/W2011689734","doi":"https://doi.org/10.1109/tsc.2014.2347049","title":"Typetheoretic Approach to the Shimming Problem in Scientific Workflows","display_name":"Typetheoretic Approach to the Shimming Problem in Scientific Workflows","publication_year":2014,"publication_date":"2014-08-12","ids":{"openalex":"https://openalex.org/W2011689734","doi":"https://doi.org/10.1109/tsc.2014.2347049","mag":"2011689734"},"language":"en","primary_location":{"id":"doi:10.1109/tsc.2014.2347049","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsc.2014.2347049","pdf_url":null,"source":{"id":"https://openalex.org/S204223317","display_name":"IEEE Transactions on Services Computing","issn_l":"1939-1374","issn":["1939-1374","2372-0204"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Services Computing","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/A5007412180","display_name":"Andrey Kashlev","orcid":null},"institutions":[{"id":"https://openalex.org/I185443292","display_name":"Wayne State University","ror":"https://ror.org/01070mq45","country_code":"US","type":"education","lineage":["https://openalex.org/I185443292"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Andrey Kashlev","raw_affiliation_strings":["Department of Computer Science, Wayne State University, Detroit, MI","Department of Computer Science, Wayne State University, Detroit, Mi"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Wayne State University, Detroit, MI","institution_ids":["https://openalex.org/I185443292"]},{"raw_affiliation_string":"Department of Computer Science, Wayne State University, Detroit, Mi","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044023807","display_name":"Shiyong Lu","orcid":"https://orcid.org/0000-0002-7864-1815"},"institutions":[{"id":"https://openalex.org/I185443292","display_name":"Wayne State University","ror":"https://ror.org/01070mq45","country_code":"US","type":"education","lineage":["https://openalex.org/I185443292"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shiyong Lu","raw_affiliation_strings":["Department of Computer Science, Wayne State University, Detroit, MI","Department of Computer Science, Wayne State University, Detroit, Mi"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Wayne State University, Detroit, MI","institution_ids":["https://openalex.org/I185443292"]},{"raw_affiliation_string":"Department of Computer Science, Wayne State University, Detroit, Mi","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044196026","display_name":"Artem Chebotko","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Artem Chebotko","raw_affiliation_strings":["Datastax Inc., 3975 Freedom Circle, Santa Clara, CA"],"affiliations":[{"raw_affiliation_string":"Datastax Inc., 3975 Freedom Circle, Santa Clara, CA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5007412180"],"corresponding_institution_ids":["https://openalex.org/I185443292"],"apc_list":null,"apc_paid":null,"fwci":2.5034,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.91895778,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"8","issue":"5","first_page":"795","last_page":"809"},"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.9995999932289124,"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.9995999932289124,"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.994700014591217,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9861999750137329,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.8957499265670776},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.855657160282135},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.4614492952823639},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4377613067626953},{"id":"https://openalex.org/keywords/workflow-technology","display_name":"Workflow technology","score":0.4355369210243225},{"id":"https://openalex.org/keywords/data-type","display_name":"Data type","score":0.42695286870002747},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3291137218475342},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.24258357286453247}],"concepts":[{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.8957499265670776},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.855657160282135},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.4614492952823639},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4377613067626953},{"id":"https://openalex.org/C19612761","wikidata":"https://www.wikidata.org/wiki/Q8034836","display_name":"Workflow technology","level":3,"score":0.4355369210243225},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.42695286870002747},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3291137218475342},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.24258357286453247},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tsc.2014.2347049","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsc.2014.2347049","pdf_url":null,"source":{"id":"https://openalex.org/S204223317","display_name":"IEEE Transactions on Services Computing","issn_l":"1939-1374","issn":["1939-1374","2372-0204"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Services Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W1495288145","https://openalex.org/W1528893134","https://openalex.org/W1535627680","https://openalex.org/W1556309875","https://openalex.org/W1557561422","https://openalex.org/W1965064895","https://openalex.org/W1968060295","https://openalex.org/W1977209970","https://openalex.org/W1981745715","https://openalex.org/W1993702860","https://openalex.org/W1996599304","https://openalex.org/W2008026967","https://openalex.org/W2010201452","https://openalex.org/W2011544632","https://openalex.org/W2011689734","https://openalex.org/W2012880169","https://openalex.org/W2019798190","https://openalex.org/W2028900145","https://openalex.org/W2029334814","https://openalex.org/W2062761147","https://openalex.org/W2083873888","https://openalex.org/W2096501261","https://openalex.org/W2111842914","https://openalex.org/W2111904946","https://openalex.org/W2118620599","https://openalex.org/W2131780143","https://openalex.org/W2134318033","https://openalex.org/W2136451095","https://openalex.org/W2138730949","https://openalex.org/W2144778998","https://openalex.org/W2145007750","https://openalex.org/W2145711555","https://openalex.org/W2148620751","https://openalex.org/W2152900412","https://openalex.org/W2154055222","https://openalex.org/W2166822586","https://openalex.org/W2182545141","https://openalex.org/W2921103991","https://openalex.org/W4242788359","https://openalex.org/W6629614580","https://openalex.org/W6631575564","https://openalex.org/W6653212557","https://openalex.org/W7026752525"],"related_works":["https://openalex.org/W1998651692","https://openalex.org/W2350748972","https://openalex.org/W2380987729","https://openalex.org/W2387628393","https://openalex.org/W2376671203","https://openalex.org/W2391168633","https://openalex.org/W2385499106","https://openalex.org/W2049143847","https://openalex.org/W2381204656","https://openalex.org/W2359755706"],"abstract_inverted_index":{"When":[0],"composing":[1],"Web":[2],"services":[3],"into":[4,143],"scientific":[5,115],"workflows,":[6,124,131,144],"users":[7,53],"often":[8],"face":[9],"the":[10,89,98,107,120,147,162],"so-called":[11],"shimming":[12,46,67,99,148,158],"problem":[13,22,100,105,149],"when":[14],"connecting":[15],"two":[16,178],"related":[17],"but":[18],"incompatible":[19],"components.":[20],"The":[21],"is":[23],"addressed":[24],"by":[25],"inserting":[26],"a":[27,102,114,134],"special":[28],"kind":[29],"of":[30,88,109,122],"adaptors,":[31],"called":[32],"shims,":[33],"that":[34,77,136],"perform":[35],"appropriate":[36],"data":[37,41,61],"transformations":[38],"to":[39,56,101,129,181],"resolve":[40],"type":[42,110,167],"inconsistencies.":[43],"However,":[44],"existing":[45],"techniques":[47],"provide":[48],"limited":[49],"automation":[50],"and":[51,63,81,118,169,176],"burden":[52],"with":[54],"having":[55],"define":[57,119],"ontological":[58],"mappings,":[59],"generate":[60],"transformations,":[62],"even":[64],"manually":[65],"write":[66],"code.":[68],"In":[69],"addition,":[70],"these":[71,93],"approaches":[72],"insert":[73],"many":[74],"visible":[75],"shims":[76],"clutter":[78],"workflow":[79,116],"design":[80,133],"distract":[82],"user's":[83],"attention":[84],"from":[85],"functional":[86],"components":[87],"workflow.":[90],"To":[91],"address":[92],"issues,":[94],"we":[95],"1)":[96],"reduce":[97],"runtime":[103,141],"coercion":[104],"in":[106,172],"theory":[108],"systems,":[111],"2)":[112],"propose":[113],"model":[117],"notion":[121],"well-typed":[123,152],"3)":[125],"develop":[126],"an":[127],"algorithm":[128],"typecheck":[130],"4)":[132],"function":[135],"inserts":[137],"\u201cinvisible":[138],"shims\u201d,":[139],"or":[140],"coercions":[142],"thereby":[145],"solving":[146],"for":[150],"any":[151],"workflow,":[153],"5)":[154],"implement":[155],"our":[156,173,183],"automated":[157],"technique,":[159],"including":[160],"all":[161],"proposed":[163],"algorithms,":[164],"lambda":[165],"calculus,":[166],"system,":[168],"translation":[170],"functions":[171],"VIEW":[174],"system":[175],"present":[177],"case":[179],"studies":[180],"validate":[182],"approach.":[184]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}