{"id":"https://openalex.org/W2900200025","doi":"https://doi.org/10.1016/j.scico.2018.09.007","title":"Checking business process evolution","display_name":"Checking business process evolution","publication_year":2018,"publication_date":"2018-11-06","ids":{"openalex":"https://openalex.org/W2900200025","doi":"https://doi.org/10.1016/j.scico.2018.09.007","mag":"2900200025"},"language":"en","primary_location":{"id":"doi:10.1016/j.scico.2018.09.007","doi":"https://doi.org/10.1016/j.scico.2018.09.007","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.scico.2018.09.007","pdf_url":null,"source":{"id":"https://openalex.org/S21029587","display_name":"Science of Computer Programming","issn_l":"0167-6423","issn":["0167-6423","1872-7964"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-b","cwts-core","dongbi-c","jufo-2","norway-1","poland-40","russia-white-list-2"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science of Computer Programming","raw_type":"journal-article"},"volume":null,"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://doi.org/10.1016/j.scico.2018.09.007","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108693278","display_name":"Ajay Krishna","orcid":"https://orcid.org/0000-0002-1374-6851","observed_orcids":["https://orcid.org/0000-0002-1374-6851"]},"institutions":[{"id":"https://openalex.org/I106785703","display_name":"Institut polytechnique de Grenoble","ror":"https://ror.org/05sbt2524","country_code":"FR","type":"education","lineage":["https://openalex.org/I106785703","https://openalex.org/I899635006"]},{"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/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4405259828","display_name":"CONVECS: Construction de syst\u00e8mes concurrents v\u00e9rifi\u00e9s","ror":"https://ror.org/02t6zvp46","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210101348","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I4405259828","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Ajay Krishna","raw_affiliation_strings":["Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, F-38000 Grenoble, France","CONVECS  - Construction of verified concurrent systems (Centre de recherche Inria\r\n655 avenue de l'Europe\r\n38330 Montbonnot Saint-Martin - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, F-38000 Grenoble, France","institution_ids":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I899635006"]},{"raw_affiliation_string":"CONVECS  - Construction of verified concurrent systems (Centre de recherche Inria\r\n655 avenue de l'Europe\r\n38330 Montbonnot Saint-Martin - France)","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4405259828"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019071560","display_name":"Pascal Poizat","orcid":"https://orcid.org/0000-0001-7979-9510","observed_orcids":["https://orcid.org/0000-0001-7979-9510"]},"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/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I40434647","display_name":"Universit\u00e9 Paris Nanterre","ror":"https://ror.org/013bkhk48","country_code":"FR","type":"education","lineage":["https://openalex.org/I40434647"]},{"id":"https://openalex.org/I4210124654","display_name":"Universit\u00e9 Paris Lumi\u00e8res","ror":"https://ror.org/03b4d6f26","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210124654"]},{"id":"https://openalex.org/I4210159731","display_name":"LIP6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pascal Poizat","raw_affiliation_strings":["Sorbonne Universit\u00e9, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, F-75005, Paris, France","Universit\u00e9 Paris Lumi\u00e8res, Universit\u00e9 Paris Nanterre, F-92000, Nanterre, France","MoVe - Mod\u00e9lisation et V\u00e9rification (France)","UPN - Universit\u00e9 Paris Nanterre (200 avenue de la R\u00e9publique - 92001 Nanterre cedex - France)"],"raw_orcid":"https://orcid.org/0000-0001-7979-9510","affiliations":[{"raw_affiliation_string":"Sorbonne Universit\u00e9, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, F-75005, Paris, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159731"]},{"raw_affiliation_string":"Universit\u00e9 Paris Lumi\u00e8res, Universit\u00e9 Paris Nanterre, F-92000, Nanterre, France","institution_ids":["https://openalex.org/I40434647","https://openalex.org/I4210124654"]},{"raw_affiliation_string":"MoVe - Mod\u00e9lisation et V\u00e9rification (France)","institution_ids":[]},{"raw_affiliation_string":"UPN - Universit\u00e9 Paris Nanterre (200 avenue de la R\u00e9publique - 92001 Nanterre cedex - France)","institution_ids":["https://openalex.org/I40434647"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5104908828","display_name":"Gwen Sala\u00fcn","orcid":"https://orcid.org/0000-0003-3654-8791","observed_orcids":["https://orcid.org/0000-0003-3654-8791"]},"institutions":[{"id":"https://openalex.org/I106785703","display_name":"Institut polytechnique de Grenoble","ror":"https://ror.org/05sbt2524","country_code":"FR","type":"education","lineage":["https://openalex.org/I106785703","https://openalex.org/I899635006"]},{"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/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4405259828","display_name":"CONVECS: Construction de syst\u00e8mes concurrents v\u00e9rifi\u00e9s","ror":"https://ror.org/02t6zvp46","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210101348","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I4405259828","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Gwen Sala\u00fcn","raw_affiliation_strings":["Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG, F-38000 Grenoble, France","CONVECS  - Construction of verified concurrent systems (Centre de recherche Inria\r\n655 avenue de l'Europe\r\n38330 Montbonnot Saint-Martin - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG, F-38000 Grenoble, France","institution_ids":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1326498283"]},{"raw_affiliation_string":"CONVECS  - Construction of verified concurrent systems (Centre de recherche Inria\r\n655 avenue de l'Europe\r\n38330 Montbonnot Saint-Martin - France)","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4405259828"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5104908828"],"corresponding_institution_ids":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4405259828"],"apc_list":{"value":2600,"currency":"USD","value_usd":2600},"apc_paid":null,"fwci":8.3038,"has_fulltext":false,"cited_by_count":36,"citation_normalized_percentile":{"value":0.97177893,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"170","issue":null,"first_page":"1","last_page":"26"},"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.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"}},"topics":[{"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.0013000000035390258,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10142","display_name":"Formal Methods in Verification","score":0.00019999999494757503,"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/business-process-evolution","display_name":"business process evolution","score":0.9869999885559082},{"id":"https://openalex.org/keywords/business-process-model-and-notation","display_name":"BPMN","score":0.7139999866485596},{"id":"https://openalex.org/keywords/labeled-transition-systems","display_name":"labelled transition systems","score":0.6850000023841858},{"id":"https://openalex.org/keywords/model-transformation","display_name":"model transformation","score":0.7590000033378601},{"id":"https://openalex.org/keywords/process-comparison","display_name":"process comparison","score":0.6970000267028809},{"id":"https://openalex.org/keywords/process-refinement","display_name":"process refinement","score":0.6980000138282776},{"id":"https://openalex.org/keywords/renaming","display_name":"renaming","score":0.8119999766349792},{"id":"https://openalex.org/keywords/context-awareness","display_name":"context awareness","score":0.7990000247955322},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.5199999809265137}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8697798252105713},{"id":"https://openalex.org/C179299601","wikidata":"https://www.wikidata.org/wiki/Q1017605","display_name":"Business Process Model and Notation","level":5,"score":0.8406339883804321},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.6306644678115845},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.611739456653595},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.5886108875274658},{"id":"https://openalex.org/C80309976","wikidata":"https://www.wikidata.org/wiki/Q7007379","display_name":"Business process management","level":4,"score":0.5260217785835266},{"id":"https://openalex.org/C4927394","wikidata":"https://www.wikidata.org/wiki/Q787631","display_name":"Business Process Execution Language","level":4,"score":0.5247926115989685},{"id":"https://openalex.org/C162754035","wikidata":"https://www.wikidata.org/wiki/Q17006331","display_name":"Artifact-centric business process model","level":5,"score":0.517707347869873},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.5114187598228455},{"id":"https://openalex.org/C152752567","wikidata":"https://www.wikidata.org/wiki/Q116877","display_name":"Code refactoring","level":3,"score":0.5065499544143677},{"id":"https://openalex.org/C76956256","wikidata":"https://www.wikidata.org/wiki/Q27610560","display_name":"Process modeling","level":3,"score":0.4782639741897583},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.47363418340682983},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.45577290654182434},{"id":"https://openalex.org/C11066294","wikidata":"https://www.wikidata.org/wiki/Q1518244","display_name":"Business rule","level":4,"score":0.4532639682292938},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4209924340248108},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2878061532974243},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.2310415506362915},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.20516198873519897},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.18081650137901306},{"id":"https://openalex.org/C57041688","wikidata":"https://www.wikidata.org/wiki/Q220644","display_name":"Service-oriented architecture","level":3,"score":0.11626213788986206},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/j.scico.2018.09.007","doi":"https://doi.org/10.1016/j.scico.2018.09.007","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.scico.2018.09.007","pdf_url":null,"source":{"id":"https://openalex.org/S21029587","display_name":"Science of Computer Programming","issn_l":"0167-6423","issn":["0167-6423","1872-7964"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-b","cwts-core","dongbi-c","jufo-2","norway-1","poland-40","russia-white-list-2"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science of Computer Programming","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01920273v1","doi":null,"is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01920273","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Science of Computer Programming, 2019, 170, pp.1-26. ⟨10.1016/j.scico.2018.09.007⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1016/j.scico.2018.09.007","doi":"https://doi.org/10.1016/j.scico.2018.09.007","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.scico.2018.09.007","pdf_url":null,"source":{"id":"https://openalex.org/S21029587","display_name":"Science of Computer Programming","issn_l":"0167-6423","issn":["0167-6423","1872-7964"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-b","cwts-core","dongbi-c","jufo-2","norway-1","poland-40","russia-white-list-2"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science of Computer Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5299999713897705}],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W25364003","https://openalex.org/W113612102","https://openalex.org/W166417490","https://openalex.org/W303066282","https://openalex.org/W1509757908","https://openalex.org/W1537297192","https://openalex.org/W1605031929","https://openalex.org/W1617587652","https://openalex.org/W1620275631","https://openalex.org/W1639519860","https://openalex.org/W1673753150","https://openalex.org/W1711877719","https://openalex.org/W1985161650","https://openalex.org/W1996832037","https://openalex.org/W2001613232","https://openalex.org/W2023804063","https://openalex.org/W2025970201","https://openalex.org/W2027658646","https://openalex.org/W2060833382","https://openalex.org/W2063294547","https://openalex.org/W2064706444","https://openalex.org/W2076719996","https://openalex.org/W2085752404","https://openalex.org/W2107620109","https://openalex.org/W2113227344","https://openalex.org/W2129466958","https://openalex.org/W2129526984","https://openalex.org/W2133355217","https://openalex.org/W2148254432","https://openalex.org/W2149550070","https://openalex.org/W2169696634","https://openalex.org/W2282971084","https://openalex.org/W2521813284","https://openalex.org/W2620465354","https://openalex.org/W2810491896","https://openalex.org/W2810529482","https://openalex.org/W2902856562","https://openalex.org/W2911625174","https://openalex.org/W3122611461","https://openalex.org/W4212966524","https://openalex.org/W6636424635","https://openalex.org/W6636917832","https://openalex.org/W6637575055","https://openalex.org/W7025265992"],"related_works":["https://openalex.org/W3171707457","https://openalex.org/W1151591825","https://openalex.org/W2749947394","https://openalex.org/W109660927","https://openalex.org/W4310891554","https://openalex.org/W2772830697","https://openalex.org/W2130200203","https://openalex.org/W2585100528","https://openalex.org/W2473531333","https://openalex.org/W4403180373"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":4},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":1}],"updated_date":"2026-10-25T09:29:13.331239","created_date":"2018-11-16T00:00:00"}