Verification and Validation of Nonfunctional Aspects in Enterprise Modeling

Verification and Validation of Nonfunctional Aspects in Enterprise Modeling

András Pataricza (Budapest University of University of Technology and Econmics, Hungary), András Balogh (Budapest University of University of Technology and Econmics, Hungary) and Lazlos Gonczy (Budapest University of University of Technology and Econmics, Hungary)
Copyright: © 2007 |Pages: 42
DOI: 10.4018/978-1-59904-174-2.ch012
OnDemand PDF Download:
$30.00
List Price: $37.50

Abstract

This chapter introduces the main notions related to the dependability of applications in a self-contained way in order to bring the topic near to non-experts, the modeling aspects including requirement formulation in UML, the evolving UML profiles, design patterns for the best practice and basic means for testing and formal methods based validation and verification of designs. We also introduce a method that relies on the introduced standards and model transformation techniques that allows the QoS-driven optimization of enterprise systems architecture. The methods and techniques are illustrated with practical example models and problems.

Complete Chapter List

Search this Book:
Reset