{"id":"https://openalex.org/W2943085673","doi":"https://doi.org/10.1145/3297280.3297291","title":"VIEW","display_name":"VIEW","publication_year":2019,"publication_date":"2019-04-08","ids":{"openalex":"https://openalex.org/W2943085673","doi":"https://doi.org/10.1145/3297280.3297291","mag":"2943085673"},"language":"en","primary_location":{"id":"doi:10.1145/3297280.3297291","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3297280.3297291","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing","raw_type":"proceedings-article"},"type":"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/A5071500439","display_name":"Mohammad Javad Amiri","orcid":"https://orcid.org/0000-0002-6220-8363"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Mohammad Javad Amiri","raw_affiliation_strings":["University of California Santa Barbara"],"affiliations":[{"raw_affiliation_string":"University of California Santa Barbara","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059945353","display_name":"Divyakant Agrawal","orcid":"https://orcid.org/0000-0002-0215-9539"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Divyakant Agrawal","raw_affiliation_strings":["University of California Santa Barbara"],"affiliations":[{"raw_affiliation_string":"University of California Santa Barbara","institution_ids":["https://openalex.org/I154570441"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5071500439"],"corresponding_institution_ids":["https://openalex.org/I154570441"],"apc_list":null,"apc_paid":null,"fwci":0.5938,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.7308552,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"85","last_page":"93"},"is_retracted":false,"is_paratext":false,"is_xpac":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.9986000061035156,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9825000166893005,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/computer-science","display_name":"Computer science","score":0.8136347532272339},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.7577912211418152},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.7500971555709839},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.7063570022583008},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5760596990585327},{"id":"https://openalex.org/keywords/artifact-centric-business-process-model","display_name":"Artifact-centric business process model","score":0.5284777879714966},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.49759581685066223},{"id":"https://openalex.org/keywords/business-process-discovery","display_name":"Business process discovery","score":0.493866503238678},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.4915855824947357},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.484220027923584},{"id":"https://openalex.org/keywords/business-logic","display_name":"Business logic","score":0.47452986240386963},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.4727659523487091},{"id":"https://openalex.org/keywords/business-process-management","display_name":"Business process management","score":0.4726095497608185},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.47209471464157104},{"id":"https://openalex.org/keywords/business-rule","display_name":"Business rule","score":0.4332696795463562},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4218537211418152},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.41887426376342773},{"id":"https://openalex.org/keywords/business-process-model-and-notation","display_name":"Business Process Model and Notation","score":0.41578441858291626},{"id":"https://openalex.org/keywords/process-modeling","display_name":"Process modeling","score":0.41158172488212585},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2540062963962555},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.20383253693580627},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1957501769065857},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.19181108474731445},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14327499270439148}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8136347532272339},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.7577912211418152},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.7500971555709839},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.7063570022583008},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5760596990585327},{"id":"https://openalex.org/C162754035","wikidata":"https://www.wikidata.org/wiki/Q17006331","display_name":"Artifact-centric business process model","level":5,"score":0.5284777879714966},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.49759581685066223},{"id":"https://openalex.org/C93453677","wikidata":"https://www.wikidata.org/wiki/Q1017580","display_name":"Business process discovery","level":5,"score":0.493866503238678},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.4915855824947357},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.484220027923584},{"id":"https://openalex.org/C146222976","wikidata":"https://www.wikidata.org/wiki/Q1204997","display_name":"Business logic","level":2,"score":0.47452986240386963},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.4727659523487091},{"id":"https://openalex.org/C80309976","wikidata":"https://www.wikidata.org/wiki/Q7007379","display_name":"Business process management","level":4,"score":0.4726095497608185},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.47209471464157104},{"id":"https://openalex.org/C11066294","wikidata":"https://www.wikidata.org/wiki/Q1518244","display_name":"Business rule","level":4,"score":0.4332696795463562},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4218537211418152},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.41887426376342773},{"id":"https://openalex.org/C179299601","wikidata":"https://www.wikidata.org/wiki/Q1017605","display_name":"Business Process Model and Notation","level":5,"score":0.41578441858291626},{"id":"https://openalex.org/C76956256","wikidata":"https://www.wikidata.org/wiki/Q27610560","display_name":"Process modeling","level":3,"score":0.41158172488212585},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2540062963962555},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.20383253693580627},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1957501769065857},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.19181108474731445},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14327499270439148},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"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/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3297280.3297291","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3297280.3297291","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.4099999964237213}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W166417490","https://openalex.org/W168941263","https://openalex.org/W194224636","https://openalex.org/W279525992","https://openalex.org/W1486089982","https://openalex.org/W1534945117","https://openalex.org/W1553574558","https://openalex.org/W1570265525","https://openalex.org/W1584406589","https://openalex.org/W1704218983","https://openalex.org/W1861030581","https://openalex.org/W1861751335","https://openalex.org/W1973673174","https://openalex.org/W1980634162","https://openalex.org/W1991733014","https://openalex.org/W2012670464","https://openalex.org/W2060511478","https://openalex.org/W2079815456","https://openalex.org/W2087103691","https://openalex.org/W2103057263","https://openalex.org/W2115309705","https://openalex.org/W2116552584","https://openalex.org/W2130273205","https://openalex.org/W2131967717","https://openalex.org/W2174443976","https://openalex.org/W2175092431","https://openalex.org/W2325003504","https://openalex.org/W2499406820","https://openalex.org/W2510961928","https://openalex.org/W2741823613","https://openalex.org/W2785156082","https://openalex.org/W2913036292","https://openalex.org/W4230201548"],"related_works":["https://openalex.org/W142537396","https://openalex.org/W93556318","https://openalex.org/W2097616329","https://openalex.org/W2479849232","https://openalex.org/W2048424351","https://openalex.org/W4300427051","https://openalex.org/W2397112530","https://openalex.org/W4312816458","https://openalex.org/W2380911287","https://openalex.org/W2092212613"],"abstract_inverted_index":{"Business":[0,20],"processes":[1,21],"(workflows)":[2],"are":[3],"typically":[4],"the":[5,63,87,92,104,129,135],"compositions":[6],"of":[7,65,78,86,106,131,137],"services":[8],"(activities":[9],"and":[10,12,29,33,75,102,119,123,147],"tasks)":[11],"play":[13],"a":[14,69,72,76,97,114,125],"key":[15],"role":[16],"in":[17],"every":[18],"enterprise.":[19],"need":[22],"to":[23,26,31,42,99,116,127],"be":[24],"changed":[25],"react":[27],"quickly":[28],"adequately":[30],"internal":[32],"external":[34],"events.":[35],"Moreover,":[36],"each":[37],"business":[38,70,108],"process":[39,89],"is":[40],"required":[41],"satisfy":[43,90],"certain":[44],"desirable":[45],"properties":[46],"such":[47],"as":[48],"soundness,":[49],"consistency,":[50],"or":[51],"some":[52],"user-defined":[53],"linear":[54],"temporal":[55],"logic":[56],"(LTL)":[57],"constraints.":[58,94],"This":[59],"paper":[60],"focuses":[61],"on":[62,134],"verification":[64,138],"evolving":[66,107],"processes:":[67],"given":[68,93],"process,":[71],"change":[73],"operation,":[74],"set":[77],"LTL":[79],"constraints,":[80],"check":[81,101],"whether":[82],"all":[83,91],"execution":[84],"sequences":[85],"evolved":[88],"We":[95],"propose":[96],"technique":[98],"incrementally":[100],"verify":[103],"constraints":[105],"processes.":[109],"Furthermore,":[110],"we":[111],"develop":[112],"VIEW,":[113],"framework":[115],"model,":[117],"change,":[118],"VerIfy":[120],"Evolving":[121],"Workflows":[122],"conduct":[124],"study":[126],"evaluate":[128],"effect":[130],"workflow":[132],"characteristics":[133],"performance":[136,146],"approaches.":[139],"Experiments":[140],"reveal":[141],"several":[142],"interesting":[143],"factors":[144],"concerning":[145],"scalability.":[148]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2019-05-09T00:00:00"}