Please use this identifier to cite or link to this item: http://repositorio.lnec.pt:8080/jspui/handle/123456789/1006727
Title: Framework for Verification of Preserved and Redeployed Processes
Authors: Miksa, T.
Pröll, S.
Mayer, R.
Strodl, S.
Vieira, R. J. C.
Barateiro, J.
Rauber, A.
Keywords: Business processes;Verification;Ontology
Issue Date: Sep-2013
Publisher: BNP
Abstract: Preserving processes requires not only the identification of all process components, but also the interception of all interactions of the process with the external influencers. In order to verify if the collected data is sufficient for the purpose of redeployment, as well as to verify that the redeployed process performs according to expectations, a framework for verification is needed. This paper presents a framework for verification of preserved and redeployed processes. We demonstrate the applicability of the framework on an use case from the eScience domain. The preservation and the redeployment of the eScience process is tested by migrating it to substantially different environments.
URI: http://repositorio.lnec.pt:8080/jspui/handle/123456789/1006727
Appears in Collections:CD/NTIEC - Comunicações a congressos e artigos de revista

Files in This Item:
File Description SizeFormat 
Framework for Verification of Preserved and Redeployed Processes.pdfDocumento principal198.27 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.