{"id":"https://openalex.org/W1989068882","doi":"https://doi.org/10.1016/j.entcs.2006.08.050","title":"A Petri Net Based Method for Refining Object Oriented System Specifications","display_name":"A Petri Net Based Method for Refining Object Oriented System Specifications","publication_year":2007,"publication_date":"2007-07-01","ids":{"openalex":"https://openalex.org/W1989068882","doi":"https://doi.org/10.1016/j.entcs.2006.08.050","mag":"1989068882"},"language":"en","primary_location":{"id":"doi:10.1016/j.entcs.2006.08.050","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2006.08.050","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/j.entcs.2006.08.050","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089765646","display_name":"Simon K. S. Cheung","orcid":"https://orcid.org/0000-0002-7323-0961"},"institutions":[{"id":"https://openalex.org/I141568987","display_name":"Hong Kong Baptist University","ror":"https://ror.org/0145fw131","country_code":"HK","type":"education","lineage":["https://openalex.org/I141568987"]}],"countries":["HK"],"is_corresponding":true,"raw_author_name":"K.S. Cheung","raw_affiliation_strings":["Hong Kong Baptist University, Hong Kong","[Hong Kong Baptist Univ., Hong Kong]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hong Kong Baptist University, Hong Kong","institution_ids":["https://openalex.org/I141568987"]},{"raw_affiliation_string":"[Hong Kong Baptist Univ., Hong Kong]","institution_ids":["https://openalex.org/I141568987"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109809258","display_name":"K. O. Chow","orcid":null},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":true,"raw_author_name":"K.O. Chow","raw_affiliation_strings":["City University of Hong Kong, Hong Kong","City Univ. of Hong Kong, , Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"City University of Hong Kong, Hong Kong","institution_ids":["https://openalex.org/I168719708"]},{"raw_affiliation_string":"City Univ. of Hong Kong, , Hong Kong","institution_ids":["https://openalex.org/I168719708"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5089765646","https://openalex.org/A5109809258"],"corresponding_institution_ids":["https://openalex.org/I141568987","https://openalex.org/I168719708"],"apc_list":null,"apc_paid":null,"fwci":1.4957,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.81626917,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"187","issue":null,"first_page":"161","last_page":"172"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9997000098228455,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9997000098228455,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9980000257492065,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.996399998664856,"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/petri-net","display_name":"Petri net","score":0.8941724300384521},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.739071249961853},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.7226293087005615},{"id":"https://openalex.org/keywords/net","display_name":"Net (polyhedron)","score":0.6868026256561279},{"id":"https://openalex.org/keywords/refining","display_name":"Refining (metallurgy)","score":0.5528523325920105},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"Object-oriented programming","score":0.5310587882995605},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5222235918045044},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5183807015419006},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3426259160041809},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3212990164756775},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2225913405418396},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1343296468257904}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8941724300384521},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.739071249961853},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.7226293087005615},{"id":"https://openalex.org/C14166107","wikidata":"https://www.wikidata.org/wiki/Q253829","display_name":"Net (polyhedron)","level":2,"score":0.6868026256561279},{"id":"https://openalex.org/C60044698","wikidata":"https://www.wikidata.org/wiki/Q1283324","display_name":"Refining (metallurgy)","level":2,"score":0.5528523325920105},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.5310587882995605},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5222235918045044},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5183807015419006},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3426259160041809},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3212990164756775},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2225913405418396},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1343296468257904},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"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/C147789679","wikidata":"https://www.wikidata.org/wiki/Q11372","display_name":"Physical chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/j.entcs.2006.08.050","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2006.08.050","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:publications/351f45b7-1d91-400d-a06a-22925b6a020b","is_oa":true,"landing_page_url":"https://hdl.handle.net/2031/351f45b7-1d91-400d-a06a-22925b6a020b","pdf_url":"https://scholars.cityu.edu.hk/files/34683697/32.pdf","source":{"id":"https://openalex.org/S7407055387","display_name":"CityU Scholars","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":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Cheung, K S & Chow, K O 2007, 'A Petri Net Based Method for Refining Object Oriented System Specifications', Electronic Notes in Theoretical Computer Science, vol. 187, pp. 161-172. https://doi.org/10.1016/j.entcs.2006.08.050","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1016/j.entcs.2006.08.050","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2006.08.050","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W167854570","https://openalex.org/W1483054849","https://openalex.org/W1485658078","https://openalex.org/W1487621334","https://openalex.org/W1492481999","https://openalex.org/W1493566624","https://openalex.org/W1534850333","https://openalex.org/W1540492331","https://openalex.org/W1562934601","https://openalex.org/W1577046070","https://openalex.org/W1589724738","https://openalex.org/W1634769199","https://openalex.org/W1779567777","https://openalex.org/W1806861641","https://openalex.org/W1946816011","https://openalex.org/W1996109622","https://openalex.org/W1998017916","https://openalex.org/W2034832576","https://openalex.org/W2092096749","https://openalex.org/W2096882302","https://openalex.org/W2113355185","https://openalex.org/W2159765281","https://openalex.org/W2163282569","https://openalex.org/W2487971875","https://openalex.org/W4285719527","https://openalex.org/W6629096621","https://openalex.org/W6636855094","https://openalex.org/W6638217485"],"related_works":["https://openalex.org/W1551257573","https://openalex.org/W4230983483","https://openalex.org/W1980200158","https://openalex.org/W2132799268","https://openalex.org/W2154794415","https://openalex.org/W1538101305","https://openalex.org/W791317142","https://openalex.org/W2119655921","https://openalex.org/W2109094990","https://openalex.org/W2982241419"],"abstract_inverted_index":{"In":[0,32],"object-oriented":[1],"system":[2],"design,":[3],"requirements":[4],"are":[5,59,68,83],"given":[6],"as":[7,53,85],"use":[8],"cases":[9],"in":[10,70],"the":[11,41,49],"form":[12],"of":[13],"object":[14,23,50],"interaction":[15,24,51],"scenarios.":[16],"One":[17],"need":[18],"to":[19,72],"derive,":[20],"from":[21],"these":[22],"scenarios,":[25],"object-based":[26,80],"behavioural":[27,81],"specifications":[28,82],"for":[29,40],"implementation":[30],"purposes.":[31],"this":[33],"paper,":[34],"a":[35,74],"Petri-net-based":[36],"method":[37,45],"is":[38],"proposed":[39],"refinement":[42],"process.":[43],"The":[44],"starts":[46],"with":[47],"specifying":[48],"scenarios":[52],"labelled":[54,57,76],"nets.":[55],"These":[56],"nets":[58],"then":[60],"synthesised":[61],"into":[62],"an":[63],"integrated":[64],"net.":[65],"Duplicate":[66],"labels":[67],"eliminated":[69],"order":[71],"attain":[73],"uniquely":[75],"net,":[77],"on":[78],"which":[79],"obtained":[84],"projections.":[86]},"counts_by_year":[],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2025-10-10T00:00:00"}