To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Coadapting multidimension… - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Coadapting multidimension process properties

Conference paper
Authors Djamel Eddine Khelladi
Reda Bendraou
Regina Hebig
Marie Pierre Gervais
Published in Journal of Software: Evolution and Process, 29 (11)
Publication year 2017
Published at Institutionen för data- och informationsteknik, Software Engineering (GU)
Language en
Links doi.org/10.1002/smr.1860
Keywords Adaptation, Coadaptation, Control flow, Object flow, Process, Properties, Resources, Timing
Subject categories Software Engineering

Abstract

© 2017 John Wiley & Sons, Ltd. 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.

Page Manager: Webmaster|Last update: 9/11/2012
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?