乐胖代购免代理版

{"id":"https://openalex.org/W3205367357","doi":"https://doi.org/10.1145/3486603.3486775","title":"Integration of modeling and verification for system model based on KARMA language","display_name":"Integration of modeling and verification for system model based on KARMA language","publication_year":2021,"publication_date":"2021-10-15","ids":{"openalex":"https://openalex.org/W3205367357","doi":"https://doi.org/10.1145/3486603.3486775","mag":"3205367357"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3486603.3486775","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/A5085011793","display_name":"Jie Ding","orcid":"https://orcid.org/0000-0003-2370-197X"},"institutions":[{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jie Ding","raw_affiliation_strings":["Beijing Institute of Technology, China"],"affiliations":[{"raw_affiliation_string":"Beijing Institute of Technology, China","institution_ids":["https://openalex.org/I125839683"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040487816","display_name":"Michel Reniers","orcid":"https://orcid.org/0000-0002-9283-4074"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Michel Reniers","raw_affiliation_strings":["Eindhoven University of Technology, Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072460145","display_name":"Jinzhi Lu","orcid":"https://orcid.org/0000-0001-5044-2921"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Jinzhi Lu","raw_affiliation_strings":["EPFL, Switzerland"],"affiliations":[{"raw_affiliation_string":"EPFL, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101457292","display_name":"Guoxin Wang","orcid":"https://orcid.org/0000-0003-2363-8595"},"institutions":[{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guoxin Wang","raw_affiliation_strings":["Beijing Institute of Technology, China"],"affiliations":[{"raw_affiliation_string":"Beijing Institute of Technology, China","institution_ids":["https://openalex.org/I125839683"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054955661","display_name":"Lei Feng","orcid":"https://orcid.org/0000-0001-5703-5923"},"institutions":[{"id":"https://openalex.org/I4210147696","display_name":"Tekniska H\u00f6gskolans Studentk\u00e5r","ror":"https://ror.org/0519hrc61","country_code":"SE","type":"education","lineage":["https://openalex.org/I4210147696"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Lei Feng","raw_affiliation_strings":["KTH, Sweden"],"affiliations":[{"raw_affiliation_string":"KTH, Sweden","institution_ids":["https://openalex.org/I4210147696"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082500819","display_name":"Dimitris Kiritsis","orcid":"https://orcid.org/0000-0003-3660-9187"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Dimitris Kiritsis","raw_affiliation_strings":["EPFL, Switzerland"],"affiliations":[{"raw_affiliation_string":"EPFL, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]}],"institution_assertions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.993,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.740409,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":84,"max":86},"biblio":{"volume":null,"issue":null,"first_page":"41","last_page":"50"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.9998,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.9998,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T11195","display_name":"Simulation Techniques and Applications","score":0.9959,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9958,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/karma","display_name":"Karma","score":0.7586065},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.4250973}],"concepts":[{"id":"https://openalex.org/C547328371","wikidata":"https://www.wikidata.org/wiki/Q132196","display_name":"Karma","level":3,"score":0.7586065},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.66570306},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.4250973},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40949175},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.40764195},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.40180585},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.32018226},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14926317},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.095359325},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.06994271},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.0},{"id":"https://openalex.org/C75699723","wikidata":"https://www.wikidata.org/wiki/Q748","display_name":"Buddhism","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3486603.3486775","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":[{"score":0.53,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":17,"referenced_works":["https://openalex.org/W1922255366","https://openalex.org/W2041611180","https://openalex.org/W2047987805","https://openalex.org/W2068859716","https://openalex.org/W2075351467","https://openalex.org/W2468313530","https://openalex.org/W2806999566","https://openalex.org/W2877475263","https://openalex.org/W2912814862","https://openalex.org/W2923409358","https://openalex.org/W2944533667","https://openalex.org/W2982973022","https://openalex.org/W2995206046","https://openalex.org/W3016982405","https://openalex.org/W3200364083","https://openalex.org/W747567354","https://openalex.org/W83902219"],"related_works":["https://openalex.org/W4294583777","https://openalex.org/W2748872428","https://openalex.org/W2731004251","https://openalex.org/W2586149320","https://openalex.org/W2189415317","https://openalex.org/W2170963739","https://openalex.org/W2120119341","https://openalex.org/W2104401375","https://openalex.org/W1987499160","https://openalex.org/W1594586966"],"abstract_inverted_index":{"Model-based":[0],"systems":[1],"engineering":[2],"(MBSE)":[3],"enables":[4],"to":[5,48,65,71,105,123,131],"verify":[6],"the":[7,23,32,73,82,107,125,134,157,160,169,179],"system":[8,11,96],"performance":[9,181],"using":[10,175,186],"behavior":[12,52,55,79,126,145,180],"models,":[13],"which":[14],"can":[15],"identify":[16],"design":[17,84],"faults":[18],"that":[19],"do":[20],"not":[21],"meet":[22],"stakeholders'":[24],"requirements":[25],"as":[26,28],"early":[27],"possible,":[29],"thus":[30],"reducing":[31],"R&D":[33],"cost":[34],"and":[35,75,92,98,113,130,147],"error":[36],"risks.":[37],"Currently,":[38],"different":[39,45,60,117],"domain":[40,118],"engineers":[41],"make":[42],"use":[43],"of":[44,77,136,159,171,183],"modeling":[46,74,91,154],"languages":[47],"create":[49],"their":[50,148],"own":[51],"models.":[53,120],"Different":[54],"models":[56,80,112,146],"are":[57],"verified":[58],"by":[59,165],"approaches.":[61],"It":[62],"is":[63,103,139,163],"difficult":[64],"adopt":[66],"a":[67,89,152,187],"unified":[68,90,108],"integrated":[69,140],"platform":[70],"support":[72,106],"verification":[76,93,149],"heterogeneous":[78],"during":[81],"conceptual":[83],"phase.":[85],"This":[86],"paper":[87],"proposes":[88],"approach":[94,162],"supporting":[95],"formalisms":[97,109],"verification.":[99],"The":[100],"KARMA":[101],"language":[102],"used":[104],"across":[110],"MBSE":[111],"dynamic":[114],"simulations":[115],"for":[116],"specific":[119],"In":[121],"order":[122],"describe":[124],"model":[127],"more":[128],"precisely":[129],"facilitate":[132],"verification,":[133],"syntax":[135],"hybrid":[137],"automata":[138],"into":[141],"KARMA.":[142],"We":[143],"implemented":[144],"in":[150],"MetaGraph,":[151],"multi-architecture":[153],"tool.":[155],"Finally,":[156],"effectiveness":[158],"proposed":[161],"validated":[164],"two":[166],"cases:":[167],"1)":[168],"scenario":[170],"booking":[172],"railway":[173],"tickets":[174],"BPMN":[176],"models;":[177],"2)":[178],"simulation":[182],"unmanned":[184],"vehicles":[185],"SysML":[188],"state":[189],"machine":[190],"diagram.":[191]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3205367357","counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":5}],"updated_date":"2024-12-29T21:53:45.008710","created_date":"2021-10-25"}