{"id":"https://openalex.org/W2397512208","doi":"https://doi.org/10.3217/jucs-019-01-0053","title":"Deriving System Behavior from UML State Machine Diagram: Applied to Missile Project","display_name":"Deriving System Behavior from UML State Machine Diagram: Applied to Missile Project","publication_year":2020,"publication_date":"2020-04-07","ids":{"openalex":"https://openalex.org/W2397512208","doi":"https://doi.org/10.3217/jucs-019-01-0053","mag":"2397512208"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:5504681","is_oa":true,"landing_page_url":"https://zenodo.org/record/5504681","pdf_url":"https://zenodo.org/record/5504681","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 19((1)) 53-77","raw_type":"info:eu-repo/semantics/article"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/5504681","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108241018","display_name":"Hyun Seok Min","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hyun-Seok Min","raw_affiliation_strings":["Korea University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Korea University","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"Jin-Young Choi","orcid":null},"institutions":[{"id":"https://openalex.org/I2801036362","display_name":"Agency for Defense Development","ror":"https://ror.org/05fhe0r85","country_code":"KR","type":"government","lineage":["https://openalex.org/I1327899338","https://openalex.org/I1344042128","https://openalex.org/I2801036362","https://openalex.org/I2801339556"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jin-Young Choi","raw_affiliation_strings":["Korean Agency for Defense Development"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Korean Agency for Defense Development","institution_ids":["https://openalex.org/I2801036362"]}]},{"author_position":"last","author":{"id":null,"display_name":"Sang-Mun Chung","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sang-Mun Chung","raw_affiliation_strings":["Graduate School of Information Study"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Information Study","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3206,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.58961825,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"19","issue":"1","first_page":"53","last_page":"77"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9998000264167786,"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.9994999766349792,"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/computer-science","display_name":"Computer science","score":0.8175342082977295},{"id":"https://openalex.org/keywords/class-diagram","display_name":"Class diagram","score":0.7074407935142517},{"id":"https://openalex.org/keywords/sequence-diagram","display_name":"Sequence diagram","score":0.6903038620948792},{"id":"https://openalex.org/keywords/communication-diagram","display_name":"Communication diagram","score":0.6526309251785278},{"id":"https://openalex.org/keywords/use-case-diagram","display_name":"Use Case Diagram","score":0.5819310545921326},{"id":"https://openalex.org/keywords/state-diagram","display_name":"State diagram","score":0.5716524124145508},{"id":"https://openalex.org/keywords/systems-modeling-language","display_name":"Systems Modeling Language","score":0.5710736513137817},{"id":"https://openalex.org/keywords/activity-diagram","display_name":"Activity diagram","score":0.5348540544509888},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.5347594022750854},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.5089740753173828},{"id":"https://openalex.org/keywords/system-context-diagram","display_name":"System context diagram","score":0.46333491802215576},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4523114860057831},{"id":"https://openalex.org/keywords/missile","display_name":"Missile","score":0.4520742893218994},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.42211470007896423},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3998397886753082},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.38960960507392883},{"id":"https://openalex.org/keywords/diagram","display_name":"Diagram","score":0.25260040163993835},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.18582403659820557}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8175342082977295},{"id":"https://openalex.org/C202446494","wikidata":"https://www.wikidata.org/wiki/Q664166","display_name":"Class diagram","level":4,"score":0.7074407935142517},{"id":"https://openalex.org/C153185123","wikidata":"https://www.wikidata.org/wiki/Q1391624","display_name":"Sequence diagram","level":4,"score":0.6903038620948792},{"id":"https://openalex.org/C48419115","wikidata":"https://www.wikidata.org/wiki/Q950859","display_name":"Communication diagram","level":5,"score":0.6526309251785278},{"id":"https://openalex.org/C161756209","wikidata":"https://www.wikidata.org/wiki/Q613423","display_name":"Use Case Diagram","level":5,"score":0.5819310545921326},{"id":"https://openalex.org/C16671368","wikidata":"https://www.wikidata.org/wiki/Q230885","display_name":"State diagram","level":3,"score":0.5716524124145508},{"id":"https://openalex.org/C21285288","wikidata":"https://www.wikidata.org/wiki/Q2117885","display_name":"Systems Modeling Language","level":4,"score":0.5710736513137817},{"id":"https://openalex.org/C64219723","wikidata":"https://www.wikidata.org/wiki/Q423262","display_name":"Activity diagram","level":4,"score":0.5348540544509888},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.5347594022750854},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.5089740753173828},{"id":"https://openalex.org/C91597405","wikidata":"https://www.wikidata.org/wiki/Q446366","display_name":"System context diagram","level":3,"score":0.46333491802215576},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4523114860057831},{"id":"https://openalex.org/C2778857364","wikidata":"https://www.wikidata.org/wiki/Q974850","display_name":"Missile","level":2,"score":0.4520742893218994},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.42211470007896423},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3998397886753082},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.38960960507392883},{"id":"https://openalex.org/C186399060","wikidata":"https://www.wikidata.org/wiki/Q959962","display_name":"Diagram","level":2,"score":0.25260040163993835},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.18582403659820557},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:zenodo.org:5504681","is_oa":true,"landing_page_url":"https://zenodo.org/record/5504681","pdf_url":"https://zenodo.org/record/5504681","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 19((1)) 53-77","raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.3217/jucs-019-01-0053","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-019-01-0053","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"mag:2397512208","is_oa":false,"landing_page_url":"https://lib.jucs.org/article/22862/download/pdf/","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:zenodo.org:5504681","is_oa":true,"landing_page_url":"https://zenodo.org/record/5504681","pdf_url":"https://zenodo.org/record/5504681","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 19((1)) 53-77","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320322120","display_name":"National Research Foundation of Korea","ror":"https://ror.org/013aysd81"},{"id":"https://openalex.org/F4320322349","display_name":"Ministry of Education, Science and Technology","ror":"https://ror.org/01p262204"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2397512208.pdf","grobid_xml":"https://content.openalex.org/works/W2397512208.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W106485380","https://openalex.org/W1483143768","https://openalex.org/W1489862800","https://openalex.org/W1499908223","https://openalex.org/W1503973138","https://openalex.org/W1521673407","https://openalex.org/W1550227173","https://openalex.org/W1554765498","https://openalex.org/W1558435340","https://openalex.org/W1569576724","https://openalex.org/W1581882798","https://openalex.org/W1590462283","https://openalex.org/W1597941103","https://openalex.org/W1893608329","https://openalex.org/W1975168644","https://openalex.org/W2085136996","https://openalex.org/W2107061559","https://openalex.org/W2114298495","https://openalex.org/W2116379961","https://openalex.org/W2126590950","https://openalex.org/W2129083927","https://openalex.org/W2129718707","https://openalex.org/W2141407780","https://openalex.org/W2149167270","https://openalex.org/W2152203042","https://openalex.org/W2156918327","https://openalex.org/W2159090554","https://openalex.org/W2159720139","https://openalex.org/W2163289685","https://openalex.org/W2165413178","https://openalex.org/W2170394446","https://openalex.org/W2171427669","https://openalex.org/W2484044703","https://openalex.org/W2525740454","https://openalex.org/W2525852614","https://openalex.org/W2539024465","https://openalex.org/W2722196634","https://openalex.org/W2913459036","https://openalex.org/W3144368627"],"related_works":["https://openalex.org/W2392898167","https://openalex.org/W2132440302","https://openalex.org/W2181584277","https://openalex.org/W2170037794","https://openalex.org/W2106909618","https://openalex.org/W2278209738","https://openalex.org/W2375632751","https://openalex.org/W2647505","https://openalex.org/W2290208485","https://openalex.org/W2062507414","https://openalex.org/W2188012963","https://openalex.org/W2369437789","https://openalex.org/W3172515088","https://openalex.org/W2003485535","https://openalex.org/W2393167022","https://openalex.org/W1481041571","https://openalex.org/W2104259212","https://openalex.org/W106830831","https://openalex.org/W1496055859","https://openalex.org/W2488674367"],"abstract_inverted_index":{"Traditionally,":[0],"System":[1,16,42,51],"Analysis":[2,17,43,52],"and":[3,44,58,72,124,149],"Software":[4,11,45,66],"Design":[5,12,67],"are":[6,68],"treated":[7],"as":[8,36,139],"separate":[9,97],"processes.":[10],"is":[13,31,53,78,87,158,175,179],"based":[14],"on":[15],"but":[18],"they":[19],"have":[20],"little":[21],"direct":[22],"relationship":[23],"to":[24,88,106,160,181,184],"each":[25],"other.":[26],"UML":[27],"(Unified":[28],"Modeling":[29],"Language)":[30],"widely":[32],"accepted":[33],"by":[34,113],"industry":[35],"the":[37,54,62,69,119,145,161],"de":[38],"facto":[39],"standard":[40],"for":[41,50,65,82,135,144,167],"Design.":[46],"The":[47,126,155,173],"primary":[48,63],"tool":[49],"Use":[55,150],"Case":[56,151],"Diagram":[57,71,77,112,131],"its":[59],"Scenarios,":[60],"while":[61],"tools":[64],"Class":[70],"Sequence":[73],"Diagram.":[74],"State":[75,110,115,129],"Machine":[76,111,116,130],"also":[79],"very":[80,176],"useful":[81],"behavioral":[83],"modeling.":[84],"Our":[85],"aim":[86],"derive":[89],"system":[90,120],"behavior":[91],"from":[92],"software":[93],"design,":[94],"so":[95],"that":[96],"processes":[98],"can":[99,132],"work":[100],"together.":[101],"This":[102],"paper":[103],"suggests":[104],"how":[105],"make":[107],"a":[108],"system-wide":[109,128],"gathering":[114],"Diagrams":[117],"in":[118,170],"using":[121],"predefined":[122],"Stereotypes":[123],"Synchronization/Externalization.":[125],"resulting":[127],"be":[133,182],"used":[134],"various":[136],"things,":[137],"such":[138],"automatic":[140],"test":[141],"case":[142],"generation":[143],"system,":[146],"deadlock":[147],"detection,":[148],"scenario":[152],"consistency":[153],"checking.":[154],"proposed":[156],"method":[157],"applied":[159,183],"Missile":[162],"project":[163],"of":[164],"ADD":[165],"(Agency":[166],"Defense":[168],"Development)":[169],"South":[171],"Korea.":[172],"result":[174],"promising.":[177],"It":[178],"expected":[180],"more":[185],"projects.":[186]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}