{"id":"https://openalex.org/W2888511493","doi":"https://doi.org/10.1109/snpd.2018.8441070","title":"Event-B Formalization of Basic Supply Chain Patterns","display_name":"Event-B Formalization of Basic Supply Chain Patterns","publication_year":2018,"publication_date":"2018-06-01","ids":{"openalex":"https://openalex.org/W2888511493","doi":"https://doi.org/10.1109/snpd.2018.8441070","mag":"2888511493"},"language":"en","primary_location":{"id":"doi:10.1109/snpd.2018.8441070","is_oa":false,"landing_page_url":"https://doi.org/10.1109/snpd.2018.8441070","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 19th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)","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/A5063622014","display_name":"Chalika Saksupawattanakul","orcid":"https://orcid.org/0000-0003-2815-5322"},"institutions":[{"id":"https://openalex.org/I158708052","display_name":"Chulalongkorn University","ror":"https://ror.org/028wp3y58","country_code":"TH","type":"education","lineage":["https://openalex.org/I158708052"]}],"countries":["TH"],"is_corresponding":false,"raw_author_name":"Chalika Saksupawattanakul","raw_affiliation_strings":["Department of Computer Engineering Faculty of Engineering, Chulalongkorn University, Bangkok, Thailand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering Faculty of Engineering, Chulalongkorn University, Bangkok, Thailand","institution_ids":["https://openalex.org/I158708052"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103795675","display_name":"Wiwat Vatanawood","orcid":null},"institutions":[{"id":"https://openalex.org/I158708052","display_name":"Chulalongkorn University","ror":"https://ror.org/028wp3y58","country_code":"TH","type":"education","lineage":["https://openalex.org/I158708052"]}],"countries":["TH"],"is_corresponding":false,"raw_author_name":"Wiwat Vatanawood","raw_affiliation_strings":["Department of Computer Engineering Faculty of Engineering, Chulalongkorn University, Bangkok, Thailand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering Faculty of Engineering, Chulalongkorn University, Bangkok, Thailand","institution_ids":["https://openalex.org/I158708052"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3318,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.66198897,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"352","last_page":"357"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9998999834060669,"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/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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.8887722492218018},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8208638429641724},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.783785343170166},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6320193409919739},{"id":"https://openalex.org/keywords/supply-chain","display_name":"Supply chain","score":0.5279459357261658},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4972532093524933},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.49259573221206665},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44585537910461426},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.4356405436992645},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4254879653453827},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.41760939359664917},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3707730174064636},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.32337239384651184}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8887722492218018},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8208638429641724},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.783785343170166},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6320193409919739},{"id":"https://openalex.org/C108713360","wikidata":"https://www.wikidata.org/wiki/Q1824206","display_name":"Supply chain","level":2,"score":0.5279459357261658},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4972532093524933},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.49259573221206665},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44585537910461426},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.4356405436992645},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4254879653453827},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.41760939359664917},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3707730174064636},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32337239384651184},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/snpd.2018.8441070","is_oa":false,"landing_page_url":"https://doi.org/10.1109/snpd.2018.8441070","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 19th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W9269987","https://openalex.org/W129636499","https://openalex.org/W176005739","https://openalex.org/W1531156418","https://openalex.org/W1556428294","https://openalex.org/W1556900989","https://openalex.org/W1559870885","https://openalex.org/W1608068447","https://openalex.org/W2033839526","https://openalex.org/W2034987010","https://openalex.org/W2043074299","https://openalex.org/W2139488993","https://openalex.org/W2239786367","https://openalex.org/W4210881473","https://openalex.org/W4244819751","https://openalex.org/W6605183147","https://openalex.org/W6636305748","https://openalex.org/W6658822831"],"related_works":["https://openalex.org/W1938017683","https://openalex.org/W2171674700","https://openalex.org/W2145025660","https://openalex.org/W1922520186","https://openalex.org/W1544097700","https://openalex.org/W1946493810","https://openalex.org/W1553537032","https://openalex.org/W1495250406","https://openalex.org/W17088386","https://openalex.org/W1608485412"],"abstract_inverted_index":{"In":[0,90,161],"recent":[1],"years,":[2],"as":[3,68,96,176,205],"supply":[4,44,182,201,243],"chains":[5],"are":[6],"increasingly":[7],"becoming":[8],"more":[9,65,189],"valuable":[10],"and":[11,26,40,47,75,124,130,141,188],"dynamic,":[12],"a":[13,78,92,97,111,177,231,248],"large":[14],"variety":[15],"of":[16,42,72,77,86,110,117,169,180,208,219,223,241],"compliance":[17],"with":[18,36,156],"high":[19],"quality":[20],"is":[21,100,122,186],"needed":[22],"for":[23,126],"total":[24],"safety":[25,74],"reliability.":[27],"Several":[28],"business":[29],"process":[30],"models":[31],"were":[32],"proposed":[33],"to":[34,103,233],"cope":[35],"the":[37,43,51,56,69,73,83,87,106,115,118,128,147,154,157,167,181,192,217,220,224,235,242],"increasing":[38],"risk":[39],"complexity":[41],"chain":[45,183,202,244],"operations":[46],"events,":[48,53],"especially":[49],"when":[50],"unexpected":[52],"caused":[54],"by":[55,257],"time":[57,107],"dependent":[58,108],"behaviors,":[59],"occur.":[60],"Formal":[61],"verification":[62],"approach":[63,137],"becomes":[64],"interesting":[66],"choice":[67],"preventive":[70],"checking":[71],"correctness":[76],"real-time":[79,112],"system":[80],"specification":[81,150,251],"from":[82,151],"very":[84],"beginning":[85],"design":[88],"phase.":[89],"practice,":[91],"timed":[93,119,172,210,238],"Petri":[94,120,173,211,239],"net":[95,121,174,212,240],"formal":[98,178,221],"model":[99,179,222],"commonly":[101],"used":[102],"graphically":[104],"illustrate":[105],"behaviors":[109],"system.":[113,133],"However,":[114],"simulation":[116],"tedious":[123],"inefficient":[125],"verifying":[127],"huge":[129],"complex":[131,225],"realtime":[132],"Alternatively,":[134],"Event-B":[135,149,250,259],"formalization":[136],"provides":[138],"an":[139,170,258],"efficient":[140],"better":[142],"automatic":[143],"proving":[144],"tool,":[145],"whilst":[146],"writing":[148],"scratch":[152],"needs":[153],"designer":[155],"mathematical":[158],"logic":[159],"backgrounds.":[160],"this":[162],"paper,":[163],"we":[164,196],"still":[165],"encourage":[166],"drawing":[168],"ordinary":[171,209,237],"(OTPN)":[175],"events":[184],"which":[185,252],"easier":[187],"understandable":[190],"in":[191],"first":[193],"place.":[194],"Moreover,":[195],"expect":[197],"that":[198],"several":[199],"basic":[200],"event":[203,245],"patterns,":[204],"building":[206],"blocks":[207],"notations,":[213],"would":[214],"help":[215],"ease":[216],"construction":[218],"production":[226],"processes.":[227],"We":[228],"hereafter":[229],"propose":[230],"mean":[232],"transform":[234],"given":[236],"patterns":[246],"into":[247],"complete":[249],"will":[253],"be":[254],"automatically":[255],"proved":[256],"prover":[260],"called":[261],"Rodin.":[262]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}