{"id":"https://openalex.org/W3003726498","doi":"https://doi.org/10.1109/indin41052.2019.8972100","title":"A Contract-based Methodology for Production Lines Validation","display_name":"A Contract-based Methodology for Production Lines Validation","publication_year":2019,"publication_date":"2019-07-01","ids":{"openalex":"https://openalex.org/W3003726498","doi":"https://doi.org/10.1109/indin41052.2019.8972100","mag":"3003726498"},"language":"en","primary_location":{"id":"doi:10.1109/indin41052.2019.8972100","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin41052.2019.8972100","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 17th International Conference on Industrial Informatics (INDIN)","raw_type":"proceedings-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/A5024320252","display_name":"Roberta Chirico","orcid":null},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Roberta Chirico","raw_affiliation_strings":["University of Verona,Department of Computer Science","Department of Computer Science, University of Verona"],"affiliations":[{"raw_affiliation_string":"University of Verona,Department of Computer Science","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, University of Verona","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084974927","display_name":"Stefano Spellini","orcid":"https://orcid.org/0000-0002-4989-5832"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Stefano Spellini","raw_affiliation_strings":["University of Verona,Department of Computer Science","Department of Computer Science, University of Verona"],"affiliations":[{"raw_affiliation_string":"University of Verona,Department of Computer Science","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, University of Verona","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032373473","display_name":"Marco Panato","orcid":"https://orcid.org/0009-0002-0032-1376"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Panato","raw_affiliation_strings":["University of Verona,Department of Computer Science","Department of Computer Science, University of Verona"],"affiliations":[{"raw_affiliation_string":"University of Verona,Department of Computer Science","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, University of Verona","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069672683","display_name":"Michele Lora","orcid":"https://orcid.org/0000-0002-6224-4313"},"institutions":[{"id":"https://openalex.org/I152815399","display_name":"Singapore University of Technology and Design","ror":"https://ror.org/05j6fvn87","country_code":"SG","type":"education","lineage":["https://openalex.org/I152815399"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Michele Lora","raw_affiliation_strings":["Singapore University of Technology and Design"],"affiliations":[{"raw_affiliation_string":"Singapore University of Technology and Design","institution_ids":["https://openalex.org/I152815399"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040302302","display_name":"Franco Fummi","orcid":"https://orcid.org/0000-0002-4404-5791"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Franco Fummi","raw_affiliation_strings":["University of Verona,Department of Computer Science","Department of Computer Science, University of Verona"],"affiliations":[{"raw_affiliation_string":"University of Verona,Department of Computer Science","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, University of Verona","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5024320252"],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":null,"apc_paid":null,"fwci":0.6186,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.74861135,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"2019","issue":null,"first_page":"695","last_page":"698"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9940000176429749,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.8808147311210632},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7623919248580933},{"id":"https://openalex.org/keywords/production-line","display_name":"Production line","score":0.6080543994903564},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5159693360328674},{"id":"https://openalex.org/keywords/production","display_name":"Production (economics)","score":0.4756830930709839},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.46895164251327515},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.41146716475486755},{"id":"https://openalex.org/keywords/industrial-engineering","display_name":"Industrial engineering","score":0.34993940591812134},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3477432429790497},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1118205189704895}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.8808147311210632},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7623919248580933},{"id":"https://openalex.org/C99862985","wikidata":"https://www.wikidata.org/wiki/Q10858068","display_name":"Production line","level":2,"score":0.6080543994903564},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5159693360328674},{"id":"https://openalex.org/C2778348673","wikidata":"https://www.wikidata.org/wiki/Q739302","display_name":"Production (economics)","level":2,"score":0.4756830930709839},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.46895164251327515},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.41146716475486755},{"id":"https://openalex.org/C13736549","wikidata":"https://www.wikidata.org/wiki/Q4489420","display_name":"Industrial engineering","level":1,"score":0.34993940591812134},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3477432429790497},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1118205189704895},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C139719470","wikidata":"https://www.wikidata.org/wiki/Q39680","display_name":"Macroeconomics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/indin41052.2019.8972100","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin41052.2019.8972100","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 17th International Conference on Industrial Informatics (INDIN)","raw_type":"proceedings-article"},{"id":"mag:3048746605","is_oa":false,"landing_page_url":"https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=202002228348478364","pdf_url":null,"source":{"id":"https://openalex.org/S4306512817","display_name":"IEEE Conference Proceedings","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"IEEE Conference Proceedings","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.47999998927116394,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1933146504","https://openalex.org/W2013150564","https://openalex.org/W2041701185","https://openalex.org/W2108721666","https://openalex.org/W2476245236","https://openalex.org/W2528726414","https://openalex.org/W2735797103","https://openalex.org/W2769587269","https://openalex.org/W2793060791","https://openalex.org/W2798708919","https://openalex.org/W2899898158","https://openalex.org/W2967855397","https://openalex.org/W3023554972","https://openalex.org/W4205178436"],"related_works":["https://openalex.org/W82161441","https://openalex.org/W1576042299","https://openalex.org/W2181943964","https://openalex.org/W1528423264","https://openalex.org/W3104336002","https://openalex.org/W4210836892","https://openalex.org/W2798446253","https://openalex.org/W4390204750","https://openalex.org/W1978406273","https://openalex.org/W2330477269"],"abstract_inverted_index":{"The":[0,63,100],"approach":[1],"we":[2],"present":[3],"in":[4],"this":[5],"paper":[6],"exploits":[7],"assume-guarantee":[8],"reasoning":[9],"through":[10],"contracts":[11,66,86],"to":[12,18,32,51,89,113,130],"model":[13,33,93],"a":[14,45,61,71,107,131],"production":[15,119],"line,":[16],"and":[17,25,54],"generate":[19,90],"its":[20,127],"virtual":[21],"prototype":[22],"for":[23],"efficient":[24],"correct":[26],"plant":[27,110],"simulation.":[28],"Contracts":[29],"are":[30,103],"used":[31,88],"the":[34,38,40,68,80,95,98,115,118],"different":[35],"parts":[36],"composing":[37,97],"line;":[39],"modeling":[41],"is":[42,87,123],"guided":[43],"by":[44,60,79,125],"well-known":[46],"taxonomy":[47],"associating":[48],"industrial":[49,109],"machines":[50,96],"manufacturing":[52,76],"processes":[53],"their":[55],"elementary":[56],"actions,":[57],"each":[58,74],"represented":[59],"contract.":[62],"composition":[64],"of":[65,70,94,117],"representing":[67],"actions":[69],"machine":[72],"specifies":[73],"possible":[75],"process":[77],"implemented":[78],"machine.":[81],"Then,":[82],"automatic":[83],"synthesis":[84],"from":[85],"an":[91],"executable":[92],"plant.":[99],"generated":[101],"models":[102],"finally":[104],"integrated":[105],"into":[106],"state-of-the-practice":[108],"simulation":[111],"software":[112],"validate":[114],"execution":[116],"line.The":[120],"entire":[121],"methodology":[122],"presented":[124],"showing":[126],"step-by-step":[128],"application":[129],"concrete":[132],"scenario.":[133]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}