{"id":"https://openalex.org/W6931046364","doi":"https://doi.org/10.5281/zenodo.15528894","title":"Sp3llsWizard","display_name":"Sp3llsWizard","publication_year":2025,"publication_date":"2025-05-27","ids":{"openalex":"https://openalex.org/W6931046364","doi":"https://doi.org/10.5281/zenodo.15528894"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.15528894","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.15528894","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.15528894","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Luca Barbaro","orcid":"https://orcid.org/0000-0002-2975-5330"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Luca Barbaro","raw_affiliation_strings":["Sapienza University of Rome"],"raw_orcid":"https://orcid.org/0000-0002-2975-5330","affiliations":[{"raw_affiliation_string":"Sapienza University of Rome","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Giovanni Varricchione","orcid":"https://orcid.org/0000-0002-5466-9012"},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Giovanni Varricchione","raw_affiliation_strings":["Utrecht University"],"raw_orcid":"https://orcid.org/0000-0002-5466-9012","affiliations":[{"raw_affiliation_string":"Utrecht University","institution_ids":["https://openalex.org/I193662353"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Marco Montali","orcid":"https://orcid.org/0000-0002-8021-3430"},"institutions":[{"id":"https://openalex.org/I171543936","display_name":"Free University of Bozen-Bolzano","ror":"https://ror.org/012ajp527","country_code":"IT","type":"education","lineage":["https://openalex.org/I171543936"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Montali","raw_affiliation_strings":["Free University of Bozen-Bolzano"],"raw_orcid":"https://orcid.org/0000-0002-8021-3430","affiliations":[{"raw_affiliation_string":"Free University of Bozen-Bolzano","institution_ids":["https://openalex.org/I171543936"]}]},{"author_position":"last","author":{"id":null,"display_name":"Claudio Di Ciccio","orcid":"https://orcid.org/0000-0002-0955-6940"},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Claudio Di Ciccio","raw_affiliation_strings":["Utrecht University"],"raw_orcid":"https://orcid.org/0000-0002-0955-6940","affiliations":[{"raw_affiliation_string":"Utrecht University","institution_ids":["https://openalex.org/I193662353"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I861853513"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10978","display_name":"Prenatal Screening and Diagnostics","score":0.3208000063896179,"subfield":{"id":"https://openalex.org/subfields/2735","display_name":"Pediatrics, Perinatology and Child Health"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},"topics":[{"id":"https://openalex.org/T10978","display_name":"Prenatal Screening and Diagnostics","score":0.3208000063896179,"subfield":{"id":"https://openalex.org/subfields/2735","display_name":"Pediatrics, Perinatology and Child Health"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T12552","display_name":"Fetal and Pediatric Neurological Disorders","score":0.045099999755620956,"subfield":{"id":"https://openalex.org/subfields/2735","display_name":"Pediatrics, Perinatology and Child Health"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T11841","display_name":"Nuclear Structure and Function","score":0.035999998450279236,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.8345000147819519},{"id":"https://openalex.org/keywords/toolchain","display_name":"Toolchain","score":0.7967000007629395},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7695000171661377},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.49619999527931213},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.41670000553131104}],"concepts":[{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.8345000147819519},{"id":"https://openalex.org/C2777062904","wikidata":"https://www.wikidata.org/wiki/Q545406","display_name":"Toolchain","level":3,"score":0.7967000007629395},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7695000171661377},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6897000074386597},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5881999731063843},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.49619999527931213},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.43939998745918274},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.41670000553131104},{"id":"https://openalex.org/C163888707","wikidata":"https://www.wikidata.org/wiki/Q1154450","display_name":"Windows Workflow Foundation","level":4,"score":0.2816999852657318},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2581000030040741},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.2572999894618988}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.15528894","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.15528894","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.5281/zenodo.15528894","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.15528894","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Sp3llsWizard:":[0],"From":[1],"Sound":[2,26],"Workflow":[3,27,52,101],"Nets":[4,28,53],"to":[5,29,43,77,92],"LTLf":[6,30,108],"Declarative":[7,31],"Specifications":[8,32],"by":[9,33],"Casting":[10,34],"Three":[11,35],"Spells":[12],"This":[13,103],"deposit":[14],"contains":[15],"the":[16,23,63,79,84,90],"implementation":[17,105],"and":[18,50,66,73,81,99],"experimental":[19,67],"toolbench":[20],"presented":[21],"in":[22],"paper":[24],"\u201cFrom":[25],"Spells\".":[36],"The":[37],"work":[38],"presents":[39],"a":[40,117],"systematic":[41],"approach":[42],"synthesizing":[44],"declarative":[45],"process":[46],"specifications":[47,96],"from":[48,97,110],"safe":[49,98],"sound":[51,100],"(WF":[54],"nets),":[55],"ensuring":[56],"full":[57],"behavioral":[58],"preservation.":[59],"Here":[60],"you\u2019ll":[61],"find":[62],"complete":[64],"toolchain":[65],"setup,":[68],"tested":[69],"on":[70],"both":[71],"synthetic":[72],"real-world":[74],"datasets,":[75],"used":[76],"analyze":[78],"correctness":[80],"performance":[82],"of":[83],"implemented":[85],"algorithm.":[86],"Overview":[87],"Sp3llsWizard":[88],"has":[89],"ability":[91],"formally":[93],"synthesize":[94],"DECLARE":[95],"Nets.":[102],"proof-of-concept":[104],"automatically":[106],"generates":[107],"constraints":[109],"an":[111],"input":[112],"WF":[113],"net":[114],"provided":[115],"as":[116],".pnml":[118],"file.":[119]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}