Analytical Quality Assurance

by Benedikt Liegener — last modified Jul 08, 2011 14:18

— filed under: KnowledgeModel

Definitions

Term: Analytical Quality Assurance		Domain: Cross-cutting issues
Term: Analytical Quality Assurance		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)
	Service Infrastructure (KM-SI)
	Generic (domain independent)			The goal of Analytical Quality Assurance techniques and methods is to uncover faults in the artifacts after they have been created. Examples for analytical quality assurance techniques are reviews and inspections, formal correctness proofs, testing, as well as monitoring. [PO-JRA-1.3.1]

UniDue: Quality Assurance; http://www.sse.uni-due.de/wms/en/?go=111; Klaus Pohl, Andreas Metzger
POLIMI: Web service retrieval, flexible and self-healing web services and context-aware invocation; http://home.dei.polimi.it/pernici/ws-research.html; Barbara Pernici, Maria Grazia Fugini, Filippo Ramoni
FBK: Service-Oriented Applications; http://soa.fbk.eu/research.php; Marco Pistore, Antonio Bucchiarone, Raman Kazhamiakin
UPM: Static Analysis, Resource Analysis; http://clip.dia.fi.upm.es ; Manuel Hermenegildo, Manuel Carro

TBD

[PO-JRA-1.3.1] Survey of quality related aspects relevant for SBAs, 2008
M.G. Fugini, B. Pernici, F. Ramoni, Quality analysis of composed services through fault injection, Information Systems Frontiers, 2008
Cinzia Cappiello, Kyriakos Kritikos, Andreas Metzger, Michael Parkin, Barbara Pernici, Pierluigi Plebani, and Martin Treiber, A quality model for service monitoring and adaptation, Workshop on Monitoring, Adaptation and Beyond at ServiceWave Conference, Madrid, Dec. 2008
C. Cappiello, B. Pernici, Quality-aware design of repairable processes, Int. Conf. on Information Quality, ICIQ, Boston, Nov. 2008