Welcome to the InfoSci Platform
Reference Hub1
Verification and Validation of Nonfunctional Aspects in Enterprise Modeling

Verification and Validation of Nonfunctional Aspects in Enterprise Modeling

András Pataricza, András Balogh, Lazlos Gonczy
Copyright: © 2007 |Pages: 42
ISBN13: 9781599041742|ISBN10: 159904174X|ISBN13 Softcover: 9781599041759|EISBN13: 9781599041766
DOI: 10.4018/978-1-59904-174-2.ch012
Cite Chapter Cite Chapter

MLA

Pataricza, András, et al. "Verification and Validation of Nonfunctional Aspects in Enterprise Modeling." Enterprise Modeling and Computing with UML, edited by Peter Rittgen, IGI Global, 2007, pp. 257-298. https://doi.org/10.4018/978-1-59904-174-2.ch012

APA

Pataricza, A., Balogh, A., & Gonczy, L. (2007). Verification and Validation of Nonfunctional Aspects in Enterprise Modeling. In P. Rittgen (Ed.), Enterprise Modeling and Computing with UML (pp. 257-298). IGI Global. https://doi.org/10.4018/978-1-59904-174-2.ch012

Chicago

Pataricza, András, András Balogh, and Lazlos Gonczy. "Verification and Validation of Nonfunctional Aspects in Enterprise Modeling." In Enterprise Modeling and Computing with UML, edited by Peter Rittgen, 257-298. Hershey, PA: IGI Global, 2007. https://doi.org/10.4018/978-1-59904-174-2.ch012

Export Reference

Mendeley
Favorite

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.