{"id":"https://openalex.org/W3170012332","doi":"https://doi.org/10.1109/iccicc50026.2020.9450275","title":"Formal Software Requirement Elicitation based on Semantic Algebra and Cognitive Computing","display_name":"Formal Software Requirement Elicitation based on Semantic Algebra and Cognitive Computing","publication_year":2020,"publication_date":"2020-09-26","ids":{"openalex":"https://openalex.org/W3170012332","doi":"https://doi.org/10.1109/iccicc50026.2020.9450275","mag":"3170012332"},"language":"en","primary_location":{"id":"doi:10.1109/iccicc50026.2020.9450275","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccicc50026.2020.9450275","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE 19th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)","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/A5109061634","display_name":"James Y. Xu","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":true,"raw_author_name":"James Y. Xu","raw_affiliation_strings":["Dept. of Electrical and Computer Engineering, Schulich School of Engineering (SSE) and Hotchkiss Brain Institute (HBI) University of Calgary 2500 University Drive, NW Calgary, AB, Canada","Lab for Computational Intelligence and Cognitive Systems, International Institute of Cognitive Informatics and Cognitive Computing (ICIC)"],"affiliations":[{"raw_affiliation_string":"Dept. of Electrical and Computer Engineering, Schulich School of Engineering (SSE) and Hotchkiss Brain Institute (HBI) University of Calgary 2500 University Drive, NW Calgary, AB, Canada","institution_ids":["https://openalex.org/I168635309"]},{"raw_affiliation_string":"Lab for Computational Intelligence and Cognitive Systems, International Institute of Cognitive Informatics and Cognitive Computing (ICIC)","institution_ids":[]}]},{"author_position":"last","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":["Dept. of Electrical and Computer Engineering, Schulich School of Engineering (SSE) and Hotchkiss Brain Institute (HBI) University of Calgary 2500 University Drive, NW Calgary, AB, Canada","Lab for Computational Intelligence and Cognitive Systems, International Institute of Cognitive Informatics and Cognitive Computing (ICIC)"],"affiliations":[{"raw_affiliation_string":"Dept. of Electrical and Computer Engineering, Schulich School of Engineering (SSE) and Hotchkiss Brain Institute (HBI) University of Calgary 2500 University Drive, NW Calgary, AB, Canada","institution_ids":["https://openalex.org/I168635309"]},{"raw_affiliation_string":"Lab for Computational Intelligence and Cognitive Systems, International Institute of Cognitive Informatics and Cognitive Computing (ICIC)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5109061634"],"corresponding_institution_ids":["https://openalex.org/I168635309"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.23871378,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"11","issue":null,"first_page":"187","last_page":"194"},"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.9523000121116638,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9469000101089478,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6944054365158081},{"id":"https://openalex.org/keywords/software-requirements","display_name":"Software requirements","score":0.6008911728858948},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5964728593826294},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5920729041099548},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.5568246245384216},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.5530463457107544},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.5089132785797119},{"id":"https://openalex.org/keywords/requirements-elicitation","display_name":"Requirements elicitation","score":0.5042144060134888},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.5010488033294678},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4777238070964813},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.43104827404022217},{"id":"https://openalex.org/keywords/requirements-analysis","display_name":"Requirements analysis","score":0.42202305793762207},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.4123517572879791},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.37861165404319763},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1110038161277771}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6944054365158081},{"id":"https://openalex.org/C54534927","wikidata":"https://www.wikidata.org/wiki/Q4462275","display_name":"Software requirements","level":5,"score":0.6008911728858948},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5964728593826294},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5920729041099548},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.5568246245384216},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.5530463457107544},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.5089132785797119},{"id":"https://openalex.org/C45384764","wikidata":"https://www.wikidata.org/wiki/Q838667","display_name":"Requirements elicitation","level":4,"score":0.5042144060134888},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.5010488033294678},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4777238070964813},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.43104827404022217},{"id":"https://openalex.org/C59488412","wikidata":"https://www.wikidata.org/wiki/Q187147","display_name":"Requirements analysis","level":3,"score":0.42202305793762207},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.4123517572879791},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.37861165404319763},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1110038161277771},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccicc50026.2020.9450275","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccicc50026.2020.9450275","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE 19th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1560374531","https://openalex.org/W1632114991","https://openalex.org/W1874539085","https://openalex.org/W1915275519","https://openalex.org/W1996468919","https://openalex.org/W2034088070","https://openalex.org/W2132914604","https://openalex.org/W2302619866","https://openalex.org/W2315788772","https://openalex.org/W2326883956","https://openalex.org/W2334062286","https://openalex.org/W2369924497","https://openalex.org/W2599803294","https://openalex.org/W2895916421","https://openalex.org/W3038623675","https://openalex.org/W3044510823","https://openalex.org/W4236448544","https://openalex.org/W4254408161","https://openalex.org/W6735678337","https://openalex.org/W6780010455"],"related_works":["https://openalex.org/W4285259062","https://openalex.org/W1703282317","https://openalex.org/W344309486","https://openalex.org/W4230678896","https://openalex.org/W2242308721","https://openalex.org/W2105242771","https://openalex.org/W3215302817","https://openalex.org/W2181998829","https://openalex.org/W2901540557","https://openalex.org/W4235167339"],"abstract_inverted_index":{"Autonomous":[0],"software":[1,15,29,43,52,72,85,91,95,138,159],"requirement":[2],"analysis":[3],"and":[4,12,25,54,61,105,119,132],"generation":[5,157],"are":[6],"a":[7,41,71,113,152],"persistent":[8],"challenge":[9],"to":[10,22],"theories":[11],"technologies":[13],"of":[14,103],"engineering.":[16,160],"A":[17],"cognitive":[18],"system":[19,73],"is":[20,65,110],"demanded":[21],"automatically":[23],"elicit":[24,131],"rigorously":[26,130],"refine":[27],"informal":[28],"requirements":[30,44,69,96,135],"in":[31,51,74,81,141,158],"natural":[32,75],"language":[33,76],"descriptions":[34],"into":[35],"formal":[36,94,134],"specifications.":[37],"This":[38,108,149],"paper":[39],"presents":[40],"novel":[42],"elicitation":[45],"methodology":[46],"based":[47],"on":[48],"latest":[49],"advances":[50],"science":[53],"denotational":[55],"mathematics":[56],"such":[57],"as":[58],"semantic":[59],"algebra":[60,144],"concept":[62],"algebra.":[63],"It":[64],"found":[66],"that":[67,125],"user":[68],"for":[70,84,90,115,136],"may":[77,97,129],"be":[78,98],"either":[79],"expressed":[80],"to-be":[82],"sentences":[83,89],"structures":[86],"or":[87,146],"to-do":[88],"behaviors.":[92],"Thus,":[93],"elicited":[99],"by":[100,112],"two":[101],"sets":[102],"structural":[104],"functional":[106],"models.":[107],"approach":[109],"implemented":[111],"tool":[114,128],"Formal":[116],"Requirement":[117],"Elicitation":[118],"Analysis":[120],"(FREA).":[121],"Experimental":[122],"results":[123],"demonstrate":[124],"the":[126],"FREA":[127],"generate":[133],"arbitrary":[137],"systems":[139],"specified":[140],"real-time":[142],"process":[143],"(RTPA)":[145],"equivalent":[147],"notations.":[148],"technology":[150],"paves":[151],"way":[153],"towards":[154],"autonomous":[155],"code":[156]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}