{"id":"https://openalex.org/W2904888973","doi":"https://doi.org/10.1109/gcce.2018.8574828","title":"Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design","display_name":"Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design","publication_year":2018,"publication_date":"2018-10-01","ids":{"openalex":"https://openalex.org/W2904888973","doi":"https://doi.org/10.1109/gcce.2018.8574828","mag":"2904888973"},"language":"en","primary_location":{"id":"doi:10.1109/gcce.2018.8574828","is_oa":false,"landing_page_url":"https://doi.org/10.1109/gcce.2018.8574828","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE 7th Global Conference on Consumer Electronics (GCCE)","raw_type":"proceedings-article"},"type":"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/A5011870861","display_name":"Amit Batajoo","orcid":null},"institutions":[{"id":"https://openalex.org/I137975476","display_name":"Shinshu University","ror":"https://ror.org/0244rem06","country_code":"JP","type":"education","lineage":["https://openalex.org/I137975476"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Batajoo Amit","raw_affiliation_strings":["Graduate School of Science and Technology, Shinshu University, 4-17-1 Wakasato, Nagano, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Science and Technology, Shinshu University, 4-17-1 Wakasato, Nagano, Japan","institution_ids":["https://openalex.org/I137975476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081804645","display_name":"Yojiro Harie","orcid":"https://orcid.org/0009-0005-4585-264X"},"institutions":[{"id":"https://openalex.org/I137975476","display_name":"Shinshu University","ror":"https://ror.org/0244rem06","country_code":"JP","type":"education","lineage":["https://openalex.org/I137975476"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yojiro Harie","raw_affiliation_strings":["Interdisciplinary Graduate School of Science and Technology, Shinshu University, 4-17-1 Wakasato, Nagano, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Interdisciplinary Graduate School of Science and Technology, Shinshu University, 4-17-1 Wakasato, Nagano, Japan","institution_ids":["https://openalex.org/I137975476"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058596471","display_name":"Katsumi Wasaki","orcid":"https://orcid.org/0000-0002-4719-459X"},"institutions":[{"id":"https://openalex.org/I137975476","display_name":"Shinshu University","ror":"https://ror.org/0244rem06","country_code":"JP","type":"education","lineage":["https://openalex.org/I137975476"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Katsumi Wasaki","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Shinshu University, 4-17-1 Wakasato, Nagano, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Shinshu University, 4-17-1 Wakasato, Nagano, Japan","institution_ids":["https://openalex.org/I137975476"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.19019139,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"16","issue":null,"first_page":"614","last_page":"618"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10525","display_name":"Human-Automation Interaction and Safety","score":0.9908999800682068,"subfield":{"id":"https://openalex.org/subfields/3207","display_name":"Social Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10525","display_name":"Human-Automation Interaction and Safety","score":0.9908999800682068,"subfield":{"id":"https://openalex.org/subfields/3207","display_name":"Social Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12203","display_name":"Mobile Agent-Based Network Management","score":0.9876999855041504,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9861000180244446,"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/petri-net","display_name":"Petri net","score":0.8002659678459167},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7734194993972778},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5420210957527161},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5401856303215027},{"id":"https://openalex.org/keywords/virtual-reality","display_name":"Virtual reality","score":0.49674803018569946},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.4851889908313751},{"id":"https://openalex.org/keywords/systems-design","display_name":"Systems design","score":0.44101226329803467},{"id":"https://openalex.org/keywords/tourism","display_name":"Tourism","score":0.4151940643787384},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.4035436809062958},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3470543622970581},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3431815803050995},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3299647867679596},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12892240285873413},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.1258925497531891}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8002659678459167},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7734194993972778},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5420210957527161},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5401856303215027},{"id":"https://openalex.org/C194969405","wikidata":"https://www.wikidata.org/wiki/Q170519","display_name":"Virtual reality","level":2,"score":0.49674803018569946},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.4851889908313751},{"id":"https://openalex.org/C31352089","wikidata":"https://www.wikidata.org/wiki/Q3750474","display_name":"Systems design","level":2,"score":0.44101226329803467},{"id":"https://openalex.org/C18918823","wikidata":"https://www.wikidata.org/wiki/Q49389","display_name":"Tourism","level":2,"score":0.4151940643787384},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.4035436809062958},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3470543622970581},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3431815803050995},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3299647867679596},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12892240285873413},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.1258925497531891},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/gcce.2018.8574828","is_oa":false,"landing_page_url":"https://doi.org/10.1109/gcce.2018.8574828","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE 7th Global Conference on Consumer Electronics (GCCE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W324976980","https://openalex.org/W1490652043","https://openalex.org/W1867248080","https://openalex.org/W1996109622","https://openalex.org/W2002270641","https://openalex.org/W2056126010","https://openalex.org/W2097937716","https://openalex.org/W2111537388","https://openalex.org/W2113004249","https://openalex.org/W2124060379","https://openalex.org/W2164409988","https://openalex.org/W2168647721","https://openalex.org/W2778735466","https://openalex.org/W4240935802","https://openalex.org/W6611165438","https://openalex.org/W6629426531","https://openalex.org/W6678390129"],"related_works":["https://openalex.org/W1551257573","https://openalex.org/W4230983483","https://openalex.org/W2132799268","https://openalex.org/W1980200158","https://openalex.org/W2154794415","https://openalex.org/W2365950150","https://openalex.org/W2340408570","https://openalex.org/W781861285","https://openalex.org/W261359534","https://openalex.org/W3130398208"],"abstract_inverted_index":{"This":[0,63,112],"paper":[1],"explains":[2],"the":[3,8,19,23,29,43,56,61,69,93,98,104,115,131,159,162],"modeling":[4],"and":[5,48,50,54,72,86,117,121,145],"verification":[6],"of":[7,11,28,75,97,100,106,119,161],"operational":[9,36,95,153],"behavior":[10,37,74],"a":[12],"virtual":[13],"reality":[14],"(VR)":[15],"tourism":[16],"system":[17,24,30],"for":[18],"architectural":[20],"design":[21,116,134],"during":[22,108],"requirement":[25],"definition":[26],"phase":[27],"development":[31,118],"life":[32],"cycle.":[33],"Accurately":[34],"modeled":[35],"can":[38,91],"provide":[39],"deep":[40],"insights":[41],"into":[42],"navigational":[44],"transitions":[45],"through":[46],"events":[47,81],"activities":[49],"helps":[51],"us":[52],"identify":[53,68],"quantify":[55],"resources":[57],"being":[58],"used":[59],"in":[60,80,110],"system.":[62],"research":[64],"also":[65],"aims":[66],"to":[67,157],"most":[70],"common":[71],"initial":[73],"tourists,":[76],"such":[77,82,102],"as":[78,83,103],"participation":[79,109],"photography,":[84],"paragliding,":[85],"hunting":[87],"events.":[88,111],"Also,":[89],"we":[90,140,150],"evaluate":[92],"complex":[94],"properties":[96],"process":[99],"navigation,":[101],"possibility":[105],"accidents":[107],"will":[113],"support":[114],"better":[120],"more":[122],"realistic":[123],"systems":[124],"under":[125],"actual":[126],"operating":[127],"conditions.":[128],"By":[129],"using":[130],"Petri":[132,137],"net":[133],"tool":[135],"Hierarchical":[136],"Net":[138],"Simulator,":[139],"realized":[141],"an":[142,152],"accurate":[143],"model":[144],"analyzed":[146],"navigation":[147],"behavior.":[148],"Further,":[149],"generated":[151],"profile-based":[154],"testing":[155],"framework":[156],"improve":[158],"reliability":[160],"VR":[163],"application.":[164]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}