Improving Scalability of Model Checking Software Architectures

Name: Improving Scalability of Model Checking Software Architectures
Brand: VDM Verlag
SKU: 9783639101423
Price: 47.35 EUR
Availability: InStock

A Thesis on Model Checking and Transformation Method to Improve Analysis of Software Architectures in UML

Autor: Bosah Chukwuogo

Jazyk:

Väzba: Brožovaná

Vydavateľ: VDM Verlag

Dostupnosť: Skladom u dodávateľa

Odosielame za 9-15 dní

47.35 €

This thesis presents a methodology that shows how§abstraction can be considered during model§transfo...

Informácie o knihe

Autor

Bosah Chukwuogo

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2008

Stránok

EAN

9783639101423

ISBN

3639101421

Enbook ID

06819140

Vydavateľ

VDM Verlag

Hmotnosť

141

Rozmery

152 x 229 x 5

Kompletný popis

This thesis presents a methodology that shows how§abstraction can be considered during model§transformation to reduce the resulting Color Petri§Net (CPN) state space while preserving the expected§behavior of the software. Detailed descriptions of§the transformation process from UML model to CPN§model for software architectures of application§systems are presented as well as two case studies -§Automated Teller Machine (ATM) system and Elevator§system. The state spaces generated during analysis of§each case study are presented, and the practical§feasibility of this methodology is described using§results of each case study.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Improving Scalability of Model Checking Software Architectures

A Thesis on Model Checking and Transformation Method to Improve Analysis of Software Architectures in UML

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež