Improving Scalability of Model Checking Software Architectures
A Thesis on Model Checking and Transformation Method to Improve Analysis of Software Architectures in UML
Versandkostenfrei!
Versandfertig in 6-10 Tagen
32,99 €
inkl. MwSt.
PAYBACK Punkte
16 °P sammeln!
This thesis presents a methodology that shows howabstraction can be considered during modeltransformation to reduce the resulting Color PetriNet (CPN) state space while preserving the expectedbehavior of the software. Detailed descriptions ofthe transformation process from UML model to CPNmodel for software architectures of applicationsystems are presented as well as two case studies -Automated Teller Machine (ATM) system and Elevatorsystem. The state spaces generated during analysis ofeach case study are presented, and the practicalfeasibility of this methodology is described usingresults of ...
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.
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.
Andere Kunden interessierten sich für
