Home // SERVICE COMPUTATION 2010, The Second International Conferences on Advanced Service Computing // View article
Authors:
Samir Sebahi
Mohand-Said Hacid
Keywords: monitoring; business process; business protocol; XPath; hybrid logic
Abstract:
Because it is never sure that a business process successfully tested or statistically checked will have the expected behaviour during its execution, it is necessary to bring verification to the execution phase, by continuously observing and checking the correct behaviour of business processes during run-time. In this paper, we propose a new monitoring framework to monitor business protocols. We provide a monitoring language called BPath, which is an XPath-based language for both expressing and checking temporal and hybrid logical properties at run-time, making visibility on business process external behaviour by expressing and evaluating statistical queries over execution traces.
Pages: 62 to 67
Copyright: Copyright (c) IARIA, 2010
Publication date: November 21, 2010
Published in: conference
ISSN: 2308-3549
ISBN: 978-1-61208-105-2
Location: Lisbon, Portugal
Dates: from November 21, 2010 to November 26, 2010