Bosah Chukwuogo

Improving Scalability of Model Checking Software Architectures

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

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Verlag: VDM Verlag Dr. Müller
• Seitenzahl: 96
• Englisch
• Abmessung: 220mm
• Gewicht: 142g
• ISBN-13: 9783639101423
• ISBN-10: 3639101421
• Artikelnr.: 25547673

Autorenporträt

Bosah Chukwuogo is currently a software engineer at Amazon.com
Inc. Previously, he was a graduate student at Texas Tech
University computer science department where his research focused
on the scalability of model checking and transformation for
formal software verification. He earned a BS in Elec. Engr and
Comp Sci. and MS in Software Engineering.