The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Verification and Validation of Nonfunctional Aspects in Enterprise Modeling
|
|
Author(s): 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
Source title:
Enterprise Modeling and Computing with UML
Source Author(s)/Editor(s): Peter Rittgen (University College Borås, Sweden)
DOI: 10.4018/978-1-59904-174-2.ch012
Purchase
|
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.
Related Content
|
Margee Hume, Paul Johnston.
© 2017.
19 pages.
|
|
Jessy Nair, D. Bhanu Sree Reddy.
© 2017.
27 pages.
|
|
Joseph R. Muscatello, Diane H. Parente, Matthew Swinarski.
© 2017.
19 pages.
|
|
Klaus Wölfel.
© 2017.
33 pages.
|
|
Rui Pedro Marques.
© 2017.
21 pages.
|
|
Ebru E. Saygili, Arikan Tarik Saygili.
© 2017.
17 pages.
|
|
Aparna Raman, D. P. Goyal.
© 2017.
41 pages.
|
|
|