{"id":"https://openalex.org/W4309270090","doi":"https://doi.org/10.1109/pais56586.2022.9946900","title":"A Formal Integrated Approach for Cyber Physical Systems","display_name":"A Formal Integrated Approach for Cyber Physical Systems","publication_year":2022,"publication_date":"2022-10-12","ids":{"openalex":"https://openalex.org/W4309270090","doi":"https://doi.org/10.1109/pais56586.2022.9946900"},"language":"en","primary_location":{"id":"doi:10.1109/pais56586.2022.9946900","is_oa":false,"landing_page_url":"https://doi.org/10.1109/pais56586.2022.9946900","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 4th International Conference on Pattern Analysis and Intelligent Systems (PAIS)","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/A5041659535","display_name":"Ayoub Bouheroum","orcid":"https://orcid.org/0000-0002-1284-6543"},"institutions":[{"id":"https://openalex.org/I4210130929","display_name":"Abb\u00e8s Laghrour University of Khenchela","ror":"https://ror.org/02yyskm09","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4210130929"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Ayoub Bouheroum","raw_affiliation_strings":["Khenchela University,ICOSI Laboratory,Khenchela,Algeria","ICOSI Laboratory, Khenchela University, Khenchela, Algeria"],"raw_orcid":"https://orcid.org/0000-0002-1284-6543","affiliations":[{"raw_affiliation_string":"Khenchela University,ICOSI Laboratory,Khenchela,Algeria","institution_ids":["https://openalex.org/I4210130929"]},{"raw_affiliation_string":"ICOSI Laboratory, Khenchela University, Khenchela, Algeria","institution_ids":["https://openalex.org/I4210130929"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067067317","display_name":"Djamel Benmerzoug","orcid":"https://orcid.org/0000-0002-6682-2862"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Djamel Benmerzoug","raw_affiliation_strings":["Constantine 2 University,LIRE Laboratory,Constantine,Algeria","LIRE Laboratory, Constantine 2 University, Constantine, Algeria"],"raw_orcid":"https://orcid.org/0000-0002-6682-2862","affiliations":[{"raw_affiliation_string":"Constantine 2 University,LIRE Laboratory,Constantine,Algeria","institution_ids":[]},{"raw_affiliation_string":"LIRE Laboratory, Constantine 2 University, Constantine, Algeria","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044478313","display_name":"Sofiane Mounine Hemam","orcid":"https://orcid.org/0000-0002-9638-8390"},"institutions":[{"id":"https://openalex.org/I4210130929","display_name":"Abb\u00e8s Laghrour University of Khenchela","ror":"https://ror.org/02yyskm09","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4210130929"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Sofiane Mounine Hemam","raw_affiliation_strings":["Khenchela University,ICOSI Laboratory,Khenchela,Algeria","ICOSI Laboratory, Khenchela University, Khenchela, Algeria"],"raw_orcid":"https://orcid.org/0000-0002-9638-8390","affiliations":[{"raw_affiliation_string":"Khenchela University,ICOSI Laboratory,Khenchela,Algeria","institution_ids":["https://openalex.org/I4210130929"]},{"raw_affiliation_string":"ICOSI Laboratory, Khenchela University, Khenchela, Algeria","institution_ids":["https://openalex.org/I4210130929"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015524367","display_name":"Fa\u00efza Belala","orcid":"https://orcid.org/0000-0002-4563-4061"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Faiza Belala","raw_affiliation_strings":["Constantine 2 University,LIRE Laboratory,Constantine,Algeria","LIRE Laboratory, Constantine 2 University, Constantine, Algeria"],"raw_orcid":"https://orcid.org/0000-0002-4563-4061","affiliations":[{"raw_affiliation_string":"Constantine 2 University,LIRE Laboratory,Constantine,Algeria","institution_ids":[]},{"raw_affiliation_string":"LIRE Laboratory, Constantine 2 University, Constantine, Algeria","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086934834","display_name":"Aya Lehamdi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Aya Lehamdi","raw_affiliation_strings":["Constantine 2 University,LIRE Laboratory,Constantine,Algeria","LIRE Laboratory, Constantine 2 University, Constantine, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Constantine 2 University,LIRE Laboratory,Constantine,Algeria","institution_ids":[]},{"raw_affiliation_string":"LIRE Laboratory, Constantine 2 University, Constantine, Algeria","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039474132","display_name":"Radhia Aouissate","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Radhia Aouissate","raw_affiliation_strings":["Constantine 2 University,LIRE Laboratory,Constantine,Algeria","LIRE Laboratory, Constantine 2 University, Constantine, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Constantine 2 University,LIRE Laboratory,Constantine,Algeria","institution_ids":[]},{"raw_affiliation_string":"LIRE Laboratory, Constantine 2 University, Constantine, Algeria","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6194,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.73833985,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"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.9966999888420105,"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.9966999888420105,"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/T10763","display_name":"Digital Transformation in Industry","score":0.989799976348877,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9866999983787537,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7822086811065674},{"id":"https://openalex.org/keywords/business-process-model-and-notation","display_name":"Business Process Model and Notation","score":0.6174829006195068},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.5851308107376099},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.5380690693855286},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5285205841064453},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.5047725439071655},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.49156007170677185},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.47770312428474426},{"id":"https://openalex.org/keywords/complement","display_name":"Complement (music)","score":0.4723202884197235},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.46091678738594055},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4212186336517334},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.4210377335548401},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4145057797431946},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.32909393310546875},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.26061877608299255},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.22713702917099},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2039206624031067}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7822086811065674},{"id":"https://openalex.org/C179299601","wikidata":"https://www.wikidata.org/wiki/Q1017605","display_name":"Business Process Model and Notation","level":5,"score":0.6174829006195068},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.5851308107376099},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.5380690693855286},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5285205841064453},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.5047725439071655},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.49156007170677185},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.47770312428474426},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.4723202884197235},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.46091678738594055},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4212186336517334},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.4210377335548401},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4145057797431946},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.32909393310546875},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.26061877608299255},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.22713702917099},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2039206624031067},{"id":"https://openalex.org/C127716648","wikidata":"https://www.wikidata.org/wiki/Q104053","display_name":"Phenotype","level":3,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C188082640","wikidata":"https://www.wikidata.org/wiki/Q1780899","display_name":"Complementation","level":4,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/pais56586.2022.9946900","is_oa":false,"landing_page_url":"https://doi.org/10.1109/pais56586.2022.9946900","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 4th International Conference on Pattern Analysis and Intelligent Systems (PAIS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5799999833106995}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W2043778906","https://openalex.org/W2044732636","https://openalex.org/W2342655591","https://openalex.org/W2404852947","https://openalex.org/W2509381074","https://openalex.org/W2744599860","https://openalex.org/W2789444712","https://openalex.org/W2893922909","https://openalex.org/W2964473274","https://openalex.org/W3138222131","https://openalex.org/W4294621147"],"related_works":["https://openalex.org/W4360764654","https://openalex.org/W2048823690","https://openalex.org/W2548538367","https://openalex.org/W2390124755","https://openalex.org/W39045509","https://openalex.org/W2156223462","https://openalex.org/W4387850931","https://openalex.org/W1548276064","https://openalex.org/W4255997945","https://openalex.org/W2003662434"],"abstract_inverted_index":{"The":[0,27,104],"fact":[1],"of":[2,29,68,74,96,129],"mixing":[3],"hardware":[4],"and":[5,36,62,115,138,141],"software":[6],"give":[7,118],"rise":[8],"to":[9,47,57,64,87,110,117,135],"very":[10],"complex":[11],"systems,":[12],"known":[13],"as":[14],"Cyber":[15],"Physical":[16],"Systems":[17],"(CPS),":[18],"that":[19],"underlie":[20],"several":[21,72],"additional":[22],"constraints":[23],"for":[24,121,147],"their":[25,131],"design.":[26],"formalization":[28],"such":[30,49],"systems":[31,70],"requires":[32],"a":[33,144],"well-defined":[34],"mathematical":[35],"modeling":[37],"approach":[38,51,107],"providing":[39],"an":[40],"integrated":[41,106],"formal":[42,50,94],"analysis.":[43],"This":[44],"paper":[45],"aims":[46],"propose":[48],"while":[52],"the":[53,59,66,89,97,122,127,148],"main":[54],"characteristic":[55],"is":[56,78],"combine":[58],"BPMN":[60],"model":[61],"Bigraphs":[63],"ensure":[65],"conception":[67],"these":[69,82],"respecting":[71],"points":[73],"view.":[75],"Our":[76],"focus":[77],"on":[79],"showing":[80],"how":[81],"models":[83],"complement":[84],"each":[85],"other":[86],"assist":[88],"system":[90],"designer":[91],"in":[92,102],"establishing":[93],"verification":[95],"business":[98,124],"process":[99],"work-flows":[100],"involved":[101],"CPS.":[103],"proposed":[105],"allows,":[108],"according":[109],"different":[111],"dimensions:":[112],"functional,":[113],"organizational":[114],"behavioral,":[116],"precise":[119],"semantics":[120],"considered":[123],"process,":[125],"with":[126],"aim":[128],"improving":[130],"efficiency,":[132],"adapting":[133],"them":[134],"new":[136],"technologies":[137],"possible":[139],"extensions":[140],"thus":[142],"gaining":[143],"competitive":[145],"advantage":[146],"CPS-based":[149],"organization":[150],"they":[151],"model.":[152]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}