{"id":"https://openalex.org/W2896876660","doi":"https://doi.org/10.1109/access.2018.2874937","title":"Formal Verification of Temporal Constraints for Mobile Service-Based Business Process Models","display_name":"Formal Verification of Temporal Constraints for Mobile Service-Based Business Process Models","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2896876660","doi":"https://doi.org/10.1109/access.2018.2874937","mag":"2896876660"},"language":"en","primary_location":{"id":"doi:10.1109/access.2018.2874937","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2874937","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1109/access.2018.2874937","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089499642","display_name":"Deng Zhao","orcid":"https://orcid.org/0000-0001-6378-5595"},"institutions":[{"id":"https://openalex.org/I3125743391","display_name":"China University of Geosciences (Beijing)","ror":"https://ror.org/04q6c7p66","country_code":"CN","type":"education","lineage":["https://openalex.org/I3125743391"]},{"id":"https://openalex.org/I4210145102","display_name":"Institut Polytechnique de Paris","ror":"https://ror.org/042tfbd02","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4387153010","display_name":"T\u00e9l\u00e9com SudParis","ror":"https://ror.org/05xvk4r52","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210145102","https://openalex.org/I4387153010"]}],"countries":["CN","FR"],"is_corresponding":false,"raw_author_name":"Deng Zhao","raw_affiliation_strings":["Computer Science Department, TELECOM SudParis, \u00c9vry, France","School of Information Engineering (China University of Geosciences) (China)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, TELECOM SudParis, \u00c9vry, France","institution_ids":["https://openalex.org/I4210145102","https://openalex.org/I4387153010"]},{"raw_affiliation_string":"School of Information Engineering (China University of Geosciences) (China)","institution_ids":["https://openalex.org/I3125743391"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084851123","display_name":"Walid Gaaloul","orcid":"https://orcid.org/0000-0003-0451-532X"},"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/I4210145102","display_name":"Institut Polytechnique de Paris","ror":"https://ror.org/042tfbd02","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4387153010","display_name":"T\u00e9l\u00e9com SudParis","ror":"https://ror.org/05xvk4r52","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210145102","https://openalex.org/I4387153010"]},{"id":"https://openalex.org/I4405261500","display_name":"Services r\u00e9partis, Architectures, MOd\u00e9lisation, Validation, Administration des R\u00e9seaux","ror":"https://ror.org/05d29yv45","country_code":"FR","type":"facility","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210145102","https://openalex.org/I4387153010","https://openalex.org/I4405261500"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Walid Gaaloul","raw_affiliation_strings":["Computer Science Department, TELECOM SudParis, \u00c9vry, France","ACMES-SAMOVAR - Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing (TELECOM Sudparis\r\n 9 rue Charles Fourier\r\n 91011 EVRY - France)","CNRS - Centre National de la Recherche Scientifique (France)","SAMOVAR - Services r\u00e9partis, Architectures, MOd\u00e9lisation, Validation, Administration des R\u00e9seaux (T\u00e9l\u00e9com Sudparis, 9 rue Charles Fourier -91011 Evry cedex - France)","TSP - INF - D\u00e9partement Informatique (France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, TELECOM SudParis, \u00c9vry, France","institution_ids":["https://openalex.org/I4210145102","https://openalex.org/I4387153010"]},{"raw_affiliation_string":"ACMES-SAMOVAR - Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing (TELECOM Sudparis\r\n 9 rue Charles Fourier\r\n 91011 EVRY - France)","institution_ids":["https://openalex.org/I4387153010"]},{"raw_affiliation_string":"CNRS - Centre National de la Recherche Scientifique (France)","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"SAMOVAR - Services r\u00e9partis, Architectures, MOd\u00e9lisation, Validation, Administration des R\u00e9seaux (T\u00e9l\u00e9com Sudparis, 9 rue Charles Fourier -91011 Evry cedex - France)","institution_ids":["https://openalex.org/I4210145102","https://openalex.org/I4387153010","https://openalex.org/I4405261500"]},{"raw_affiliation_string":"TSP - INF - D\u00e9partement Informatique (France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060804553","display_name":"Wenbo Zhang","orcid":"https://orcid.org/0000-0003-1375-0081"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenbo Zhang","raw_affiliation_strings":["Technology Center of Software Engineering, Institute of Software, Chinese Academy of Sciences, Beijing, China","Institute of Software Chinese Academy of Sciences [Beijing] (4# South Fourth Street, Zhong Guan Cun, Beijing 100190 - China)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technology Center of Software Engineering, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"raw_affiliation_string":"Institute of Software Chinese Academy of Sciences [Beijing] (4# South Fourth Street, Zhong Guan Cun, Beijing 100190 - China)","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038265266","display_name":"Chunsheng Zhu","orcid":"https://orcid.org/0000-0001-8041-0197"},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]},{"id":"https://openalex.org/I4405260628","display_name":"University of British Columbia, Okanagan Campus","ror":"https://ror.org/04241wz75","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490","https://openalex.org/I4405260628"]},{"id":"https://openalex.org/I822440","display_name":"Okanagan University College","ror":"https://ror.org/02mxmh518","country_code":"CA","type":"education","lineage":["https://openalex.org/I822440"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Chunsheng Zhu","raw_affiliation_strings":["Department of Electrical and Computer Engineering, The University of British Columbia, Vancouver, BC, Canada","UBC - University of British Columbia (Vancouver Campus, , 2329 West Mall, Vancouver, BC, V6T 1Z4 / \r\nOkanagan Campus, 3333 University Way, Kelowna, BC, V1V 1V7 - Canada)"],"raw_orcid":"https://orcid.org/0000-0001-8041-0197","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, The University of British Columbia, Vancouver, BC, Canada","institution_ids":["https://openalex.org/I141945490"]},{"raw_affiliation_string":"UBC - University of British Columbia (Vancouver Campus, , 2329 West Mall, Vancouver, BC, V6T 1Z4 / \r\nOkanagan Campus, 3333 University Way, Kelowna, BC, V1V 1V7 - Canada)","institution_ids":["https://openalex.org/I141945490","https://openalex.org/I4405260628","https://openalex.org/I822440"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052234427","display_name":"Zhangbing Zhou","orcid":"https://orcid.org/0000-0002-3195-2253"},"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/I3125743391","display_name":"China University of Geosciences (Beijing)","ror":"https://ror.org/04q6c7p66","country_code":"CN","type":"education","lineage":["https://openalex.org/I3125743391"]},{"id":"https://openalex.org/I4210145102","display_name":"Institut Polytechnique de Paris","ror":"https://ror.org/042tfbd02","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4387153010","display_name":"T\u00e9l\u00e9com SudParis","ror":"https://ror.org/05xvk4r52","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210145102","https://openalex.org/I4387153010"]},{"id":"https://openalex.org/I4405261500","display_name":"Services r\u00e9partis, Architectures, MOd\u00e9lisation, Validation, Administration des R\u00e9seaux","ror":"https://ror.org/05d29yv45","country_code":"FR","type":"facility","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210145102","https://openalex.org/I4387153010","https://openalex.org/I4405261500"]}],"countries":["CN","FR"],"is_corresponding":false,"raw_author_name":"Zhangbing Zhou","raw_affiliation_strings":["Computer Science Department, TELECOM SudParis, \u00c9vry, France","CNRS - Centre National de la Recherche Scientifique (France)","SAMOVAR - Services r\u00e9partis, Architectures, MOd\u00e9lisation, Validation, Administration des R\u00e9seaux (T\u00e9l\u00e9com Sudparis, 9 rue Charles Fourier -91011 Evry cedex - France)","School of Information Engineering (China University of Geosciences) (China)"],"raw_orcid":"https://orcid.org/0000-0002-3195-2253","affiliations":[{"raw_affiliation_string":"Computer Science Department, TELECOM SudParis, \u00c9vry, France","institution_ids":["https://openalex.org/I4210145102","https://openalex.org/I4387153010"]},{"raw_affiliation_string":"CNRS - Centre National de la Recherche Scientifique (France)","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"SAMOVAR - Services r\u00e9partis, Architectures, MOd\u00e9lisation, Validation, Administration des R\u00e9seaux (T\u00e9l\u00e9com Sudparis, 9 rue Charles Fourier -91011 Evry cedex - France)","institution_ids":["https://openalex.org/I4210145102","https://openalex.org/I4387153010","https://openalex.org/I4405261500"]},{"raw_affiliation_string":"School of Information Engineering (China University of Geosciences) (China)","institution_ids":["https://openalex.org/I3125743391"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":10,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":1.482,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.84822269,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"6","issue":null,"first_page":"59843","last_page":"59852"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9969000220298767,"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"}},{"id":"https://openalex.org/T12594","display_name":"Collaboration in agile enterprises","score":0.9623000025749207,"subfield":{"id":"https://openalex.org/subfields/1405","display_name":"Management of Technology and Innovation"},"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/computer-science","display_name":"Computer science","score":0.8386237621307373},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.7557737827301025},{"id":"https://openalex.org/keywords/process-mining","display_name":"Process mining","score":0.6984370946884155},{"id":"https://openalex.org/keywords/business-process-discovery","display_name":"Business process discovery","score":0.6192531585693359},{"id":"https://openalex.org/keywords/business-process-management","display_name":"Business process management","score":0.5852152705192566},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.5700793862342834},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.530483067035675},{"id":"https://openalex.org/keywords/process-modeling","display_name":"Process modeling","score":0.5178706645965576},{"id":"https://openalex.org/keywords/business-process-model-and-notation","display_name":"Business Process Model and Notation","score":0.5060290694236755},{"id":"https://openalex.org/keywords/conformance-checking","display_name":"Conformance checking","score":0.4916229844093323},{"id":"https://openalex.org/keywords/business-process-execution-language","display_name":"Business Process Execution Language","score":0.49151501059532166},{"id":"https://openalex.org/keywords/artifact-centric-business-process-model","display_name":"Artifact-centric business process model","score":0.4849874973297119},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.4818776547908783},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.47399699687957764},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.32551658153533936},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.22351455688476562},{"id":"https://openalex.org/keywords/service-oriented-architecture","display_name":"Service-oriented architecture","score":0.19699406623840332},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.17108619213104248},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10163599252700806}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8386237621307373},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.7557737827301025},{"id":"https://openalex.org/C124670913","wikidata":"https://www.wikidata.org/wiki/Q2608526","display_name":"Process mining","level":5,"score":0.6984370946884155},{"id":"https://openalex.org/C93453677","wikidata":"https://www.wikidata.org/wiki/Q1017580","display_name":"Business process discovery","level":5,"score":0.6192531585693359},{"id":"https://openalex.org/C80309976","wikidata":"https://www.wikidata.org/wiki/Q7007379","display_name":"Business process management","level":4,"score":0.5852152705192566},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.5700793862342834},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.530483067035675},{"id":"https://openalex.org/C76956256","wikidata":"https://www.wikidata.org/wiki/Q27610560","display_name":"Process modeling","level":3,"score":0.5178706645965576},{"id":"https://openalex.org/C179299601","wikidata":"https://www.wikidata.org/wiki/Q1017605","display_name":"Business Process Model and Notation","level":5,"score":0.5060290694236755},{"id":"https://openalex.org/C2775948798","wikidata":"https://www.wikidata.org/wiki/Q5160261","display_name":"Conformance checking","level":5,"score":0.4916229844093323},{"id":"https://openalex.org/C4927394","wikidata":"https://www.wikidata.org/wiki/Q787631","display_name":"Business Process Execution Language","level":4,"score":0.49151501059532166},{"id":"https://openalex.org/C162754035","wikidata":"https://www.wikidata.org/wiki/Q17006331","display_name":"Artifact-centric business process model","level":5,"score":0.4849874973297119},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.4818776547908783},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.47399699687957764},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.32551658153533936},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.22351455688476562},{"id":"https://openalex.org/C57041688","wikidata":"https://www.wikidata.org/wiki/Q220644","display_name":"Service-oriented architecture","level":3,"score":0.19699406623840332},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.17108619213104248},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10163599252700806},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","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/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"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":3,"locations":[{"id":"doi:10.1109/access.2018.2874937","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2874937","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01987392v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01987392","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, 2018, 6, pp.59843 - 59852. ⟨10.1109/ACCESS.2018.2874937⟩","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:doaj.org/article:39ec3023d1994a809905e074fbf11d5e","is_oa":true,"landing_page_url":"https://doaj.org/article/39ec3023d1994a809905e074fbf11d5e","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","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-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 6, Pp 59843-59852 (2018)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2018.2874937","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2874937","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.4300000071525574,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G5277023633","display_name":"\u7269\u8054\u7f51\u670d\u52a1\u8fb9\u7f18\u9002\u914d\u4e0e\u96c6\u6210\u534f\u540c\u6a21\u5f0f\u6316\u6398\u7814\u7a76","funder_award_id":"61772479","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5698602464","display_name":"API\u7ecf\u6d4e\u4e0b\u9762\u5411\u5c0f\u5fae\u521b\u4e1a\u793e\u7fa4\u6210\u957f\u73af\u8282\u7684\u5229\u76ca\u5171\u4eab\u534f\u8c03\u4fe1\u606f\u4fa7\u673a\u5236\u7814\u7a76","funder_award_id":"61662021","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321132","display_name":"China University of Geosciences, Beijing","ror":"https://ror.org/04q6c7p66"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W2002536575","https://openalex.org/W2034501851","https://openalex.org/W2064900519","https://openalex.org/W2087953129","https://openalex.org/W2092169732","https://openalex.org/W2173286379","https://openalex.org/W2287424928","https://openalex.org/W2295340408","https://openalex.org/W2332844226","https://openalex.org/W2342663885","https://openalex.org/W2432222503","https://openalex.org/W2443617630","https://openalex.org/W2486233667","https://openalex.org/W2524573328","https://openalex.org/W2560819109","https://openalex.org/W2563343781","https://openalex.org/W2564033679","https://openalex.org/W2611984554","https://openalex.org/W2626124486","https://openalex.org/W2734601173","https://openalex.org/W2743864280","https://openalex.org/W2754973335","https://openalex.org/W2755745746","https://openalex.org/W2759373267","https://openalex.org/W2765555988","https://openalex.org/W2769071065","https://openalex.org/W2772428436","https://openalex.org/W2780774450","https://openalex.org/W2790005100","https://openalex.org/W2963107557"],"related_works":["https://openalex.org/W2808742510","https://openalex.org/W2989593792","https://openalex.org/W2970064447","https://openalex.org/W2965882148","https://openalex.org/W2118474418","https://openalex.org/W2803918818","https://openalex.org/W794897257","https://openalex.org/W3082470505","https://openalex.org/W2098984483","https://openalex.org/W2144946338"],"abstract_inverted_index":{"Service-based":[0],"business":[1,8,40,85,103,119],"processes":[2,41,86],"are":[3,20,148,184],"typically":[4],"used":[5],"for":[6,76,154],"achieving":[7],"goals":[9],"through":[10],"the":[11,78,100,107,110,125,155,160,166,179,182,194,197,202],"execution":[12,38],"of":[13,16,28,39,81,109,114,137,159,175,181,201],"a":[14,32],"set":[15],"activities.":[17],"These":[18],"activities":[19,138,145],"usually":[21],"implemented":[22,153],"upon":[23],"mobile":[24,29,83,101],"devices":[25],"in":[26,31,44,47],"terms":[27],"services":[30],"dynamic":[33],"and":[34,52,56,112,127,142,157,169,173,193,199],"pervasive":[35],"environment.":[36],"The":[37],"is":[42,53,122,152],"recorded":[43],"event":[45,191],"logs":[46],"contemporary":[48],"enterprise":[49],"information":[50],"systems":[51],"discovered,":[54],"monitored,":[55],"improved":[57],"leveraging":[58],"process":[59,63,104,120],"mining":[60,64],"techniques.":[61],"However,":[62],"from":[65],"time":[66],"perspective":[67],"which":[68],"has":[69,87],"been":[70,89],"evolving":[71],"as":[72],"an":[73],"emerging":[74],"principle":[75],"supporting":[77],"temporal":[79,115,129],"analysis":[80],"these":[82],"service-based":[84,102],"not":[88],"explored":[90],"extensively.":[91],"To":[92],"address":[93],"this":[94],"challenge,":[95],"we":[96],"propose":[97],"to":[98,132,165],"extend":[99],"model":[105,121,162],"on":[106,187],"basis":[108],"specification":[111],"verification":[113,156,200],"constraints.":[116],"A":[117],"timed":[118],"proposed":[123,161,203],"where":[124],"relative":[126],"absolute":[128],"constraints":[130],"correspond":[131],"each":[133],"individual":[134],"activity,":[135],"sets":[136],"with":[139,163,178],"control":[140],"relations,":[141],"edges":[143],"between":[144],"or":[146],"gateways":[147],"estimated.":[149],"Conformance":[150],"checking":[151],"improvement":[158],"respect":[164],"accuracy,":[167],"precision,":[168],"recall.":[170],"Extensive":[171],"evaluations":[172],"comparison":[174],"our":[176],"technique":[177],"state":[180],"art":[183],"conducted":[185],"based":[186],"publicly":[188],"available":[189],"real-life":[190],"logs,":[192],"results":[195],"demonstrate":[196],"effectiveness":[198],"model.":[204]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}