Matches in SemOpenAlex for { <https://semopenalex.org/work/W2600504656> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2600504656 endingPage "e1860" @default.
- W2600504656 startingPage "e1860" @default.
- W2600504656 abstract "In the last decades, process verification has been intensively addressed and has become an essential activity to correct and to remove errors before process execution. Typical process verification ecosystems propose to express properties to be verified on the process. A property expresses a desired behavior that must hold or not in the process execution. Processes during their lifespan are continuously adapted for several purposes: enriching, correcting, and refactoring the process. When a process is adapted, the existing properties must naturally be rechecked to ensure that no errors have been introduced, ie, the properties still hold. However, the properties may become outdated and must be coadapted w.r.t. the adapted process before to be rechecked. Otherwise, the verification may raise false alarms or may not detect newly introduced errors. In this paper, we propose a coadaptation approach of properties while considering process adaptation for the different dimensions, namely, control flow, object flow, resources, and timing. We systematically studied process changes in the multiple dimensions to identify those that do impact properties and for which we propose resolution strategies. Our preliminary evaluation shows that our resolutions strategies allow to support users in correctly coadapting impacted properties." @default.
- W2600504656 created "2017-04-07" @default.
- W2600504656 creator A5001063114 @default.
- W2600504656 creator A5017449010 @default.
- W2600504656 creator A5046915611 @default.
- W2600504656 creator A5050106145 @default.
- W2600504656 date "2017-03-24" @default.
- W2600504656 modified "2023-10-03" @default.
- W2600504656 title "Coadapting multidimension process properties" @default.
- W2600504656 cites W1527879496 @default.
- W2600504656 cites W1529819520 @default.
- W2600504656 cites W1586271055 @default.
- W2600504656 cites W1815267001 @default.
- W2600504656 cites W194781928 @default.
- W2600504656 cites W1974906941 @default.
- W2600504656 cites W198656818 @default.
- W2600504656 cites W2021893898 @default.
- W2600504656 cites W2032883016 @default.
- W2600504656 cites W2056650879 @default.
- W2600504656 cites W2057339615 @default.
- W2600504656 cites W2102829973 @default.
- W2600504656 cites W2105848112 @default.
- W2600504656 cites W2107271943 @default.
- W2600504656 cites W2113782458 @default.
- W2600504656 cites W2120450154 @default.
- W2600504656 cites W2123461755 @default.
- W2600504656 cites W2131967717 @default.
- W2600504656 cites W2138447175 @default.
- W2600504656 cites W2142330806 @default.
- W2600504656 cites W2154477666 @default.
- W2600504656 cites W2166710516 @default.
- W2600504656 cites W2296513345 @default.
- W2600504656 cites W2417062495 @default.
- W2600504656 cites W2464034009 @default.
- W2600504656 cites W26713555 @default.
- W2600504656 cites W2911625174 @default.
- W2600504656 cites W4239656522 @default.
- W2600504656 doi "https://doi.org/10.1002/smr.1860" @default.
- W2600504656 hasPublicationYear "2017" @default.
- W2600504656 type Work @default.
- W2600504656 sameAs 2600504656 @default.
- W2600504656 citedByCount "0" @default.
- W2600504656 crossrefType "journal-article" @default.
- W2600504656 hasAuthorship W2600504656A5001063114 @default.
- W2600504656 hasAuthorship W2600504656A5017449010 @default.
- W2600504656 hasAuthorship W2600504656A5046915611 @default.
- W2600504656 hasAuthorship W2600504656A5050106145 @default.
- W2600504656 hasConcept C111472728 @default.
- W2600504656 hasConcept C120314980 @default.
- W2600504656 hasConcept C120665830 @default.
- W2600504656 hasConcept C121332964 @default.
- W2600504656 hasConcept C138885662 @default.
- W2600504656 hasConcept C139807058 @default.
- W2600504656 hasConcept C152752567 @default.
- W2600504656 hasConcept C160191386 @default.
- W2600504656 hasConcept C189950617 @default.
- W2600504656 hasConcept C199360897 @default.
- W2600504656 hasConcept C2777904410 @default.
- W2600504656 hasConcept C41008148 @default.
- W2600504656 hasConcept C98045186 @default.
- W2600504656 hasConceptScore W2600504656C111472728 @default.
- W2600504656 hasConceptScore W2600504656C120314980 @default.
- W2600504656 hasConceptScore W2600504656C120665830 @default.
- W2600504656 hasConceptScore W2600504656C121332964 @default.
- W2600504656 hasConceptScore W2600504656C138885662 @default.
- W2600504656 hasConceptScore W2600504656C139807058 @default.
- W2600504656 hasConceptScore W2600504656C152752567 @default.
- W2600504656 hasConceptScore W2600504656C160191386 @default.
- W2600504656 hasConceptScore W2600504656C189950617 @default.
- W2600504656 hasConceptScore W2600504656C199360897 @default.
- W2600504656 hasConceptScore W2600504656C2777904410 @default.
- W2600504656 hasConceptScore W2600504656C41008148 @default.
- W2600504656 hasConceptScore W2600504656C98045186 @default.
- W2600504656 hasIssue "11" @default.
- W2600504656 hasLocation W26005046561 @default.
- W2600504656 hasLocation W26005046562 @default.
- W2600504656 hasOpenAccess W2600504656 @default.
- W2600504656 hasPrimaryLocation W26005046561 @default.
- W2600504656 hasRelatedWork W129772185 @default.
- W2600504656 hasRelatedWork W1571518467 @default.
- W2600504656 hasRelatedWork W1596201972 @default.
- W2600504656 hasRelatedWork W1948541244 @default.
- W2600504656 hasRelatedWork W2020291234 @default.
- W2600504656 hasRelatedWork W2160425906 @default.
- W2600504656 hasRelatedWork W2557652470 @default.
- W2600504656 hasRelatedWork W2600504656 @default.
- W2600504656 hasRelatedWork W2768661791 @default.
- W2600504656 hasRelatedWork W87991986 @default.
- W2600504656 hasVolume "29" @default.
- W2600504656 isParatext "false" @default.
- W2600504656 isRetracted "false" @default.
- W2600504656 magId "2600504656" @default.
- W2600504656 workType "article" @default.