乐胖代购免代理版

{"id":"https://openalex.org/W1968146805","doi":"https://doi.org/10.1109/pads.2012.48","title":"Verifying Dynamic Semantic Composability of BOM-Based Composed Models Using Colored Petri Nets","display_name":"Verifying Dynamic Semantic Composability of BOM-Based Composed Models Using Colored Petri Nets","publication_year":2012,"publication_date":"2012-07-01","ids":{"openalex":"https://openalex.org/W1968146805","doi":"https://doi.org/10.1109/pads.2012.48","mag":"1968146805"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/pads.2012.48","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5042204813","display_name":"Imran Mahmood","orcid":null},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Imran Mahmood","raw_affiliation_strings":["KTH R. Inst. of Technol., Stockholm, Sweden"],"affiliations":[{"raw_affiliation_string":"KTH R. Inst. of Technol., Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030401687","display_name":"Rassul Ayani","orcid":null},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Rassul Ayani","raw_affiliation_strings":["KTH R. Inst. of Technol., Stockholm, Sweden"],"affiliations":[{"raw_affiliation_string":"KTH R. Inst. of Technol., Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042422836","display_name":"Vladimir Vlassov","orcid":"https://orcid.org/0000-0002-6779-7435"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Vladimir Vlassov","raw_affiliation_strings":["KTH R. Inst. of Technol., Stockholm, Sweden"],"affiliations":[{"raw_affiliation_string":"KTH R. Inst. of Technol., Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043716992","display_name":"Farshad Moradi","orcid":"https://orcid.org/0000-0001-7077-8545"},"institutions":[{"id":"https://openalex.org/I1291458624","display_name":"Swedish Defence Research Agency","ror":"https://ror.org/0470cgs30","country_code":"SE","type":"government","lineage":["https://openalex.org/I1291458624"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Farshad Moradi","raw_affiliation_strings":["Swedish Defense Res. Agency (FOI), Stockholm, Sweden"],"affiliations":[{"raw_affiliation_string":"Swedish Defense Res. Agency (FOI), Stockholm, Sweden","institution_ids":["https://openalex.org/I1291458624"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.679,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":7,"citation_normalized_percentile":{"value":0.805871,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":82,"max":83},"biblio":{"volume":null,"issue":null,"first_page":"250","last_page":"257"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9998,"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.9998,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9987,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9984,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/composability","display_name":"Composability","score":0.7913928},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.6397413},{"id":"https://openalex.org/keywords/reusability","display_name":"Reusability","score":0.6215016},{"id":"https://openalex.org/keywords/metamodeling","display_name":"Metamodeling","score":0.43325472}],"concepts":[{"id":"https://openalex.org/C2778814252","wikidata":"https://www.wikidata.org/wiki/Q5156715","display_name":"Composability","level":2,"score":0.7913928},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7774127},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6397413},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.63077086},{"id":"https://openalex.org/C137981799","wikidata":"https://www.wikidata.org/wiki/Q1369184","display_name":"Reusability","level":3,"score":0.6215016},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.45240316},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.44607994},{"id":"https://openalex.org/C86610423","wikidata":"https://www.wikidata.org/wiki/Q1925081","display_name":"Metamodeling","level":2,"score":0.43325472},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4260345},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40016595},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10478255},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/pads.2012.48","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":23,"referenced_works":["https://openalex.org/W1558423254","https://openalex.org/W1559035930","https://openalex.org/W1568573127","https://openalex.org/W1572573545","https://openalex.org/W1590332351","https://openalex.org/W1762068357","https://openalex.org/W1842818333","https://openalex.org/W198918365","https://openalex.org/W2016022822","https://openalex.org/W2029525196","https://openalex.org/W2056536217","https://openalex.org/W2129741583","https://openalex.org/W2130423160","https://openalex.org/W2146919891","https://openalex.org/W2150306925","https://openalex.org/W2159423485","https://openalex.org/W2171166012","https://openalex.org/W2498155360","https://openalex.org/W2929618567","https://openalex.org/W304477995","https://openalex.org/W3140687171","https://openalex.org/W4242469706","https://openalex.org/W4249484115"],"related_works":["https://openalex.org/W781411824","https://openalex.org/W4378878449","https://openalex.org/W4323784223","https://openalex.org/W4306316885","https://openalex.org/W4253141051","https://openalex.org/W2966213226","https://openalex.org/W2515159793","https://openalex.org/W2488727805","https://openalex.org/W2120825081","https://openalex.org/W1511332842"],"abstract_inverted_index":{"Model":[0],"reuse":[1],"is":[2,213],"a":[3,83,107,162,191,199],"promising":[4],"and":[5,21,51,58,69,81,133,146,167,206],"appealing":[6],"convention":[7],"for":[8,54,229],"effective":[9,68],"development":[10,19,34],"of":[11,35,48,161,175,190,201,231],"simulation":[12],"systems":[13],"as":[14,41,203],"it":[15,64],"offers":[16],"reduction":[17],"in":[18,26,60,195],"cost":[20],"time.":[22],"Various":[23],"methodological":[24],"advances":[25],"this":[27,73],"area":[28],"have":[29],"given":[30,155],"rise":[31],"to":[32,66,85,99,103,142,149,181,215],"the":[33,100,113,128,152,159,169,176,217],"different":[36,165],"component":[37,49,124],"reusability":[38],"frameworks":[39],"such":[40],"BOM":[42,87,101,115],"(Base":[43],"Object":[44],"Model).":[45],"But":[46],"lack":[47],"matching":[50],"weak":[52],"support":[53,228],"compos":[55],"ability":[56,79],"verification":[57,80,230],"validation,":[59],"these":[61,179],"frameworks,":[62],"makes":[63],"difficult":[65],"achieve":[67],"meaningful":[70],"reuse.":[71],"In":[72],"paper":[74],"we":[75,111,140,186,197],"focus":[76],"on":[77],"Compos":[78],"propose":[82],"process":[84],"verify":[86,150,216],"based":[88,123],"composed":[89,132,232],"model":[90,125,153],"at":[91,106,135],"dynamic":[92],"semantic":[93],"level.":[94,138],"We":[95,157],"suggest":[96],"an":[97,136,188],"extension":[98],"components,":[102],"capture":[104],"behavior":[105],"greater":[108],"detail.":[109],"Then":[110],"transform":[112],"extended":[114],"into":[116],"our":[117],"proposed":[118],"Colored":[119],"Petri":[120],"Nets":[121],"(CPN)":[122],"so":[126],"that":[127,151,223],"components":[129],"can":[130],"be":[131],"executed":[134],"abstract":[137],"Subsequently":[139],"advocate":[141],"use":[143],"CPN":[144,209,224],"tools":[145,225],"analysis":[147,211],"techniques":[148],"satisfy":[154],"requirements.":[156],"classify":[158],"properties":[160,177,202],"system":[163],"among":[164],"groups":[166,180],"express":[168],"model's":[170],"requirements":[171],"by":[172],"selecting":[173],"some":[174],"from":[178],"form":[182],"requirement":[183,204],"specification.":[184],"Also":[185],"present":[187],"example":[189],"Field":[192],"Artillery":[193],"model,":[194],"which":[196],"select":[198],"set":[200],"specification,":[205],"explain":[207],"how":[208],"state-space":[210],"technique":[212],"used":[214],"required":[218],"properties.":[219],"Our":[220],"experience":[221],"confirms":[222],"provide":[226],"strong":[227],"models.":[233]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1968146805","counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2024-12-24T16:07:47.077994","created_date":"2016-06-24"}