乐胖代购免代理版

{"id":"https://openalex.org/W3088218866","doi":"https://doi.org/10.1109/tse.2020.3025732","title":"Automated Generation of Consistent Graph Models With Multiplicity Reasoning","display_name":"Automated Generation of Consistent Graph Models With Multiplicity Reasoning","publication_year":2020,"publication_date":"2020-09-21","ids":{"openalex":"https://openalex.org/W3088218866","doi":"https://doi.org/10.1109/tse.2020.3025732","mag":"3088218866"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1109/tse.2020.3025732","pdf_url":"https://ieeexplore.ieee.org/ielx7/32/9775544/09201551.pdf","source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://ieeexplore.ieee.org/ielx7/32/9775544/09201551.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036082702","display_name":"Krist\u00f3f Marussy","orcid":"https://orcid.org/0000-0002-9135-8256"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"funder","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Kristof Marussy","raw_affiliation_strings":["Budapest University of Technology and Economics, Budapest, Hungary"],"affiliations":[{"raw_affiliation_string":"Budapest University of Technology and Economics, Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055755535","display_name":"Oszk\u00e1r Semer\u00e1th","orcid":"https://orcid.org/0000-0002-3592-5105"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"funder","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Oszkar Semerath","raw_affiliation_strings":["Budapest University of Technology and Economics, Budapest, Hungary"],"affiliations":[{"raw_affiliation_string":"Budapest University of Technology and Economics, Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064890236","display_name":"D\u00e1niel Varr\u00f3","orcid":"https://orcid.org/0000-0002-8790-252X"},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"funder","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Daniel Varro","raw_affiliation_strings":["McGill University, Montreal, Quebec, Canada"],"affiliations":[{"raw_affiliation_string":"McGill University, Montreal, Quebec, Canada","institution_ids":["https://openalex.org/I5023651"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.256,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":10,"citation_normalized_percentile":{"value":0.937298,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":86,"max":87},"biblio":{"volume":"48","issue":"5","first_page":"1610","last_page":"1629"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9993,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9979,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/solver","display_name":"Solver","score":0.62626034},{"id":"https://openalex.org/keywords/predicate-abstraction","display_name":"Predicate abstraction","score":0.5336787},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.41366544}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8379655},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.62626034},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5623016},{"id":"https://openalex.org/C2779907942","wikidata":"https://www.wikidata.org/wiki/Q7239630","display_name":"Predicate abstraction","level":3,"score":0.5336787},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.50897026},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.41366544},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38998908},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3861572},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1109/tse.2020.3025732","pdf_url":"https://ieeexplore.ieee.org/ielx7/32/9775544/09201551.pdf","source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1109/tse.2020.3025732","pdf_url":"https://ieeexplore.ieee.org/ielx7/32/9775544/09201551.pdf","source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[{"funder":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada","award_id":"RGPIN-04573-16"},{"funder":"https://openalex.org/F4320335908","funder_display_name":"Nemzeti Kutat\u00e1si, Fejleszt\u00e9si \u00e9s Innovaci\u00f3s Alap","award_id":null}],"datasets":[],"versions":[],"referenced_works_count":89,"referenced_works":["https://openalex.org/W1035875811","https://openalex.org/W1480909796","https://openalex.org/W148663991","https://openalex.org/W1500886905","https://openalex.org/W1509268249","https://openalex.org/W1518705996","https://openalex.org/W1519503479","https://openalex.org/W1521011607","https://openalex.org/W1528617049","https://openalex.org/W1536631555","https://openalex.org/W1548001884","https://openalex.org/W1567888042","https://openalex.org/W1569208917","https://openalex.org/W1575457328","https://openalex.org/W1810787746","https://openalex.org/W1851906033","https://openalex.org/W1853034543","https://openalex.org/W193449614","https://openalex.org/W1971817748","https://openalex.org/W1972844678","https://openalex.org/W1973559034","https://openalex.org/W1986958631","https://openalex.org/W1997864678","https://openalex.org/W1998400029","https://openalex.org/W2023814507","https://openalex.org/W2027346590","https://openalex.org/W2044561940","https://openalex.org/W2050736294","https://openalex.org/W2055287943","https://openalex.org/W2059865504","https://openalex.org/W2060440626","https://openalex.org/W2062873592","https://openalex.org/W2071863003","https://openalex.org/W2074683366","https://openalex.org/W2076645253","https://openalex.org/W2089381631","https://openalex.org/W2091920469","https://openalex.org/W2095850105","https://openalex.org/W2107792798","https://openalex.org/W2119284483","https://openalex.org/W2121061989","https://openalex.org/W2132661148","https://openalex.org/W2134001468","https://openalex.org/W2139553864","https://openalex.org/W2140687990","https://openalex.org/W2149200211","https://openalex.org/W2152949134","https://openalex.org/W2153019760","https://openalex.org/W2153144732","https://openalex.org/W2352369207","https://openalex.org/W2406059451","https://openalex.org/W2412353202","https://openalex.org/W2418384203","https://openalex.org/W24569603","https://openalex.org/W2539249059","https://openalex.org/W2546385069","https://openalex.org/W2603072184","https://openalex.org/W2622284932","https://openalex.org/W2626562305","https://openalex.org/W2723261621","https://openalex.org/W2736067960","https://openalex.org/W2745766115","https://openalex.org/W2766605773","https://openalex.org/W2770102073","https://openalex.org/W2775678306","https://openalex.org/W2780061171","https://openalex.org/W2787691610","https://openalex.org/W2795021132","https://openalex.org/W2808342611","https://openalex.org/W2887375731","https://openalex.org/W2954114557","https://openalex.org/W2972465897","https://openalex.org/W3015657272","https://openalex.org/W3123858332","https://openalex.org/W3140501928","https://openalex.org/W3149109633","https://openalex.org/W3171669654","https://openalex.org/W3184268505","https://openalex.org/W4240872599","https://openalex.org/W4245822332","https://openalex.org/W4249785945","https://openalex.org/W4251910621","https://openalex.org/W4285719527","https://openalex.org/W4301352211","https://openalex.org/W438350557","https://openalex.org/W5815757","https://openalex.org/W602497127","https://openalex.org/W844332498","https://openalex.org/W89892127"],"related_works":["https://openalex.org/W41277334","https://openalex.org/W3160136729","https://openalex.org/W2181384782","https://openalex.org/W2149977550","https://openalex.org/W2134469331","https://openalex.org/W2064247971","https://openalex.org/W2003959877","https://openalex.org/W1589294645","https://openalex.org/W1548505328","https://openalex.org/W1514172519"],"abstract_inverted_index":{"Advanced":[0],"tools":[1],"used":[2],"in":[3,130,205],"model-based":[4],"systems":[5],"engineering":[6],"(MBSE)":[7],"frequently":[8],"represent":[9],"their":[10],"models":[11,29,88,112,137,170],"as":[12],"graphs.":[13],"In":[14,42,96],"order":[15],"to":[16,57,67],"test":[17],"those":[18],"tools,":[19],"the":[20,53,60,70,81,154,177,183,194],"automated":[21],"generation":[22,40,45,82,166],"of":[23,73,83,94,156,212],"well-formed":[24,174],"(or":[25],"intentionally":[26],"malformed)":[27],"graph":[28,111,141,196],"is":[30,33],"necessitated":[31],"which":[32,107],"often":[34],"carried":[35],"out":[36],"by":[37,138,216],"solver-based":[38],"model":[39,44,165],"techniques.":[41],"many":[43],"scenarios,":[46],"one":[47,78],"needs":[48],"more":[49,61],"refined":[50],"control":[51],"over":[52],"generated":[54,75],"unit":[55],"tests":[56],"focus":[58],"on":[59,134,153],"relevant":[62],"models.":[63],"Type":[64],"scopes":[65],"allow":[66],"precisely":[68],"define":[69],"required":[71],"number":[72],"newly":[74],"elements,":[76],"thus":[77],"can":[79,127],"avoid":[80],"unrealistic":[84],"and":[85,116,124,175],"highly":[86],"symmetric":[87],"having":[89],"only":[90],"a":[91,101,120,206],"single":[92],"type":[93],"elements.":[95],"this":[97],"paper,":[98],"we":[99,161],"propose":[100,162],"3-valued":[102,157],"scoped":[103,158],"partial":[104,110,159],"modeling":[105],"formalism,":[106],"innovatively":[108],"extends":[109],"with":[113,144],"predicate":[114],"abstraction":[115],"counter":[117],"abstraction.":[118],"As":[119],"result,":[121],"well-formedness":[122],"constraints":[123],"multiplicity":[125,199],"requirements":[126],"be":[128],"evaluated":[129],"an":[131,163],"approximated":[132],"way":[133],"incomplete":[135],"(unfinished)":[136],"using":[139],"advanced":[140],"query":[142],"engines":[143],"numerical":[145],"solvers":[146],"(e.g.,":[147],"IP":[148],"or":[149,193],"LP":[150],"solvers).":[151],"Based":[152],"refinement":[155],"models,":[160],"efficient":[164],"algorithm":[167],"that":[168,171,182],"generates":[169],"are":[172],"both":[173],"satisfy":[176],"scope":[178],"requirements.":[179],"We":[180,201],"show":[181],"proposed":[184],"approach":[185,204],"scales":[186],"significantly":[187],"better":[188],"than":[189],"existing":[190],"SAT-solver":[191],"techniques":[192],"original":[195],"solver":[197],"without":[198],"reasoning.":[200],"illustrate":[202],"our":[203],"complex":[207],"design-space":[208],"exploration":[209],"case":[210],"study":[211],"collaborating":[213],"satellites":[214],"introduced":[215],"researchers":[217],"at":[218],"NASA":[219],"JPL.":[220]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3088218866","counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1}],"updated_date":"2025-03-25T05:51:52.949419","created_date":"2020-10-01"}