{"id":"https://openalex.org/W2074150039","doi":"https://doi.org/10.1109/apsec.2012.125","title":"A Formal Approach for the Iterative Design of Behavioural Models","display_name":"A Formal Approach for the Iterative Design of Behavioural Models","publication_year":2012,"publication_date":"2012-12-01","ids":{"openalex":"https://openalex.org/W2074150039","doi":"https://doi.org/10.1109/apsec.2012.125","mag":"2074150039"},"language":"en","primary_location":{"id":"doi:10.1109/apsec.2012.125","is_oa":false,"landing_page_url":"https://doi.org/10.1109/apsec.2012.125","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 19th Asia-Pacific Software Engineering Conference","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/A5113876004","display_name":"Chen-Wei Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I98251732","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29","country_code":"CA","type":"education","lineage":["https://openalex.org/I98251732"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Chen-Wei Wang","raw_affiliation_strings":["McMaster Centre for Software Certification, McMaster University, Hamilton, ONT, Canada","McMaster Centre for Software Certification, McMaster Univ., Hamilton, ON, Canada"],"affiliations":[{"raw_affiliation_string":"McMaster Centre for Software Certification, McMaster University, Hamilton, ONT, Canada","institution_ids":["https://openalex.org/I98251732"]},{"raw_affiliation_string":"McMaster Centre for Software Certification, McMaster Univ., Hamilton, ON, Canada","institution_ids":["https://openalex.org/I98251732"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5113876004"],"corresponding_institution_ids":["https://openalex.org/I98251732"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.18815944,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2012","issue":null,"first_page":"505","last_page":"510"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991000294685364,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991000294685364,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9991000294685364,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"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.785361647605896},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.7018082737922668},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6265321969985962},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.5614261627197266},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.551493763923645},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.546070396900177},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5083667635917664},{"id":"https://openalex.org/keywords/iterative-and-incremental-development","display_name":"Iterative and incremental development","score":0.5081830024719238},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5056085586547852},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5041207075119019},{"id":"https://openalex.org/keywords/refinement","display_name":"Refinement","score":0.4993019104003906},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4543735682964325},{"id":"https://openalex.org/keywords/formal-language","display_name":"Formal language","score":0.45429176092147827},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4500865042209625},{"id":"https://openalex.org/keywords/formal-equivalence-checking","display_name":"Formal equivalence checking","score":0.43758901953697205}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.785361647605896},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7018082737922668},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6265321969985962},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.5614261627197266},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.551493763923645},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.546070396900177},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5083667635917664},{"id":"https://openalex.org/C143587482","wikidata":"https://www.wikidata.org/wiki/Q1543216","display_name":"Iterative and incremental development","level":2,"score":0.5081830024719238},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5056085586547852},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5041207075119019},{"id":"https://openalex.org/C14331664","wikidata":"https://www.wikidata.org/wiki/Q3417382","display_name":"Refinement","level":3,"score":0.4993019104003906},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4543735682964325},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.45429176092147827},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4500865042209625},{"id":"https://openalex.org/C96654402","wikidata":"https://www.wikidata.org/wiki/Q5469962","display_name":"Formal equivalence checking","level":3,"score":0.43758901953697205},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/apsec.2012.125","is_oa":false,"landing_page_url":"https://doi.org/10.1109/apsec.2012.125","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 19th Asia-Pacific Software Engineering Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5199999809265137,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1520813197","https://openalex.org/W1567558468","https://openalex.org/W1602650507","https://openalex.org/W2010879541","https://openalex.org/W2086317066","https://openalex.org/W2095824885","https://openalex.org/W2161358742","https://openalex.org/W2235728809","https://openalex.org/W4254354208","https://openalex.org/W6683887847"],"related_works":["https://openalex.org/W2323519609","https://openalex.org/W2067983615","https://openalex.org/W1618522205","https://openalex.org/W2550848790","https://openalex.org/W2156223462","https://openalex.org/W1982348582","https://openalex.org/W2038503949","https://openalex.org/W1921676103","https://openalex.org/W2503024976","https://openalex.org/W2130617267"],"abstract_inverted_index":{"In":[0],"the":[1,17,23,27,50,54,68,74,79,87,126],"process":[2,96],"of":[3,7,37,66,97,106,112,132,136],"specifying":[4],"update":[5],"operations":[6],"an":[8,94,141],"information":[9,118],"system,":[10],"it":[11,30],"is":[12,20,31,83,123],"critical":[13],"to":[14,33,44,72],"ensure":[15],"that":[16,48,64,114,138],"resulting":[18],"design":[19],"consistent":[21],"with":[22],"developers'":[24],"understanding":[25],"about":[26],"requirements,":[28],"before":[29],"adapted":[32],"a":[34,41,104,133],"chosen":[35],"platform":[36],"implementation.":[38],"We":[39],"present":[40],"formal":[42,127,134],"approach":[43],"testing":[45],"behavioral":[46],"specifications":[47,89],"characterise":[49],"intended":[51],"effects":[52],"on":[53],"state":[55],"as":[56,140],"two-state,":[57],"first-order":[58],"predicates.":[59,147],"By":[60],"supplying":[61],"use-case":[62],"scenarios":[63],"are":[65,70,115],"interest,":[67],"developers":[69],"able":[71],"examine":[73],"test":[75,82],"results,":[76],"decide":[77],"if":[78,90],"model":[80],"under":[81],"consistent,":[84],"and":[85,108,129],"revise":[86],"source":[88],"necessary.":[91],"To":[92],"facilitate":[93],"iterative":[95],"this,":[98],"in":[99],"this":[100],"paper":[101],"we":[102],"develop":[103],"list":[105],"equivalence":[107],"refinement":[109],"(rewriting)":[110],"laws":[111],"predicates":[113],"targeted":[116],"at":[117],"system":[119],"states.":[120],"Our":[121],"development":[122],"built":[124],"upon":[125],"semantics":[128],"logical":[130],"properties":[131],"language":[135,144],"substitutions":[137],"serves":[139],"abstract":[142],"implementation":[143],"for":[145],"these":[146]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}