{"id":"https://openalex.org/W2043379545","doi":"https://doi.org/10.1002/int.4550090806","title":"Towards the formal specification of an OPS5 production system architecture","display_name":"Towards the formal specification of an OPS5 production system architecture","publication_year":1994,"publication_date":"1994-01-01","ids":{"openalex":"https://openalex.org/W2043379545","doi":"https://doi.org/10.1002/int.4550090806","mag":"2043379545"},"language":"en","primary_location":{"id":"doi:10.1002/int.4550090806","is_oa":false,"landing_page_url":"https://doi.org/10.1002/int.4550090806","pdf_url":null,"source":{"id":"https://openalex.org/S57950554","display_name":"International Journal of Intelligent Systems","issn_l":"0884-8173","issn":["0884-8173","1098-111X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Intelligent Systems","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/A5055404538","display_name":"David I. Gold","orcid":null},"institutions":[{"id":"https://openalex.org/I61372060","display_name":"PA Consulting Group","ror":"https://ror.org/03jh7vc52","country_code":"GB","type":"company","lineage":["https://openalex.org/I61372060"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David I. Gold","raw_affiliation_strings":["P. A. Consulting Group, Buckingham Palace Road, London SW1W 9SR, England"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"P. A. Consulting Group, Buckingham Palace Road, London SW1W 9SR, England","institution_ids":["https://openalex.org/I61372060"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108434910","display_name":"Robert T. Plant","orcid":null},"institutions":[{"id":"https://openalex.org/I145608581","display_name":"University of Miami","ror":"https://ror.org/02dgjyy92","country_code":"US","type":"education","lineage":["https://openalex.org/I145608581"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R. T. Plant","raw_affiliation_strings":["Dept. of Computer Information Systems, University of Miami, Coral Gables, Florida 33124","Department of Computer Information Systems, University of Miami, Coral Gables, Florida 33124"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Computer Information Systems, University of Miami, Coral Gables, Florida 33124","institution_ids":["https://openalex.org/I145608581"]},{"raw_affiliation_string":"Department of Computer Information Systems, University of Miami, Coral Gables, Florida 33124","institution_ids":["https://openalex.org/I145608581"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2500,"currency":"USD","value_usd":2500},"apc_paid":null,"fwci":1.6959,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.86349585,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"8","first_page":"739","last_page":"768"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.991599977016449,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.991599977016449,"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/T11159","display_name":"Manufacturing Process and Optimization","score":0.9872999787330627,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9736999869346619,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7337816953659058},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7336084246635437},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.7265692353248596},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.6297029852867126},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.6241798996925354},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.5911508202552795},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5704150199890137},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5692229866981506},{"id":"https://openalex.org/keywords/system-requirements-specification","display_name":"System requirements specification","score":0.5263967514038086},{"id":"https://openalex.org/keywords/language-of-temporal-ordering-specification","display_name":"Language Of Temporal Ordering Specification","score":0.5185123682022095},{"id":"https://openalex.org/keywords/formal-language","display_name":"Formal language","score":0.5016839504241943},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.46903833746910095},{"id":"https://openalex.org/keywords/grammar-systems-theory","display_name":"Grammar systems theory","score":0.454580694437027},{"id":"https://openalex.org/keywords/production","display_name":"Production (economics)","score":0.4126438796520233},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3079538345336914},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.1171036958694458}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7337816953659058},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7336084246635437},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.7265692353248596},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.6297029852867126},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.6241798996925354},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.5911508202552795},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5704150199890137},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5692229866981506},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.5263967514038086},{"id":"https://openalex.org/C90069079","wikidata":"https://www.wikidata.org/wiki/Q1805432","display_name":"Language Of Temporal Ordering Specification","level":3,"score":0.5185123682022095},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.5016839504241943},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.46903833746910095},{"id":"https://openalex.org/C500879282","wikidata":"https://www.wikidata.org/wiki/Q5593671","display_name":"Grammar systems theory","level":4,"score":0.454580694437027},{"id":"https://openalex.org/C2778348673","wikidata":"https://www.wikidata.org/wiki/Q739302","display_name":"Production (economics)","level":2,"score":0.4126438796520233},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3079538345336914},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.1171036958694458},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C139719470","wikidata":"https://www.wikidata.org/wiki/Q39680","display_name":"Macroeconomics","level":1,"score":0.0},{"id":"https://openalex.org/C69298649","wikidata":"https://www.wikidata.org/wiki/Q6045214","display_name":"Emergent grammar","level":3,"score":0.0},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/int.4550090806","is_oa":false,"landing_page_url":"https://doi.org/10.1002/int.4550090806","pdf_url":null,"source":{"id":"https://openalex.org/S57950554","display_name":"International Journal of Intelligent Systems","issn_l":"0884-8173","issn":["0884-8173","1098-111X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Intelligent Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41999998688697815,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W125914802","https://openalex.org/W156110549","https://openalex.org/W657459870","https://openalex.org/W1552647623","https://openalex.org/W2152475379","https://openalex.org/W4285299944","https://openalex.org/W4391489009","https://openalex.org/W6605104506"],"related_works":["https://openalex.org/W2047524021","https://openalex.org/W9205283","https://openalex.org/W2313419847","https://openalex.org/W794225219","https://openalex.org/W1975565207","https://openalex.org/W2112029416","https://openalex.org/W2117824779","https://openalex.org/W2049993111","https://openalex.org/W1994284435","https://openalex.org/W2577693053"],"abstract_inverted_index":{"The":[0,86],"article":[1,17,155],"presents":[2],"a":[3,25,55,94,144],"formal":[4,22,46,61,131,160],"specification":[5,23,47,53,110],"for":[6,135],"many":[7],"important":[8],"aspects":[9],"of":[10,24,42,54,73,81,111,138,143,153,167],"the":[11,16,32,40,45,60,66,71,76,109,136,151,154],"OPS5":[12],"production":[13,26,56],"systems":[14,115],"framework.":[15],"illustrates":[18],"how":[19],"an":[20,51],"abstract":[21],"system":[27,57,169],"can":[28,162],"be":[29,163],"created":[30],"and":[31,65,128,175],"benefits":[33],"this":[34],"provides":[35],"to":[36,106,133,157,165],"those":[37],"involved":[38],"in":[39,108],"development":[41,67],"knowledge-based":[43,168],"systems.":[44],"is":[48,63,68,79,130,142,156],"preceded":[49],"by":[50],"informal":[52],"upon":[58,97],"which":[59,129],"model":[62],"based":[64,96],"illustrated":[69],"through":[70],"use":[72],"concrete":[74],"examples.":[75],"notation":[77],"used":[78,105],"that":[80,146,159],"\u201cZ\u201d":[82],"(J.":[83],"M.":[84],"Spivey,":[85],"Z":[87],"Notation,":[88],"Prentice-Hall,":[89],"Englewood":[90],"Cliffs,":[91],"NJ,":[92],"1990),":[93],"language":[95,102],"typed":[98],"set":[99],"theory.":[100],"This":[101],"has":[103],"been":[104],"success":[107],"critical":[112],"conventional":[113],"software":[114],"(I.":[116],"Hayes,":[117],"Technical":[118],"Monograph":[119],"PRG-46,":[120],"Oxford":[121],"University":[122],"Computing":[123],"Laboratory,":[124],"Oxford,":[125],"England,":[126],"1985)":[127],"enough":[132],"allow":[134],"creation":[137],"rigorous":[139],"specifications,":[140],"yet":[141],"form":[145],"makes":[147],"these":[148],"specifications":[149],"\u201creadable.\u201d":[150],"aim":[152],"show":[158],"techniques":[161],"applied":[164],"areas":[166],"development,":[170],"thus":[171],"promoting":[172],"correctness,":[173],"reliability,":[174],"understanding.":[176],"\u00a9":[177],"1994":[178],"John":[179],"Wiley":[180],"&":[181],"Sons,":[182],"Inc.":[183]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}