Runtime Verification
by
Asli Zengin
—
last modified
Apr 26, 2012 11:42
—
filed under:
KnowledgeModel
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.