{"id":"https://openalex.org/W1553060501","doi":"https://doi.org/10.1002/9780470050118.ecse410","title":"Specification Formalisms and Models","display_name":"Specification Formalisms and Models","publication_year":2009,"publication_date":"2009-03-09","ids":{"openalex":"https://openalex.org/W1553060501","doi":"https://doi.org/10.1002/9780470050118.ecse410","mag":"1553060501"},"language":"en","primary_location":{"id":"doi:10.1002/9780470050118.ecse410","is_oa":false,"landing_page_url":"https://doi.org/10.1002/9780470050118.ecse410","pdf_url":null,"source":{"id":"https://openalex.org/S4306534807","display_name":"Wiley Encyclopedia of Computer Science and Engineering","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Wiley Encyclopedia of Computer Science and Engineering","raw_type":"other"},"type":"other","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/A5063346775","display_name":"Farn Wang","orcid":"https://orcid.org/0000-0002-0425-6500"},"institutions":[{"id":"https://openalex.org/I16733864","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95","country_code":"TW","type":"education","lineage":["https://openalex.org/I16733864"]}],"countries":["TW"],"is_corresponding":true,"raw_author_name":"Farn Wang","raw_affiliation_strings":["National Taiwan University, Taipei, Taiwan","National Taiwan University Taipei,Taiwan"],"affiliations":[{"raw_affiliation_string":"National Taiwan University, Taipei, Taiwan","institution_ids":["https://openalex.org/I16733864"]},{"raw_affiliation_string":"National Taiwan University Taipei,Taiwan","institution_ids":["https://openalex.org/I16733864"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5063346775"],"corresponding_institution_ids":["https://openalex.org/I16733864"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"2775","last_page":"2789"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9979000091552734,"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/T10126","display_name":"Logic, programming, and type systems","score":0.993399977684021,"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/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.8577492237091064},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7750953435897827},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7506937980651855},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5617088675498962},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.5547679662704468},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5019209384918213},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.4789027273654938},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.453927218914032},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.45012664794921875},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3655540347099304},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1111200749874115}],"concepts":[{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.8577492237091064},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7750953435897827},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7506937980651855},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5617088675498962},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.5547679662704468},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5019209384918213},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4789027273654938},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.453927218914032},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.45012664794921875},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3655540347099304},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1111200749874115},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/9780470050118.ecse410","is_oa":false,"landing_page_url":"https://doi.org/10.1002/9780470050118.ecse410","pdf_url":null,"source":{"id":"https://openalex.org/S4306534807","display_name":"Wiley Encyclopedia of Computer Science and Engineering","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Wiley Encyclopedia of Computer Science and Engineering","raw_type":"other"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4000000059604645,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":65,"referenced_works":["https://openalex.org/W68069235","https://openalex.org/W117768600","https://openalex.org/W163408915","https://openalex.org/W258022877","https://openalex.org/W566459404","https://openalex.org/W1485658078","https://openalex.org/W1488440661","https://openalex.org/W1489391022","https://openalex.org/W1495937566","https://openalex.org/W1504504841","https://openalex.org/W1527974694","https://openalex.org/W1535836754","https://openalex.org/W1551331198","https://openalex.org/W1585197271","https://openalex.org/W1593284044","https://openalex.org/W1602114053","https://openalex.org/W1603799276","https://openalex.org/W1608205571","https://openalex.org/W1785117661","https://openalex.org/W1797377815","https://openalex.org/W1845687154","https://openalex.org/W1971107784","https://openalex.org/W1994188141","https://openalex.org/W2008838944","https://openalex.org/W2023499821","https://openalex.org/W2023808162","https://openalex.org/W2024194828","https://openalex.org/W2034717157","https://openalex.org/W2042801853","https://openalex.org/W2066210260","https://openalex.org/W2075277371","https://openalex.org/W2075773711","https://openalex.org/W2077698590","https://openalex.org/W2099529102","https://openalex.org/W2100340106","https://openalex.org/W2101508170","https://openalex.org/W2124778357","https://openalex.org/W2126214140","https://openalex.org/W2132750992","https://openalex.org/W2139891885","https://openalex.org/W2141321742","https://openalex.org/W2142340571","https://openalex.org/W2144973245","https://openalex.org/W2151365953","https://openalex.org/W2151612633","https://openalex.org/W2157118812","https://openalex.org/W2157547754","https://openalex.org/W2318940639","https://openalex.org/W2325338218","https://openalex.org/W2493256084","https://openalex.org/W2501206750","https://openalex.org/W2589217375","https://openalex.org/W2987907651","https://openalex.org/W3037838583","https://openalex.org/W3144889436","https://openalex.org/W3145057472","https://openalex.org/W4241212268","https://openalex.org/W4244792847","https://openalex.org/W4244847755","https://openalex.org/W4254354208","https://openalex.org/W4296471858","https://openalex.org/W4302339081","https://openalex.org/W6656168281","https://openalex.org/W6723250394","https://openalex.org/W6793045953"],"related_works":["https://openalex.org/W2565237831","https://openalex.org/W2507307937","https://openalex.org/W1591156284","https://openalex.org/W2156223462","https://openalex.org/W2136509568","https://openalex.org/W2126571099","https://openalex.org/W2140467164","https://openalex.org/W2162263188","https://openalex.org/W285671046","https://openalex.org/W1984757784"],"abstract_inverted_index":{"Abstract":[0],"Many":[1],"specification":[2,47,57],"models":[3,48],"are":[4],"available":[5,92],"in":[6,36,44],"the":[7,33],"industry,":[8],"which":[9,59],"range":[10],"from":[11],"natural":[12],"languages,":[13,71],"to":[14,17,22,90],"pseudo":[15,72],"code,":[16,73],"loose":[18],"mathematical":[19],"notations,":[20],"and":[21,75,80],"formalisms":[23],"with":[24],"rigorous":[25],"semantics.":[26],"In":[27],"this":[28],"article,":[29],"we":[30,53,87],"first":[31],"discuss":[32,42],"general":[34],"challenges":[35],"writing":[37],"proper":[38],"specifications.":[39],"We":[40],"then":[41],"issues":[43],"choosing":[45],"appropriate":[46],"for":[49],"a":[50],"system.":[51],"Then,":[52],"briefly":[54],"review":[55],"several":[56],"models,":[58],"include":[60],"state":[61],"machines,":[62],"Petri":[63],"nets,":[64],"process":[65],"algebras,":[66],"temporal":[67],"logics,":[68],"guarded":[69],"command":[70],"comments":[74],"assertions,":[76],"VDM,":[77],"Z,":[78],"AMN,":[79],"message":[81],"sequence":[82],"charts.":[83],"For":[84],"each":[85],"model,":[86],"also":[88],"point":[89],"some":[91],"tools.":[93]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}