乐胖代购免代理版

{"id":"https://openalex.org/W2120450154","doi":"https://doi.org/10.1145/1125808.1125809","title":"Symbolic model checking of UML activity diagrams","display_name":"Symbolic model checking of UML activity diagrams","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W2120450154","doi":"https://doi.org/10.1145/1125808.1125809","mag":"2120450154"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1125808.1125809","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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/A5007187430","display_name":"Rik Eshuis","orcid":"https://orcid.org/0000-0003-2314-7155"},"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":true,"raw_author_name":"Rik Eshuis","raw_affiliation_strings":["Eindhoven University of Technology , Eindhoven , The Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology , Eindhoven , The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5007187430"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":14.249,"has_fulltext":false,"cited_by_count":204,"citation_normalized_percentile":{"value":0.956179,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"15","issue":"1","first_page":"1","last_page":"38"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9996,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9996,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9971,"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.9962,"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/activity-diagram","display_name":"Activity diagram","score":0.6678284},{"id":"https://openalex.org/keywords/state-diagram","display_name":"State diagram","score":0.44512862}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.82430315},{"id":"https://openalex.org/C64219723","wikidata":"https://www.wikidata.org/wiki/Q423262","display_name":"Activity diagram","level":4,"score":0.6678284},{"id":"https://openalex.org/C202446494","wikidata":"https://www.wikidata.org/wiki/Q664166","display_name":"Class diagram","level":4,"score":0.6515653},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5534612},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.48660696},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.45856962},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.45742974},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4555631},{"id":"https://openalex.org/C16671368","wikidata":"https://www.wikidata.org/wiki/Q230885","display_name":"State diagram","level":3,"score":0.44512862},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40540668},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.39688012},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.35367578},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23588175},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.116763234},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1125808.1125809","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"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":49,"referenced_works":["https://openalex.org/W1481229896","https://openalex.org/W1489021242","https://openalex.org/W1489391022","https://openalex.org/W1492254160","https://openalex.org/W1503170978","https://openalex.org/W1506588809","https://openalex.org/W1518682374","https://openalex.org/W1528441743","https://openalex.org/W1535168632","https://openalex.org/W1535204167","https://openalex.org/W1539297291","https://openalex.org/W1548402307","https://openalex.org/W1551214605","https://openalex.org/W1556566737","https://openalex.org/W1570069626","https://openalex.org/W1604838600","https://openalex.org/W1607942589","https://openalex.org/W1977237988","https://openalex.org/W1990183105","https://openalex.org/W1996109622","https://openalex.org/W2020034474","https://openalex.org/W2034717157","https://openalex.org/W2061438988","https://openalex.org/W2081938726","https://openalex.org/W2099529102","https://openalex.org/W2101583620","https://openalex.org/W2111673347","https://openalex.org/W2115309705","https://openalex.org/W2116190908","https://openalex.org/W2122473145","https://openalex.org/W2124214533","https://openalex.org/W2129395888","https://openalex.org/W2131648251","https://openalex.org/W2140888521","https://openalex.org/W2145249436","https://openalex.org/W2148893609","https://openalex.org/W2151056896","https://openalex.org/W2159765281","https://openalex.org/W2160493209","https://openalex.org/W2164015376","https://openalex.org/W2170188124","https://openalex.org/W2171816001","https://openalex.org/W2340735175","https://openalex.org/W2571737579","https://openalex.org/W2913459036","https://openalex.org/W4235527454","https://openalex.org/W4285719527","https://openalex.org/W4296471858","https://openalex.org/W4300021588"],"related_works":["https://openalex.org/W4242248103","https://openalex.org/W3090430358","https://openalex.org/W2934116132","https://openalex.org/W2914561978","https://openalex.org/W2534822368","https://openalex.org/W2391803179","https://openalex.org/W2358519841","https://openalex.org/W2354107069","https://openalex.org/W2296627366","https://openalex.org/W2188012963"],"abstract_inverted_index":{"Two":[0],"translations":[1,18,106,146,172,186],"from":[2],"activity":[3,21,100,155,193],"diagrams":[4,101,162],"to":[5,133,147,187],"the":[6,54,80,86,89,115,121,128,139,144,165,169],"input":[7],"language":[8],"of":[9,88,99,110,117,138,160],"NuSMV,":[10],"a":[11,24,48,96,134,158],"symbolic":[12],"model":[13,118,148,188],"verifier,":[14],"are":[15,29,47,72,107],"presented.":[16],"Both":[17,171],"map":[19],"an":[20,154],"diagram":[22,156],"into":[23],"finite":[25],"state":[26,39,62],"machine":[27],"and":[28,102,157],"inspired":[30],"by":[31],"existing":[32],"statechart":[33],"semantics.":[34],"The":[35,58],"requirements-level":[36,90,140],"translation":[37,60,112,130],"defines":[38,61],"machines":[40,63],"that":[41,64,71,94,163],"can":[42],"be":[43,66],"efficiently":[44],"verified,":[45],"but":[46,70],"bit":[49],"unrealistic":[50],"since":[51,75],"they":[52,76],"assume":[53],"perfect":[55,81],"synchrony":[56,82],"hypothesis.":[57,83],"implementation-level":[59,129],"cannot":[65],"verified":[67],"so":[68],"efficiently,":[69],"more":[73],"realistic":[74],"do":[77],"not":[78],"use":[79,87,143],"To":[84],"justify":[85],"translation,":[91],"we":[92],"show":[93],"for":[95,124,153],"large":[97,191],"class":[98,161],"certain":[103],"properties,":[104,127],"both":[105,185],"equivalent:":[108],"regardless":[109],"which":[111],"is":[113,120,131],"used,":[114],"outcome":[116],"checking":[119],"same.":[122],"Moreover,":[123],"linear":[125],"stuttering-closed":[126],"equivalent":[132],"slightly":[135],"modified":[136],"version":[137],"translation.":[141],"We":[142,179],"two":[145,177],"check":[149,189],"data":[150,166],"integrity":[151],"constraints":[152],"set":[159],"specify":[164],"manipulated":[167],"in":[168,176,183],"activities.":[170],"have":[173],"been":[174],"implemented":[175],"tools.":[178],"discuss":[180],"our":[181],"experiences":[182],"applying":[184],"some":[190],"example":[192],"diagrams.":[194]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2120450154","counts_by_year":[{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":9},{"year":2017,"cited_by_count":11},{"year":2016,"cited_by_count":14},{"year":2015,"cited_by_count":11},{"year":2014,"cited_by_count":18},{"year":2013,"cited_by_count":16},{"year":2012,"cited_by_count":12}],"updated_date":"2025-01-20T04:35:51.913547","created_date":"2016-06-24"}