transparent gif

 

Ej inloggad.

Göteborgs universitets publikationer

Supporting the Co-adaption of Process Properties

Författare och institution:
Djamel Eddine Khelladi (-); Reda Bendraou (-); Regina Hebig (Institutionen för data- och informationsteknik (GU)); Marie-Pierre Gervais (-)
Publicerad i:
Proceedings of the International Conference on Software and Systems Process (ICSSP), s. 1-5
ISBN:
978-1-4503-4188-2
Publikationstyp:
Konferensbidrag, refereegranskat
Publiceringsår:
2016
Språk:
engelska
Sammanfattning (abstract):
Process verification 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. When a process is adapted, the existing properties must naturally be re-checked to ensure that no errors have been introduced. However, the properties may become outdated and must be co-adapted w.r.t. the adapted process before to be re-checked. Otherwise, the verification may raise false alarms or may not detect newly introduced errors. In this paper, we propose a co-adaptation approach for control-flow process properties. We systematically studied control-flow process changes 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 co-adapting impacted properties.
Ämne (baseras på Högskoleverkets indelning av forskningsämnen):
NATURVETENSKAP ->
Data- och informationsvetenskap
TEKNIK OCH TEKNOLOGIER ->
Elektroteknik och elektronik ->
Datorsystem
Chalmers styrkeområden:
Informations- och kommunikationsteknik
Postens nummer:
238060
Posten skapad:
2016-06-21 15:51
Posten ändrad:
2016-09-19 09:06

Visa i Endnote-format

Göteborgs universitet • Tel. 031-786 0000
© Göteborgs universitet 2007