乐胖代购免代理版

{"id":"https://openalex.org/W2897201076","doi":"https://doi.org/10.4018/ijismd.2018040103","title":"An Approach Based on Hierarchical Petri Nets for the Verification of Interconnected BPEL Processes","display_name":"An Approach Based on Hierarchical Petri Nets for the Verification of Interconnected BPEL Processes","publication_year":2018,"publication_date":"2018-04-01","ids":{"openalex":"https://openalex.org/W2897201076","doi":"https://doi.org/10.4018/ijismd.2018040103","mag":"2897201076"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.4018/ijismd.2018040103","pdf_url":null,"source":{"id":"https://openalex.org/S83337018","display_name":"International Journal of Information System Modeling and Design","issn_l":"1947-8186","issn":["1947-8186","1947-8194"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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/A5061887820","display_name":"Sa\u00efda Boukhedouma","orcid":"https://orcid.org/0000-0003-3106-910X"},"institutions":[{"id":"https://openalex.org/I157169809","display_name":"University of Sciences and Technology Houari Boumediene","ror":"https://ror.org/02kb89c09","country_code":"DZ","type":"education","lineage":["https://openalex.org/I157169809"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Boukhedouma Saida","raw_affiliation_strings":["University of Science and Technology Houari Boumediene (USTHB)- LSI Laboratory, Bab Ezzouar, Algeria"],"affiliations":[{"raw_affiliation_string":"University of Science and Technology Houari Boumediene (USTHB)- LSI Laboratory, Bab Ezzouar, Algeria","institution_ids":["https://openalex.org/I157169809"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5106222808","display_name":"Za\u00efa Alimazighi","orcid":null},"institutions":[{"id":"https://openalex.org/I157169809","display_name":"University of Sciences and Technology Houari Boumediene","ror":"https://ror.org/02kb89c09","country_code":"DZ","type":"education","lineage":["https://openalex.org/I157169809"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Alimazighi Zaia","raw_affiliation_strings":["University of Science and Technology Houari Boumediene, LSI Laboratory, Bab Ezzouar, Algeria"],"affiliations":[{"raw_affiliation_string":"University of Science and Technology Houari Boumediene, LSI Laboratory, Bab Ezzouar, Algeria","institution_ids":["https://openalex.org/I157169809"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.602,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":2,"citation_normalized_percentile":{"value":0.690002,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":70,"max":74},"biblio":{"volume":"9","issue":"2","first_page":"44","last_page":"78"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":1.0,"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":1.0,"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.9972,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9941,"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/soundness","display_name":"Soundness","score":0.8358198},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.45512316}],"concepts":[{"id":"https://openalex.org/C4927394","wikidata":"https://www.wikidata.org/wiki/Q787631","display_name":"Business Process Execution Language","level":4,"score":0.9105549},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.8358198},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7418653},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7141423},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.53943723},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.47129786},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.45512316},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3713766},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35009825},{"id":"https://openalex.org/C57041688","wikidata":"https://www.wikidata.org/wiki/Q220644","display_name":"Service-oriented architecture","level":3,"score":0.21532914},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.14306533},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.12315312},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.4018/ijismd.2018040103","pdf_url":null,"source":{"id":"https://openalex.org/S83337018","display_name":"International Journal of Information System Modeling and Design","issn_l":"1947-8186","issn":["1947-8186","1947-8194"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.53,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":60,"referenced_works":["https://openalex.org/W117598096","https://openalex.org/W1498084299","https://openalex.org/W1525496442","https://openalex.org/W1532777614","https://openalex.org/W1537297192","https://openalex.org/W1541004980","https://openalex.org/W1550303638","https://openalex.org/W1551401137","https://openalex.org/W1556622123","https://openalex.org/W1571406878","https://openalex.org/W1634168340","https://openalex.org/W1744589267","https://openalex.org/W1965537706","https://openalex.org/W1969786612","https://openalex.org/W1993232169","https://openalex.org/W1996972646","https://openalex.org/W2011600050","https://openalex.org/W2013949737","https://openalex.org/W2018888297","https://openalex.org/W2027658646","https://openalex.org/W2028464939","https://openalex.org/W2039186435","https://openalex.org/W2043932797","https://openalex.org/W2050942614","https://openalex.org/W2083091245","https://openalex.org/W2083168609","https://openalex.org/W2087103691","https://openalex.org/W2106003258","https://openalex.org/W2106274692","https://openalex.org/W2111531490","https://openalex.org/W2127030216","https://openalex.org/W2131407845","https://openalex.org/W2132883297","https://openalex.org/W2135938374","https://openalex.org/W2138447175","https://openalex.org/W2145391336","https://openalex.org/W2148040372","https://openalex.org/W2148398388","https://openalex.org/W2158103184","https://openalex.org/W2162868766","https://openalex.org/W2163133050","https://openalex.org/W2169123208","https://openalex.org/W2185674212","https://openalex.org/W2295915698","https://openalex.org/W2508706033","https://openalex.org/W2570979738","https://openalex.org/W2573638007","https://openalex.org/W2586910905","https://openalex.org/W2609659471","https://openalex.org/W2764038098","https://openalex.org/W2766486729","https://openalex.org/W2782074258","https://openalex.org/W2957753748","https://openalex.org/W2978145192","https://openalex.org/W345742707","https://openalex.org/W40144942","https://openalex.org/W4212966524","https://openalex.org/W4245341735","https://openalex.org/W594662932","https://openalex.org/W97522753"],"related_works":["https://openalex.org/W597347111","https://openalex.org/W4312379357","https://openalex.org/W2901841247","https://openalex.org/W2553925117","https://openalex.org/W2355954834","https://openalex.org/W2285444239","https://openalex.org/W2257573499","https://openalex.org/W2158814988","https://openalex.org/W1938017683","https://openalex.org/W1543378523"],"abstract_inverted_index":{"This":[0],"article":[1],"describes":[2],"an":[3],"MDE":[4],"approach":[5,67],"for":[6,14],"transformation":[7,86,97,119],"from":[8,87],"BPEL":[9,30,78,88],"specifications":[10],"to":[11,35,53,89,125,130,135],"WF-nets":[12,49,90],"models":[13,93,108],"verifying":[15],"behavioral":[16],"properties":[17],"on":[18,59,106],"IOWF":[19,60],"(Inter-Organizational":[20],"Workflow)":[21],"processes.":[22],"The":[23],"authors":[24,144],"consider":[25],"WF":[26],"processes":[27],"specified":[28],"with":[29],"and":[31,80,96,99,113,153],"interconnected":[32],"together":[33],"according":[34],"specific":[36,42,118],"cooperation":[37,132],"patterns.":[38],"They":[39,110],"define":[40,112],"a":[41,115,146],"class":[43],"of":[44,76,82,102,117,139,155],"Petri":[45],"nets":[46],"called":[47],"Hierarchical":[48],"(HWN)":[50],"in":[51],"order":[52],"formally":[54],"check":[55],"the":[56,77,103,107,126,137,143,151,156],"\u201csoundness\u201d":[57,104],"property":[58,105],"process":[61,83],"models.":[62],"For":[63],"that,":[64],"their":[65,140],"verification":[66,101,141],"is":[68],"defined":[69],"around":[70],"three":[71],"main":[72],"phases:":[73],"(i)":[74],"recovery":[75],"file(s)":[79],"generation":[81],"tree(s),":[84],"(ii)":[85],"(resp.":[91],"HWN)":[92],"using":[94],"mapping":[95],"rules":[98,120,128],"(iii)":[100],"obtained.":[109],"particularly":[111],"implement":[114],"set":[116],"which":[121,149],"are":[122],"closely":[123],"linked":[124],"interconnection":[127],"attached":[129],"each":[131],"pattern.":[133],"Also,":[134],"show":[136],"feasibility":[138],"method,":[142],"developed":[145],"\u201cWF-Checking\u201d":[147],"tool":[148],"allows":[150],"implementation":[152],"testing":[154],"proposed":[157],"approach.":[158]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2897201076","counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2024-12-15T22:31:43.068906","created_date":"2018-10-26"}