{"id":"https://openalex.org/W3048759439","doi":"https://doi.org/10.1007/978-3-030-53980-1_8","title":"Method of UML Statechart Checking Based on Explicit Model Checking","display_name":"Method of UML Statechart Checking Based on Explicit Model Checking","publication_year":2020,"publication_date":"2020-08-12","ids":{"openalex":"https://openalex.org/W3048759439","doi":"https://doi.org/10.1007/978-3-030-53980-1_8","mag":"3048759439"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-53980-1_8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-53980-1_8","pdf_url":null,"source":{"id":"https://openalex.org/S2764905038","display_name":"Advances in intelligent systems and computing","issn_l":"2194-5357","issn":["2194-5357","2194-5365"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Intelligent Systems and Computing","raw_type":"book-chapter"},"type":"book-chapter","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/A5100671892","display_name":"Junling Wang","orcid":"https://orcid.org/0000-0003-3663-7081"},"institutions":[{"id":"https://openalex.org/I4210141933","display_name":"Jilin Agricultural Science and Technology University","ror":"https://ror.org/04w5zb891","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210141933"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiajing Wang","raw_affiliation_strings":["Electrical and Information Engineering College, Jilin Agricultural Science and Technology University, Jilin, 132101, China","Smart Agricultural Engineering Research Center of Jilin Province, Jilin, 132101, China"],"affiliations":[{"raw_affiliation_string":"Electrical and Information Engineering College, Jilin Agricultural Science and Technology University, Jilin, 132101, China","institution_ids":["https://openalex.org/I4210141933"]},{"raw_affiliation_string":"Smart Agricultural Engineering Research Center of Jilin Province, Jilin, 132101, China","institution_ids":["https://openalex.org/I4210141933"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101440100","display_name":"You Tang","orcid":"https://orcid.org/0000-0002-2873-4212"},"institutions":[{"id":"https://openalex.org/I4210152006","display_name":"Jilin Agricultural University","ror":"https://ror.org/05dmhhd41","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210152006"]},{"id":"https://openalex.org/I4210141933","display_name":"Jilin Agricultural Science and Technology University","ror":"https://ror.org/04w5zb891","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210141933"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"You Tang","raw_affiliation_strings":["Electrical and Information Engineering College, Jilin Agricultural Science and Technology University, Jilin, 132101, China","Information Technology Academy, Jilin Agricultural University, Changchun, 130000, China","Smart Agricultural Engineering Research Center of Jilin Province, Jilin, 132101, China"],"affiliations":[{"raw_affiliation_string":"Electrical and Information Engineering College, Jilin Agricultural Science and Technology University, Jilin, 132101, China","institution_ids":["https://openalex.org/I4210141933"]},{"raw_affiliation_string":"Information Technology Academy, Jilin Agricultural University, Changchun, 130000, China","institution_ids":["https://openalex.org/I4210152006"]},{"raw_affiliation_string":"Smart Agricultural Engineering Research Center of Jilin Province, Jilin, 132101, China","institution_ids":["https://openalex.org/I4210141933"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078796295","display_name":"Helong Yu","orcid":null},"institutions":[{"id":"https://openalex.org/I4210152006","display_name":"Jilin Agricultural University","ror":"https://ror.org/05dmhhd41","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210152006"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Helong Yu","raw_affiliation_strings":["Information Technology Academy, Jilin Agricultural University, Changchun, 130000, China"],"affiliations":[{"raw_affiliation_string":"Information Technology Academy, Jilin Agricultural University, Changchun, 130000, China","institution_ids":["https://openalex.org/I4210152006"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001389153","display_name":"Wei Huang","orcid":"https://orcid.org/0000-0002-8284-2310"},"institutions":[{"id":"https://openalex.org/I4210141933","display_name":"Jilin Agricultural Science and Technology University","ror":"https://ror.org/04w5zb891","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210141933"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Wei Huang","raw_affiliation_strings":["Economic and Management School, Jilin Agricultural Science and Technology University, Jilin, 132101, China"],"affiliations":[{"raw_affiliation_string":"Economic and Management School, Jilin Agricultural Science and Technology University, Jilin, 132101, China","institution_ids":["https://openalex.org/I4210141933"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5001389153"],"corresponding_institution_ids":["https://openalex.org/I4210141933"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.17599678,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"47","last_page":"52"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9993000030517578,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9987000226974487,"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/model-checking","display_name":"Model checking","score":0.7991158366203308},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7862441539764404},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.7024666666984558},{"id":"https://openalex.org/keywords/applications-of-uml","display_name":"Applications of UML","score":0.6517482399940491},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6176786422729492},{"id":"https://openalex.org/keywords/uml-tool","display_name":"UML tool","score":0.6146666407585144},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6096787452697754},{"id":"https://openalex.org/keywords/abstraction-model-checking","display_name":"Abstraction model checking","score":0.5009379386901855},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.43548649549484253},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4122544527053833},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3864237666130066},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.22938242554664612}],"concepts":[{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7991158366203308},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7862441539764404},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.7024666666984558},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.6517482399940491},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6176786422729492},{"id":"https://openalex.org/C146939238","wikidata":"https://www.wikidata.org/wiki/Q2467310","display_name":"UML tool","level":4,"score":0.6146666407585144},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6096787452697754},{"id":"https://openalex.org/C30888246","wikidata":"https://www.wikidata.org/wiki/Q4669969","display_name":"Abstraction model checking","level":3,"score":0.5009379386901855},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.43548649549484253},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4122544527053833},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3864237666130066},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.22938242554664612}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-53980-1_8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-53980-1_8","pdf_url":null,"source":{"id":"https://openalex.org/S2764905038","display_name":"Advances in intelligent systems and computing","issn_l":"2194-5357","issn":["2194-5357","2194-5365"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Intelligent Systems and Computing","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1011738667","https://openalex.org/W1940023874","https://openalex.org/W2552640981","https://openalex.org/W2553562410","https://openalex.org/W2560813085","https://openalex.org/W2769741791","https://openalex.org/W2791120682","https://openalex.org/W2796601523","https://openalex.org/W3005460484","https://openalex.org/W7034488890"],"related_works":["https://openalex.org/W4230811716","https://openalex.org/W4241150048","https://openalex.org/W1601767717","https://openalex.org/W1991550997","https://openalex.org/W2406303540","https://openalex.org/W2064897848","https://openalex.org/W2150469568","https://openalex.org/W2033930908","https://openalex.org/W2387087283","https://openalex.org/W4239635237"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}