Personal tools
You are here: Home Knowledge Model REPOSITORY of Terms R Runtime Verification

Runtime Verification

by Asli Zengin last modified Apr 26, 2012 11:42
— filed under:

Definitions

Term:
term
Domain: Cross-cutting issues
Engineering and Design
(KM-ED)
Adaptation and Monitoring
(KM-AM)
Quality Definition, Negotiation and Assurance
(KM-QA)
Generic
(domain independent)
D
o
m
a
i
n
:
L
a
y
e
r
s

Business Process Management
(KM-BPM)



Runtime veriifcation encompasses the tracking of particular event patterns in the executions of individual processes or in the interaction between different processes, as well as the provision of statistics on the performance of some processes or the whole system [Beeri et al., 2007].
Service Composition and Coordination
(KM-SC)

If a violation of an assumption is detected by monitoring, it is needed to determine whether this violation actually leads to a failure in the SBA. To evaluate such failures, formal verification techniques are benefited at run-time. An adaptation is necessary if the verification fails. [Gehlert et al, 2010]

Service Infrastructure
(KM-SI)




Generic
(domain independent)




 

Competencies

  • N/A

 

 

References

  • [Gehlert et al, 2010] A. Gehlert, A. Bucchiarone, R. Kazhamiakin, A. Metzger, M. Pistore, and K. Pohl. Exploiting assumption-based verification for the adaptation of service-based applications. In Proceedings of the 25th Annual ACM Symposium on Applied Computing, Track on Service Oriented Architectures and Programming, Sierre, Switzerland, March 2010.
  • [Beeri et al., 2007] Beeri, C., Eyal, A., Milo, T., Pilberg, A. Monitoring Business Processes with Queries.  In VLDB, pp. 603-614, Austria, 2007.

Document Actions
  • Send this
  • Print this
  • Bookmarks

The Plone® CMS — Open Source Content Management System is © 2000-2017 by the Plone Foundation et al.