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:
$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
Table of Contents
Foreword
Olov Forsgren
Preface
Peter Rittgen
Acknowledgments
Peter Rittgen
Chapter 1
Lars Baekgaard
This chapter presents an extension that makes UML better suited for business activity modeling. We extend UML’s activity diagrams with events in... Sample PDF
Extending UML to Support Business Activity Modeling
$37.50
Chapter 2
Pablo David Villarreal, Enrique Salomone, Omar Chiotti
This chapter describes the application of MDA (Model-Driven Architecture) and UML for the modeling and specification of collaborative business... Sample PDF
Modeling and Specification of Collaborative Business Processes with a MDS Approach and a UML Profile
$37.50
Chapter 3
Anna Medve
This chapter introduces the User Requirements Notation (URN) standardized formal methods and its joint use with Unified Modeling Language (UML) in... Sample PDF
Enterprise modeling with the Joint Use of User Requirements Notation and UML
$37.50
Chapter 4
Pedro Sousa, Artur Caetano, André Vasconcelos, Carla Pereira, José Tribolet
Organizations make extensive use of information systems to support planning, decision making, controlling and to leverage competitive advantage.... Sample PDF
Enterprise Architecture Modeling with the Unified Modeling Language
$37.50
Chapter 5
Stefan Dietze
This chapter introduces a conceptual metamodel which enables the assessment and semi-formal modeling of business processes in the domain of software... Sample PDF
Adaptation of the UML to Formalized Software Development Process Assessment and Modeling- Dedicated Metamodel and Case Study
$37.50
Chapter 6
Sandy Tyndale-Biscoe, Antonio Vallecillo, Bryan Wood
RM-ODP is a standard defining a framework for the specification of large distributed systems that is based on solid foundations, and that defines... Sample PDF
Enterprise Modeling with ODP and UML
$37.50
Chapter 7
Peter Rittgen
The Language-Action Perspective provides a communicative view on the organization. In it an organization is characterized as a system of interacting... Sample PDF
A Language-Action Approach to the Design of UML Models
$37.50
Chapter 8
andra Haraldson, Mikael Lind, Jan Loausson
Business modeling is concerned with asking questions and giving answers to these questions. In systems development different types of diagrams... Sample PDF
Using UML Notation for Modeling Business Interaction
$37.50
Chapter 9
Peter Fettke, Peter Loos, Jörg Zwicker
Within the Information Systems field, information modeling is a vital instrument to develop information systems. However, the modeling process is... Sample PDF
Using UML for Reference Modeling
$37.50
Chapter 10
Kamyar Sarshar, Peter Loos
Given that business processes are performed in an organizational context, it is essential that process modeling notations provide proper mechanisms... Sample PDF
Modeling the Resource Perspective of Business Processes by UML Activity Diagram and Object Petri Net
$37.50
Chapter 11
Herman Balsters
Businesses can change their business structure by merging with other companies or, on the other end of the spectrum, by smoothly outsourcing some of... Sample PDF
Merging and Outsourcing Information Systems with UML
$37.50
Chapter 12
András Pataricza, András Balogh, Lazlos Gonczy
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... Sample PDF
Verification and Validation of Nonfunctional Aspects in Enterprise Modeling
$37.50
About the Authors