{"id":"https://openalex.org/W2058249981","doi":"https://doi.org/10.4304/jsw.9.7.1707-1717","title":"Specifying Complex Systems in Object-Z: A Case Study of Petrol Supply Systems","display_name":"Specifying Complex Systems in Object-Z: A Case Study of Petrol Supply Systems","publication_year":2014,"publication_date":"2014-07-01","ids":{"openalex":"https://openalex.org/W2058249981","doi":"https://doi.org/10.4304/jsw.9.7.1707-1717","mag":"2058249981"},"language":"en","primary_location":{"id":"doi:10.4304/jsw.9.7.1707-1717","is_oa":false,"landing_page_url":"https://doi.org/10.4304/jsw.9.7.1707-1717","pdf_url":null,"source":{"id":"https://openalex.org/S114141714","display_name":"Journal of Software","issn_l":"1796-217X","issn":["1796-217X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318660","host_organization_name":"Academy Publisher","host_organization_lineage":["https://openalex.org/P4310318660"],"host_organization_lineage_names":["Academy Publisher"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software","raw_type":"journal-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/A5052257646","display_name":"Yangping Li","orcid":"https://orcid.org/0000-0001-9549-2236"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yangping Li","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030478144","display_name":"Xiaoheng Pan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xiaoheng Pan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035368517","display_name":"Tianming Hu","orcid":"https://orcid.org/0000-0002-9254-5862"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tianming Hu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113588307","display_name":"Sam Yuan Sung","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sam Yuan Sung","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5101191958","display_name":"Huaqiang Yuan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huaqiang Yuan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3671,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.64185723,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"9","issue":"7","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9997000098228455,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9980999827384949,"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.8639121651649475},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.7154591083526611},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6416223645210266},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5855652689933777},{"id":"https://openalex.org/keywords/structuring","display_name":"Structuring","score":0.5390830039978027},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5328559875488281},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.5226364135742188},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5176590085029602},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.47077107429504395},{"id":"https://openalex.org/keywords/method","display_name":"Method","score":0.4675421118736267},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.4641168713569641},{"id":"https://openalex.org/keywords/object-model","display_name":"Object model","score":0.4406942129135132},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.43629223108291626},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.4155117869377136},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"Object-oriented programming","score":0.3604692816734314},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.27885186672210693},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.13376256823539734}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8639121651649475},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.7154591083526611},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6416223645210266},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5855652689933777},{"id":"https://openalex.org/C2775945657","wikidata":"https://www.wikidata.org/wiki/Q381442","display_name":"Structuring","level":2,"score":0.5390830039978027},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5328559875488281},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.5226364135742188},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5176590085029602},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.47077107429504395},{"id":"https://openalex.org/C512554520","wikidata":"https://www.wikidata.org/wiki/Q815844","display_name":"Method","level":3,"score":0.4675421118736267},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4641168713569641},{"id":"https://openalex.org/C20894473","wikidata":"https://www.wikidata.org/wiki/Q1116105","display_name":"Object model","level":3,"score":0.4406942129135132},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.43629223108291626},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.4155117869377136},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.3604692816734314},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27885186672210693},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.13376256823539734},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4304/jsw.9.7.1707-1717","is_oa":false,"landing_page_url":"https://doi.org/10.4304/jsw.9.7.1707-1717","pdf_url":null,"source":{"id":"https://openalex.org/S114141714","display_name":"Journal of Software","issn_l":"1796-217X","issn":["1796-217X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318660","host_organization_name":"Academy Publisher","host_organization_lineage":["https://openalex.org/P4310318660"],"host_organization_lineage_names":["Academy Publisher"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W32018875","https://openalex.org/W96395447","https://openalex.org/W97809275","https://openalex.org/W131654420","https://openalex.org/W1503973138","https://openalex.org/W1559870885","https://openalex.org/W1563875108","https://openalex.org/W1590686765","https://openalex.org/W1654288057","https://openalex.org/W1970278969","https://openalex.org/W2001106923","https://openalex.org/W2004442217","https://openalex.org/W2015688007","https://openalex.org/W2034717157","https://openalex.org/W2045000744","https://openalex.org/W2049724847","https://openalex.org/W2054480450","https://openalex.org/W2078998602","https://openalex.org/W2099529102","https://openalex.org/W2102266661","https://openalex.org/W2105198382","https://openalex.org/W2110268155","https://openalex.org/W2113486906","https://openalex.org/W2113792718","https://openalex.org/W2125708466","https://openalex.org/W2150346894","https://openalex.org/W2166535666","https://openalex.org/W2399968105","https://openalex.org/W2498115263","https://openalex.org/W2500079794","https://openalex.org/W2589217375","https://openalex.org/W3135806524","https://openalex.org/W3144368627","https://openalex.org/W4242639072","https://openalex.org/W4254354208","https://openalex.org/W4285719527","https://openalex.org/W4296471858","https://openalex.org/W6601312599","https://openalex.org/W6603113460","https://openalex.org/W6642723330","https://openalex.org/W6675263664","https://openalex.org/W6675555678","https://openalex.org/W6676815807"],"related_works":["https://openalex.org/W2592399342","https://openalex.org/W2347363247","https://openalex.org/W2558572842","https://openalex.org/W2047524021","https://openalex.org/W2156223462","https://openalex.org/W3021477639","https://openalex.org/W2576260943","https://openalex.org/W2119895020","https://openalex.org/W2169850948","https://openalex.org/W1965711296"],"abstract_inverted_index":{"As":[0],"modern":[1],"complex":[2,46,73],"systems":[3],"become":[4],"increasingly":[5],"large,":[6],"sophisticated,":[7],"feature-rich":[8],"and":[9,18,75,77,90,107,127],"data-intensive,":[10],"people":[11],"have":[12],"recognized":[13],"the":[14,34,43,53,87,105,134,150,155,174],"importance":[15],"of":[16,29,36,45,109,124,136,143,176],"precisely":[17],"unambigu-":[19],"ously":[20],"specifying":[21,86],"them":[22],"with":[23],"formal":[24,39,182],"methods":[25],"for":[26],"a":[27,38,96,118,122,140,144],"number":[28],"years.":[30],"This":[31],"paper":[32],"advocates":[33],"use":[35,135],"Object-Z,":[37],"specification":[40,58,185],"language,":[41],"in":[42,59,71,84,95,165],"description":[44],"systems.":[47],"Object-Z":[48,137],"is":[49],"an":[50,60],"extension":[51],"to":[52,56,173],"Z":[54,66],"language":[55],"facilitate":[57,116],"object-oriented":[61,180],"style.":[62],"The":[63],"notation":[64],"Object-":[65,110],"builds":[67],"on":[68,78],"Z's":[69],"strengths":[70,83],"modeling":[72],"data":[74],"algorithms,":[76],"its":[79],"new":[80],"class":[81],"structuring's":[82],"succinctly":[85],"various":[88],"relationships":[89],"commu-":[91],"nication":[92],"between":[93],"objects":[94,126],"large":[97,119],"system.":[98],"In":[99],"detail,":[100],"first":[101],"we":[102,132,159,163],"describe":[103],"informally":[104],"syntax":[106],"semantics":[108],"Z,":[111],"highlighting":[112],"those":[113],"features":[114],"that":[115],"decomposing":[117],"system":[120,151,184],"into":[121],"collection":[123],"interacting":[125],"thus":[128],"separating":[129],"concerns.":[130],"Then,":[131],"demonstrate":[133],"by":[138,153],"presenting":[139],"case":[141],"study":[142],"petrol":[145],"supply":[146],"system,":[147],"illustrating":[148],"how":[149],"runs":[152],"communicating":[154],"constituent":[156],"objects.":[157],"Finally,":[158],"discuss":[160],"several":[161],"issues":[162],"encountered":[164],"this":[166],"exercise,":[167],"which":[168],"may":[169],"serve":[170],"as":[171],"feedback":[172],"development":[175],"Object-Z.":[177],"Index":[178],"Terms\u2014Object-Z;":[179],"modeling;":[181],"methods;":[183]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}