{"id":"https://openalex.org/W2476805165","doi":"https://doi.org/10.1109/snpd.2016.7515926","title":"Automatic support for formal specification construction using pattern knowledge","display_name":"Automatic support for formal specification construction using pattern knowledge","publication_year":2016,"publication_date":"2016-05-01","ids":{"openalex":"https://openalex.org/W2476805165","doi":"https://doi.org/10.1109/snpd.2016.7515926","mag":"2476805165"},"language":"en","primary_location":{"id":"doi:10.1109/snpd.2016.7515926","is_oa":false,"landing_page_url":"https://doi.org/10.1109/snpd.2016.7515926","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)","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/A5100442237","display_name":"Xi Wang","orcid":"https://orcid.org/0000-0002-0434-7939"},"institutions":[{"id":"https://openalex.org/I141962983","display_name":"Shanghai University of Engineering Science","ror":"https://ror.org/0557b9y08","country_code":"CN","type":"education","lineage":["https://openalex.org/I141962983"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xi Wang","raw_affiliation_strings":["School of Computer Engineering and Science Shanghai University, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Engineering and Science Shanghai University, China","institution_ids":["https://openalex.org/I141962983"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5107246472","display_name":"Weikai Miao","orcid":"https://orcid.org/0009-0006-2038-439X"},"institutions":[{"id":"https://openalex.org/I141962983","display_name":"Shanghai University of Engineering Science","ror":"https://ror.org/0557b9y08","country_code":"CN","type":"education","lineage":["https://openalex.org/I141962983"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weikai Miao","raw_affiliation_strings":["School of Computer Engineering and Science Shanghai University, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Engineering and Science Shanghai University, China","institution_ids":["https://openalex.org/I141962983"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5100442237"],"corresponding_institution_ids":["https://openalex.org/I141962983"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.08397673,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":"13","issue":null,"first_page":"363","last_page":"372"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9991000294685364,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9987000226974487,"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/computer-science","display_name":"Computer science","score":0.8008551001548767},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.670506477355957},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5630779266357422},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.5082356333732605},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.49819087982177734},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.47192883491516113},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4611175060272217},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.45793983340263367},{"id":"https://openalex.org/keywords/language-of-temporal-ordering-specification","display_name":"Language Of Temporal Ordering Specification","score":0.41181179881095886},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.30373746156692505},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.27260035276412964},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.1992754340171814}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8008551001548767},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.670506477355957},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5630779266357422},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.5082356333732605},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.49819087982177734},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.47192883491516113},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4611175060272217},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.45793983340263367},{"id":"https://openalex.org/C90069079","wikidata":"https://www.wikidata.org/wiki/Q1805432","display_name":"Language Of Temporal Ordering Specification","level":3,"score":0.41181179881095886},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.30373746156692505},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.27260035276412964},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.1992754340171814},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","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},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/snpd.2016.7515926","is_oa":false,"landing_page_url":"https://doi.org/10.1109/snpd.2016.7515926","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W119234542","https://openalex.org/W1483761313","https://openalex.org/W1489858443","https://openalex.org/W1559870885","https://openalex.org/W2020802608","https://openalex.org/W2114000297","https://openalex.org/W2125853559","https://openalex.org/W2140225592","https://openalex.org/W2142509047","https://openalex.org/W2150189917","https://openalex.org/W2159958244","https://openalex.org/W2161645044","https://openalex.org/W2162980784","https://openalex.org/W2168216499","https://openalex.org/W2346597859","https://openalex.org/W4242102241","https://openalex.org/W4254354208","https://openalex.org/W6604722871","https://openalex.org/W6629181316"],"related_works":["https://openalex.org/W2034589735","https://openalex.org/W2020416949","https://openalex.org/W2044067585","https://openalex.org/W2049993111","https://openalex.org/W2378785653","https://openalex.org/W2145025660","https://openalex.org/W2171674700","https://openalex.org/W2799231486","https://openalex.org/W1568529421","https://openalex.org/W2204176978"],"abstract_inverted_index":{"Although":[0],"formal":[1,26,59,92,170,203],"specification":[2,93,108],"is":[3,101,143,182],"considered":[4],"as":[5],"a":[6,104],"potential":[7],"technique":[8,34],"for":[9,43,91,115,124,134],"improving":[10],"the":[11,17,22,30,36,69,84,113,126,129,137,147,155,162,174,180,185,189,198,201],"accuracy":[12],"of":[13,19,24,38,50,103,106,119,128,154,200],"requirements":[14,57,67,194],"documentation":[15],"and":[16,35,65,131,165,184,196],"quality":[18,199],"software":[20,39],"product,":[21],"difficulty":[23],"using":[25],"notations":[27],"leads":[28],"to":[29,77],"gap":[31],"between":[32,79],"this":[33,45,86],"practice":[37],"development.":[40],"Many":[41],"approaches":[42],"solving":[44],"problem":[46],"were":[47],"proposed.":[48],"Most":[49],"them":[51],"provide":[52],"automatic":[53],"transformation":[54,132,175],"from":[55],"informal":[56],"into":[58,169],"specifications.":[60,204],"However,":[61],"rather":[62],"than":[63],"clarifying":[64],"formalizing":[66,116],"on":[68,96,179],"semantic":[70],"level,":[71],"they":[72],"only":[73],"use":[74],"syntactic":[75],"rules":[76],"translate":[78],"different":[80],"languages.":[81],"To":[82],"handle":[83],"challenge,":[85],"paper":[87,148],"describes":[88],"an":[89],"approach":[90],"construction":[94],"based":[95],"pattern":[97,111],"knowledge.":[98,176],"The":[99],"knowledge":[100,123,133,164],"composed":[102],"set":[105],"inter-related":[107],"patterns.":[109],"Each":[110],"defines":[112],"method":[114],"one":[117],"kind":[118],"function,":[120],"including":[121],"derivation":[122,163],"guiding":[125],"clarification":[127],"function":[130,152],"formally":[135],"representing":[136],"clarified":[138],"function.":[139],"A":[140],"supporting":[141],"tool":[142,181,190],"also":[144],"described":[145],"in":[146],"which":[149],"derives":[150],"necessary":[151],"details":[153,168],"intended":[156],"requirement":[157],"through":[158],"interactions":[159],"by":[160,172],"applying":[161,173],"transforms":[166],"these":[167],"specifications":[171],"An":[177],"experiment":[178],"held":[183],"result":[186],"shows":[187],"that":[188],"can":[191],"help":[192],"formalize":[193],"efficiently":[195],"enhance":[197],"resultant":[202]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}