{"id":"https://openalex.org/W2893483345","doi":"https://doi.org/10.1504/ijbsr.2019.096364","title":"Towards the verification of cyber-physical processes based on time and physical properties","display_name":"Towards the verification of cyber-physical processes based on time and physical properties","publication_year":2018,"publication_date":"2018-09-28","ids":{"openalex":"https://openalex.org/W2893483345","doi":"https://doi.org/10.1504/ijbsr.2019.096364","mag":"2893483345"},"language":"en","primary_location":{"id":"doi:10.1504/ijbsr.2019.096364","doi":"https://doi.org/10.1504/ijbsr.2019.096364","is_oa":false,"landing_page_url":"https://doi.org/10.1504/ijbsr.2019.096364","pdf_url":null,"source":{"id":"https://openalex.org/S12497220","display_name":"International Journal of Business and Systems Research","issn_l":"1751-200X","issn":["1751-200X","1751-2018"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","norway-1","poland-20","russia-white-list-3"],"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Business and Systems Research","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"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/A5008789517","display_name":"Imen Graja","orcid":"https://orcid.org/0000-0001-8099-9624","observed_orcids":["https://orcid.org/0000-0001-8099-9624"]},"institutions":[{"id":"https://openalex.org/I142899784","display_name":"University of Sfax","ror":"https://ror.org/04d4sd432","country_code":"TN","type":"education","lineage":["https://openalex.org/I142899784"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Imen Graja","raw_affiliation_strings":["ReDCAD Laboratory, University of Sfax, Tunisia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ReDCAD Laboratory, University of Sfax, Tunisia","institution_ids":["https://openalex.org/I142899784"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060686448","display_name":"Slim Kallel","orcid":"https://orcid.org/0000-0002-2824-167X","observed_orcids":["https://orcid.org/0000-0002-2824-167X"]},"institutions":[{"id":"https://openalex.org/I142899784","display_name":"University of Sfax","ror":"https://ror.org/04d4sd432","country_code":"TN","type":"education","lineage":["https://openalex.org/I142899784"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Slim Kallel","raw_affiliation_strings":["ReDCAD Laboratory, University of Sfax, Tunisia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ReDCAD Laboratory, University of Sfax, Tunisia","institution_ids":["https://openalex.org/I142899784"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061098586","display_name":"Nawal Guermouche","orcid":"https://orcid.org/0000-0002-4606-3424","observed_orcids":["https://orcid.org/0000-0002-4606-3424"]},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I193033237","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210152422","https://openalex.org/I4210159245","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]},{"id":"https://openalex.org/I196454796","display_name":"Institut National des Sciences Appliqu\u00e9es de Toulouse","ror":"https://ror.org/01h8pf755","country_code":"FR","type":"education","lineage":["https://openalex.org/I196454796"]},{"id":"https://openalex.org/I4405258862","display_name":"Universit\u00e9 de Toulouse","ror":"https://ror.org/01ahyrz84","country_code":"FR","type":"education","lineage":["https://openalex.org/I4405258862"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nawal Guermouche","raw_affiliation_strings":["LAAS-CNRS, CNRS, UT1, INSA, Universite de Toulouse, Toulouse, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LAAS-CNRS, CNRS, UT1, INSA, Universite de Toulouse, Toulouse, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I196454796","https://openalex.org/I4405258862"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063228263","display_name":"Ahmed Hadj Kacem","orcid":"https://orcid.org/0000-0002-8895-0152","observed_orcids":["https://orcid.org/0000-0002-8895-0152","https://orcid.org/0000-0002-9908-4042"]},"institutions":[{"id":"https://openalex.org/I142899784","display_name":"University of Sfax","ror":"https://ror.org/04d4sd432","country_code":"TN","type":"education","lineage":["https://openalex.org/I142899784"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Ahmed Hadj Kacem","raw_affiliation_strings":["ReDCAD Laboratory, University of Sfax, Tunisia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ReDCAD Laboratory, University of Sfax, Tunisia","institution_ids":["https://openalex.org/I142899784"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6755,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.78804923,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":96},"biblio":{"volume":"13","issue":"1","first_page":"47","last_page":"47"},"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.9121000170707703,"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.9121000170707703,"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.052299998700618744,"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/T10763","display_name":"Digital Transformation in Industry","score":0.007799999788403511,"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/process-compatibility","display_name":"process compatibility","score":0.7360000014305115},{"id":"https://openalex.org/keywords/physical-properties","display_name":"physical properties","score":0.9980000257492065},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"constraint satisfaction","score":0.8560000061988831},{"id":"https://openalex.org/keywords/verification","display_name":"verification","score":0.36000001430511475}],"concepts":[{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.9441312551498413},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8051841259002686},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.676902174949646},{"id":"https://openalex.org/C2778648169","wikidata":"https://www.wikidata.org/wiki/Q967768","display_name":"Compatibility (geochemistry)","level":2,"score":0.5738085508346558},{"id":"https://openalex.org/C116672817","wikidata":"https://www.wikidata.org/wiki/Q1454986","display_name":"Physical system","level":2,"score":0.5608246922492981},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4604440927505493},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.45350033044815063},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3896005153656006},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1213168203830719},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.09873819351196289},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09504193067550659},{"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C42360764","wikidata":"https://www.wikidata.org/wiki/Q83588","display_name":"Chemical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1504/ijbsr.2019.096364","doi":"https://doi.org/10.1504/ijbsr.2019.096364","is_oa":false,"landing_page_url":"https://doi.org/10.1504/ijbsr.2019.096364","pdf_url":null,"source":{"id":"https://openalex.org/S12497220","display_name":"International Journal of Business and Systems Research","issn_l":"1751-200X","issn":["1751-200X","1751-2018"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","norway-1","poland-20","russia-white-list-3"],"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Business and Systems Research","raw_type":"journal-article"},{"id":"doi:10.1504/ijbsr.2019.10016526","doi":"https://doi.org/10.1504/ijbsr.2019.10016526","is_oa":false,"landing_page_url":"https://doi.org/10.1504/ijbsr.2019.10016526","pdf_url":null,"source":{"id":"https://openalex.org/S12497220","display_name":"International Journal of Business and Systems Research","issn_l":"1751-200X","issn":["1751-200X","1751-2018"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","norway-1","poland-20","russia-white-list-3"],"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Business and Systems Research","raw_type":"journal-article"},{"id":"pmh:oai:RePEc:ids:ijbsre:v:13:y:2019:i:1:p:47-76","doi":null,"is_oa":false,"landing_page_url":"http://www.inderscience.com/link.php?id=96364","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2890585240","https://openalex.org/W2808612789","https://openalex.org/W2738238568","https://openalex.org/W2736693319","https://openalex.org/W2515421894","https://openalex.org/W7096465621","https://openalex.org/W2012325827","https://openalex.org/W2356842612","https://openalex.org/W7097475952","https://openalex.org/W2012694237"],"abstract_inverted_index":{"A":[0],"cyber-physical":[1,26,33,73,100],"process":[2],"is":[3],"a":[4,14,18,92,110,123,146],"set":[5,111],"of":[6,21,31,48,61,80,99,112,118,132,142],"cyber":[7],"and":[8,39,84,104,140],"physical":[9,40,105],"activities":[10],"performed":[11],"to":[12,45,95],"accomplish":[13],"common":[15],"goal":[16],"in":[17],"given":[19],"amount":[20],"time.":[22],"The":[23],"collaboration":[24,56],"between":[25,57],"processes":[27,74,101],"describes":[28],"the":[29,46,55,71,97,116,119,130,133,138],"behaviour":[30],"networked":[32],"systems":[34],"(NCPS).":[35],"NCPS":[36,120],"have":[37],"time-related":[38,103],"properties,":[41],"which":[42],"are":[43],"crucial":[44],"correctness":[47],"their":[49,62],"execution.":[50],"However,":[51],"when":[52],"we":[53,90,128,136],"specify":[54],"processes,":[58],"some":[59],"combination":[60],"corresponding":[63],"properties":[64],"can":[65],"be":[66],"conflicting.":[67],"This":[68],"conflict":[69],"renders":[70],"participating":[72],"incompatible.":[75],"We":[76,107],"observe":[77],"two":[78],"types":[79],"problems:":[81],"implicit":[82],"time-related,":[83],"physical-related":[85],"incompatibilities.":[86],"In":[87],"this":[88],"paper,":[89],"propose":[91],"novel":[93],"approach":[94,144],"verify":[96],"compatibility":[98,131],"with":[102],"properties.":[106],"first":[108],"define":[109],"constraints":[113],"that":[114],"allow":[115],"transformation":[117],"model":[121],"into":[122],"constraint":[124],"satisfaction":[125],"model.":[126],"Then,":[127],"check":[129],"processes.":[134],"Finally,":[135],"demonstrate":[137],"applicability":[139],"effectiveness":[141],"our":[143],"through":[145],"case":[147],"study.":[148]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2026-10-29T09:56:32.521200","created_date":"2018-10-05T00:00:00"}