Verification
by
Kyriakos Kritikos
—
last modified
Apr 26, 2012 15:30
—
filed under:
KnowledgeModel
Definition of the term Verification
Definitions
Term: Verification |
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) |
|||||
Service Infrastructure (KM-SI) |
|||||
Generic (domain independent) |
The main aim of verification is to check that a system
meets some properties. These are sometimes generic, as termination,
absence of deadlocks or starvation, temporal ordering of actions (e.g.,
making sure X is always done before Y ), and sometimes these are
related to an intended behavior which has been stated in a previous
design stage. [PO-JRA-2.2.1][Wikipedia] |
Competencies
- UniDue: Quality Assurance; http://www.sse.uni-due.de/wms/en/?go=111;
Klaus Pohl, Andreas Metzger
- FBK: Service-Oriented Applications;http://soa.fbk.eu/research.php; Marco Pistore, Antonio Bucchiarone, Raman Kazhamiakin
- UPM: Static Analysis. Abstract
Interpretation, Resource Analysis; http://clip.dia.fi.upm.es; Manuel
Carro, Manuel Hermenegido, Julio Mariño
- INRIA: Testing;http://www.irisa.fr/triskell/perso_pro/bbaudry/; Benoit Baudry
- UCBL: Formal Verification; http://liris.cnrs.fr/bd/; Mohsen
Rouached, Salima Benbernou, Mohand-Said Hacid
References
- [PO-JRA-2.2.1] "State-of-the-Art in Composition and Coordination of
Service"
- [Wikipedia] http://en.wikipedia.org/wiki/Verification_and_validation