Personal tools
You are here: Home Knowledge Model REPOSITORY of Terms A Assumption-based Verification

Assumption-based Verification

by Asli Zengin last modified Apr 26, 2012 15:57
— 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)




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

 

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

 


Document Actions
  • Send this
  • Print this
  • Bookmarks

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