{"id":"https://openalex.org/W2002537956","doi":"https://doi.org/10.1109/icis.2013.6607887","title":"An approach to representing and utilizing specification pattern knowledge for computer-aided formalization of requirements","display_name":"An approach to representing and utilizing specification pattern knowledge for computer-aided formalization of requirements","publication_year":2013,"publication_date":"2013-06-01","ids":{"openalex":"https://openalex.org/W2002537956","doi":"https://doi.org/10.1109/icis.2013.6607887","mag":"2002537956"},"language":"en","primary_location":{"id":"doi:10.1109/icis.2013.6607887","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icis.2013.6607887","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE/ACIS 12th International Conference on Computer and Information Science (ICIS)","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/A5114626699","display_name":"Xi Wang","orcid":"https://orcid.org/0009-0003-9520-2640"},"institutions":[{"id":"https://openalex.org/I204291657","display_name":"Hosei University","ror":"https://ror.org/00bx6dj65","country_code":"JP","type":"education","lineage":["https://openalex.org/I204291657"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Xi Wang","raw_affiliation_strings":["Department of Computer Science, Hosei University, Japan","[Department of Computer Science, Hosei University, Koganei, Japan]"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Hosei University, Japan","institution_ids":["https://openalex.org/I204291657"]},{"raw_affiliation_string":"[Department of Computer Science, Hosei University, Koganei, Japan]","institution_ids":["https://openalex.org/I204291657"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044917982","display_name":"Shaoying Liu","orcid":"https://orcid.org/0000-0002-5944-2714"},"institutions":[{"id":"https://openalex.org/I204291657","display_name":"Hosei University","ror":"https://ror.org/00bx6dj65","country_code":"JP","type":"education","lineage":["https://openalex.org/I204291657"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Shaoying Liu","raw_affiliation_strings":["Department of Computer Science, Hosei University, Japan","[Department of Computer Science, Hosei University, Koganei, Japan]"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Hosei University, Japan","institution_ids":["https://openalex.org/I204291657"]},{"raw_affiliation_string":"[Department of Computer Science, Hosei University, Koganei, Japan]","institution_ids":["https://openalex.org/I204291657"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5114626699"],"corresponding_institution_ids":["https://openalex.org/I204291657"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06852866,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"489","last_page":"496"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9993000030517578,"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.8357963562011719},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.6669445037841797},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.6000114679336548},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5374311804771423},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5346144437789917},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5143522024154663},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5101361870765686},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.44403403997421265},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.4350772202014923},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.41529619693756104},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4041503071784973},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.36757972836494446}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8357963562011719},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.6669445037841797},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.6000114679336548},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5374311804771423},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5346144437789917},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5143522024154663},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5101361870765686},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.44403403997421265},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.4350772202014923},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.41529619693756104},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4041503071784973},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.36757972836494446},{"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icis.2013.6607887","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icis.2013.6607887","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE/ACIS 12th International Conference on Computer and Information Science (ICIS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.4099999964237213}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W119234542","https://openalex.org/W1482756907","https://openalex.org/W1599906940","https://openalex.org/W1649645444","https://openalex.org/W2020802608","https://openalex.org/W2112970105","https://openalex.org/W2115608608","https://openalex.org/W2125853559","https://openalex.org/W2148806825","https://openalex.org/W2150189917","https://openalex.org/W2159958244","https://openalex.org/W2168216499","https://openalex.org/W2169887034","https://openalex.org/W2346597859","https://openalex.org/W4252398666","https://openalex.org/W6604722871","https://openalex.org/W6635510826"],"related_works":["https://openalex.org/W1903167137","https://openalex.org/W2171674700","https://openalex.org/W2145025660","https://openalex.org/W1922520186","https://openalex.org/W1544097700","https://openalex.org/W1946493810","https://openalex.org/W1495250406","https://openalex.org/W17088386","https://openalex.org/W1608485412","https://openalex.org/W2005596529"],"abstract_inverted_index":{"Formalizing":[0],"requirements":[1,154],"in":[2,13,18,128],"formal":[3,16,58,113,158],"specifications":[4],"usually":[5],"requires":[6],"high":[7],"skills":[8],"for":[9,54,151],"abstraction":[10],"and":[11,42,91,103,134,155,170],"experience":[12],"using":[14],"the":[15,20,39,72,105,109,116,123,149,168],"notation":[17],"which":[19,69],"specification":[21],"is":[22,126],"written.":[23],"This":[24,96],"poses":[25],"a":[26,48,75,94,112,140,163,172,177],"challenge":[27],"to":[28,33,82,86,101],"many":[29],"practitioners":[30],"who":[31],"have":[32],"deal":[34],"with":[35,71],"realistic":[36],"systems":[37],"within":[38],"required":[40],"schedule":[41],"budget.":[43],"To":[44],"handle":[45],"this":[46],"challenge,":[47],"pattern":[49,106,117,124],"system":[50,125],"has":[51],"been":[52],"proposed":[53,141],"computer-aided":[55],"construction":[56],"of":[57,68,74,77,111,115,122],"expressions.":[59,159],"It":[60],"organizes":[61],"various":[62],"inter-related":[63],"patterns":[64],"on":[65,108,175],"computer,":[66],"each":[67],"deals":[70],"formalization":[73],"kind":[76],"informal":[78,153],"ideas.":[79],"But":[80],"how":[81],"represent":[83],"such":[84],"knowledge":[85,107],"facilitate":[87],"its":[88],"automatic":[89],"utilization":[90],"maintenance":[92],"remains":[93],"problem.":[95],"paper":[97],"presents":[98],"an":[99],"approach":[100,169],"representing":[102],"utilizing":[104],"basis":[110],"definition":[114],"system.":[118,181],"The":[119],"application":[120],"process":[121],"described":[127],"HFSM":[129,150],"(Hierarchical":[130],"Finite":[131],"State":[132],"Machine)":[133],"treated":[135],"as":[136],"knowledge.":[137],"By":[138],"performing":[139],"algorithm,":[142],"necessary":[143],"information":[144],"can":[145],"be":[146],"retrieved":[147],"from":[148],"capturing":[152],"automatically":[156],"generating":[157],"We":[160],"also":[161],"describe":[162],"prototype":[164],"tool":[165],"that":[166],"implements":[167],"present":[171],"case":[173],"study":[174],"modeling":[176],"bank":[178],"data":[179],"management":[180]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}