Assumption-based Verification
by
Asli Zengin
—
last modified
Apr 26, 2012 15:57
—
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) |
||||
Service Composition and
Coordination (KM-SC) |
Assumption-based verification is an approach where explicitly encoded assumptions about the constituent service are used to define the behavior of the Service-Based Application (SBA) Context (i.e., that the constituent services will perform as expected). Based on those assumptions, formal Verification is used to assess whether the SBA requirements are satisfied and whether a violation of those assumptions during run-time leads to a violation of the SBA requirements. Thereby, the approach allows for (a) pro-actively deciding whether the SBA requirements will be violated based on monitored failures, and (b) identifying the specific root cause for the violated requirements. [Gehlert et al, 2010] [Schmieders, et al 2011] | ||||
Service Infrastructure (KM-SI) |
|||||
Generic (domain independent) |
Competencies
- UniDue: Quality Assurance; http://www.sse.uni-due.de/wms/en/?go=111; Klaus Pohl, Andreas Metzger, Eric Schmieders
-
Business Process Compliance management, http://www.tilburguniversity.nl/eriss/research/ , Amal Elgammal
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.
- [Schmieders et al, 2011] Schmieders, E. & Metzger, A.: Preventing Performance Violations of Service Compositions using Assumption-based Run-time Verification, ServiceWave, 2011