{"id":"https://openalex.org/W2620465354","doi":"https://doi.org/10.1007/978-3-319-59746-1_12","title":"Verifying Timed BPMN Processes Using Maude","display_name":"Verifying Timed BPMN Processes Using Maude","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2620465354","doi":"https://doi.org/10.1007/978-3-319-59746-1_12","mag":"2620465354"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-59746-1_12","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"book series"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"book-chapter","type_crossref":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-01538104/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016544041","display_name":"Francisco Dur\u00e1n","orcid":"https://orcid.org/0000-0001-5864-8094"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Francisco Dur\u00e1n","raw_affiliation_strings":["University of M\u00e1laga, M\u00e1laga, Spain"],"affiliations":[{"raw_affiliation_string":"University of M\u00e1laga, M\u00e1laga, Spain","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108404415","display_name":"Gwen Sala\u00fcn","orcid":null},"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/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Gwen Sala\u00fcn","raw_affiliation_strings":["University of Grenoble Alpes, LIG, CNRS, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"University of Grenoble Alpes, LIG, CNRS, Grenoble, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I899635006","https://openalex.org/I4210104430"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5016544041"],"corresponding_institution_ids":["https://openalex.org/I82767444"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392,"provenance":"doaj"},"apc_paid":null,"fwci":3.447,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":19,"citation_normalized_percentile":{"value":0.933715,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":91},"biblio":{"volume":null,"issue":null,"first_page":"219","last_page":"236"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Workflow Mining and Business Process Management","score":0.9999,"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":"Workflow Mining and Business Process Management","score":0.9999,"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":"QoS-Aware Web Services Composition and Semantic Matching","score":0.9957,"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/T11741","display_name":"Design and Operation of Reconfigurable Manufacturing Systems","score":0.9802,"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/semantic-business-process-management","display_name":"Semantic Business Process Management","score":0.552118},{"id":"https://openalex.org/keywords/process-performance-measurement","display_name":"Process Performance Measurement","score":0.546743},{"id":"https://openalex.org/keywords/business-process-management","display_name":"Business Process Management","score":0.541879},{"id":"https://openalex.org/keywords/predictive-process-monitoring","display_name":"Predictive Process Monitoring","score":0.533164},{"id":"https://openalex.org/keywords/process-modeling-languages","display_name":"Process Modeling Languages","score":0.528999}],"concepts":[{"id":"https://openalex.org/C179299601","wikidata":"https://www.wikidata.org/wiki/Q1017605","display_name":"Business Process Model and Notation","level":5,"score":0.87545764},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8252667},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.62363005},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.59635854},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.55428624},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.5436243},{"id":"https://openalex.org/C130536060","wikidata":"https://www.wikidata.org/wiki/Q592375","display_name":"XPDL","level":4,"score":0.5314347},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.475401},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.47195235},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.45136902},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.42184418},{"id":"https://openalex.org/C80309976","wikidata":"https://www.wikidata.org/wiki/Q7007379","display_name":"Business process management","level":4,"score":0.41731763},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.23683447},{"id":"https://openalex.org/C140824633","wikidata":"https://www.wikidata.org/wiki/Q2808660","display_name":"Workflow management system","level":3,"score":0.20741719},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.20222661},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.1439735},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","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":4,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-59746-1_12","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"book series"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-01538104","pdf_url":"https://inria.hal.science/hal-01538104/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"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":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-01538104/file/main.pdf","pdf_url":"https://hal.inria.fr/hal-01538104/file/main.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"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":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-01538104/document","pdf_url":"https://hal.inria.fr/hal-01538104/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"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":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-01538104","pdf_url":"https://inria.hal.science/hal-01538104/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"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":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[{"score":0.4,"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":31,"referenced_works":["https://openalex.org/W125552157","https://openalex.org/W1420021490","https://openalex.org/W1504007491","https://openalex.org/W1537297192","https://openalex.org/W1605874170","https://openalex.org/W1617587652","https://openalex.org/W1620275631","https://openalex.org/W1976080895","https://openalex.org/W1976195354","https://openalex.org/W1991598919","https://openalex.org/W2001487918","https://openalex.org/W2006340882","https://openalex.org/W2023804063","https://openalex.org/W2027658646","https://openalex.org/W2041055242","https://openalex.org/W2060833382","https://openalex.org/W2063294547","https://openalex.org/W2064706444","https://openalex.org/W2076719996","https://openalex.org/W2085752404","https://openalex.org/W2111207692","https://openalex.org/W2114816931","https://openalex.org/W2148254432","https://openalex.org/W2159958244","https://openalex.org/W2169696634","https://openalex.org/W2494940261","https://openalex.org/W2521813284","https://openalex.org/W2913689616","https://openalex.org/W39831988","https://openalex.org/W4234315090","https://openalex.org/W4247919117"],"related_works":["https://openalex.org/W3013473042","https://openalex.org/W2588454035","https://openalex.org/W2572128184","https://openalex.org/W2557110996","https://openalex.org/W2403967028","https://openalex.org/W2354844652","https://openalex.org/W2288749683","https://openalex.org/W2182530887","https://openalex.org/W2030287586","https://openalex.org/W1992806124"],"abstract_inverted_index":{"A":[0],"business":[1,23,50,68],"process":[2],"is":[3,16,29,111],"a":[4,10,17,30,100,140],"collection":[5],"of":[6,39,66,82,96,106,143],"structured":[7],"activities":[8],"producing":[9],"particular":[11],"product":[12],"or":[13,92],"software.":[14,42],"BPMN":[15,60,133,144],"workflow-based":[18],"graphical":[19],"notation":[20],"for":[21,103,131,146],"specifying":[22],"processes.":[24],"Formally":[25],"analyzing":[26],"such":[27,86],"processes":[28,51,69,85,145],"crucial":[31],"challenge":[32],"in":[33,118],"order":[34],"to":[35,58,77],"avoid":[36],"erroneous":[37],"executions":[38],"the":[40,71,88,93,104,114],"corresponding":[41],"In":[43],"this":[44],"paper,":[45],"we":[46],"focus":[47],"on":[48,84,139],"timed":[49,67,94],"where":[52],"execution":[53,90],"time":[54,91],"can":[55],"be":[56],"associated":[57],"several":[59,80],"constructs.":[61],"We":[62,135],"propose":[63],"an":[64],"encoding":[65],"into":[70],"Maude":[72],"language,":[73],"which":[74,120],"allows":[75],"one":[76],"automatically":[78],"verify":[79],"properties":[81],"interest":[83],"as":[87],"maximum/minimum/average":[89],"degree":[95],"parallelism":[97],"that":[98],"provides":[99,122],"valuable":[101],"guide":[102],"problem":[105],"resource":[107],"allocation.":[108],"The":[109],"analysis":[110,127],"achieved":[112],"using":[113],"rewriting-based":[115],"tools":[116],"available":[117],"Maude,":[119],"also":[121],"other":[123],"techniques":[124],"(e.g.,":[125],"reachability":[126],"and":[128],"model":[129],"checking)":[130],"verifying":[132],"specifications.":[134],"applied":[136],"our":[137],"approach":[138],"large":[141],"set":[142],"evaluation":[147],"purposes.":[148]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2620465354","counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":7}],"updated_date":"2024-10-27T20:39:16.944223","created_date":"2017-06-05"}
