{"id":"https://openalex.org/W1993257941","doi":"https://doi.org/10.4018/jssci.2009062506","title":"The Formal Design Model of a Lift Dispatching System (LDS)","display_name":"The Formal Design Model of a Lift Dispatching System (LDS)","publication_year":2009,"publication_date":"2009-10-01","ids":{"openalex":"https://openalex.org/W1993257941","doi":"https://doi.org/10.4018/jssci.2009062506","mag":"1993257941"},"language":"en","primary_location":{"id":"doi:10.4018/jssci.2009062506","is_oa":false,"landing_page_url":"https://doi.org/10.4018/jssci.2009062506","pdf_url":null,"source":{"id":"https://openalex.org/S201241086","display_name":"International Journal of Software Science and Computational Intelligence","issn_l":"1942-9037","issn":["1942-9037","1942-9045"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Science and Computational Intelligence","raw_type":"journal-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/A5012322217","display_name":"Yingxu Wang","orcid":"https://orcid.org/0000-0003-0445-3632"},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Yingxu Wang","raw_affiliation_strings":["University of Calgary, Canada","University of CALGARY, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Calgary, Canada","institution_ids":["https://openalex.org/I168635309"]},{"raw_affiliation_string":"University of CALGARY, Canada","institution_ids":["https://openalex.org/I168635309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034445887","display_name":"Cyprian F. Ngolah","orcid":null},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Cyprian F. Ngolah","raw_affiliation_strings":["University of Calgary, Canada","University of CALGARY, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Calgary, Canada","institution_ids":["https://openalex.org/I168635309"]},{"raw_affiliation_string":"University of CALGARY, Canada","institution_ids":["https://openalex.org/I168635309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054500263","display_name":"Hadi Ahmadi","orcid":"https://orcid.org/0000-0002-9641-0033"},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Hadi Ahmadi","raw_affiliation_strings":["University of Calgary, Canada","University of CALGARY, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Calgary, Canada","institution_ids":["https://openalex.org/I168635309"]},{"raw_affiliation_string":"University of CALGARY, Canada","institution_ids":["https://openalex.org/I168635309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076927567","display_name":"Phillip C.\u2010Y. Sheu","orcid":"https://orcid.org/0000-0003-2036-850X"},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]},{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN","US"],"is_corresponding":false,"raw_author_name":"Philip Sheu","raw_affiliation_strings":["Wuhan University, China and University of California-Irvine, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Wuhan University, China and University of California-Irvine, USA","institution_ids":["https://openalex.org/I204250578","https://openalex.org/I37461747"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100631944","display_name":"Shi Ying","orcid":"https://orcid.org/0000-0003-4291-5586"},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shi Ying","raw_affiliation_strings":["Wuhan University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Wuhan University, China","institution_ids":["https://openalex.org/I37461747"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":9.3268,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.97926912,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"1","issue":"4","first_page":"111","last_page":"137"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13062","display_name":"Cognitive Computing and Networks","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T13062","display_name":"Cognitive Computing and Networks","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T12805","display_name":"Cognitive Science and Mapping","score":0.9258000254631042,"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"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9169999957084656,"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.8186099529266357},{"id":"https://openalex.org/keywords/lift","display_name":"Lift (data mining)","score":0.5273096561431885},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5118493437767029},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.46870774030685425},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4669676125049591},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.43938884139060974},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.4371940493583679},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4241657853126526},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40456950664520264}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8186099529266357},{"id":"https://openalex.org/C139002025","wikidata":"https://www.wikidata.org/wiki/Q3001212","display_name":"Lift (data mining)","level":2,"score":0.5273096561431885},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5118493437767029},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.46870774030685425},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4669676125049591},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.43938884139060974},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.4371940493583679},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4241657853126526},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40456950664520264},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.4018/jssci.2009062506","is_oa":false,"landing_page_url":"https://doi.org/10.4018/jssci.2009062506","pdf_url":null,"source":{"id":"https://openalex.org/S201241086","display_name":"International Journal of Software Science and Computational Intelligence","issn_l":"1942-9037","issn":["1942-9037","1942-9045"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Science and Computational Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:RePEc:igg:jssci0:v:1:y:2009:i:4:p:111-137","is_oa":false,"landing_page_url":"http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jssci.2009062506","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W57277416","https://openalex.org/W154197105","https://openalex.org/W1248316247","https://openalex.org/W1480781989","https://openalex.org/W1483241283","https://openalex.org/W1528080797","https://openalex.org/W1560374531","https://openalex.org/W1606650785","https://openalex.org/W2001390679","https://openalex.org/W2027435343","https://openalex.org/W2028005385","https://openalex.org/W2034088070","https://openalex.org/W2045294308","https://openalex.org/W2056449002","https://openalex.org/W2068628707","https://openalex.org/W2091461315","https://openalex.org/W2110425399","https://openalex.org/W2163801789","https://openalex.org/W2168015072","https://openalex.org/W2501322474","https://openalex.org/W2887614761","https://openalex.org/W3144368627","https://openalex.org/W3199318759","https://openalex.org/W4211008702","https://openalex.org/W4251789093","https://openalex.org/W6631504309","https://openalex.org/W6676995014","https://openalex.org/W6684640988","https://openalex.org/W6754371555","https://openalex.org/W6792865771"],"related_works":["https://openalex.org/W2049993111","https://openalex.org/W1950421680","https://openalex.org/W2145025660","https://openalex.org/W2171674700","https://openalex.org/W1922520186","https://openalex.org/W1544097700","https://openalex.org/W1946493810","https://openalex.org/W1495250406","https://openalex.org/W17088386","https://openalex.org/W1608485412"],"abstract_inverted_index":{"A":[0],"Lift":[1],"Dispatching":[2],"System":[3],"(LDS)":[4],"is":[5,11,48,64],"a":[6,32,74,93,165,175],"typical":[7],"real-time":[8,170],"system":[9,30,47,63,87,113],"that":[10],"highly":[12],"complicated":[13],"in":[14,189],"design":[15,130,167],"and":[16,25,71,90,104,116,122,182],"implementation.":[17],"This":[18],"article":[19],"presents":[20],"the":[21,28,45,51,55,61,85,101,111,128,133,142,179],"formal":[22,129,156,166,187],"design,":[23],"specification,":[24],"modeling":[26,69,183],"of":[27,44,60,76,84,95,110,132,158,169,178,185],"LDS":[29,46,62,86,112,134,159],"using":[31,66,141],"denotational":[33],"mathematics":[34],"known":[35],"as":[36,50,164],"Real-Time":[37],"Process":[38,97],"Algebra":[39],"(RTPA).":[40],"The":[41,57,81,107,155],"conceptual":[42],"model":[43,59],"introduced":[49],"initial":[52],"requirements":[53],"for":[54,100],"system.":[56],"architectural":[58,68],"created":[65],"RTPA":[67,143],"methodologies":[70],"refined":[72,91,117],"by":[73,92,118,153],"set":[75,94],"Unified":[77,96],"Data":[78],"Models":[79,98],"(UDMs).":[80],"static":[82],"behaviors":[83,109],"are":[88,114],"specified":[89,115],"(UPMs)":[99],"lift":[102],"dispatching":[103],"serving":[105],"processes.":[106],"dynamic":[108],"process":[119,123],"priority":[120],"allocation":[121],"deployment":[124],"models.":[125],"Based":[126],"on":[127],"models":[131,157],"system,":[135],"code":[136],"can":[137],"be":[138,148],"automatically":[139],"generated":[140],"Code":[144],"Generator":[145],"(RTPA-CG),":[146],"or":[147],"seamlessly":[149],"transferred":[150],"into":[151],"programs":[152],"programmers.":[154],"may":[160],"not":[161],"only":[162],"serve":[163],"paradigm":[168],"software":[171,190],"systems,":[172],"but":[173],"also":[174],"test":[176],"bench":[177],"expressive":[180],"power":[181],"capability":[184],"exiting":[186],"methods":[188],"engineering.":[191]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":11}],"updated_date":"2026-06-11T06:19:23.411458","created_date":"2025-10-10T00:00:00"}