Chukwuogo Bosah: Improving Scalability of Model Checking Sof A Thesis on Model Checking and Transformation Method to Improve Analysis of Software Architectures in UML
-
- Deutsch ausgewählt
Fr. 69.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
25.10.2013
Verlag
VDMSeitenzahl
96
Maße (L/B/H)
22/15/0.6 cm
Gewicht
142 g
Sprache
Deutsch
ISBN
978-3-639-10142-3
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.
Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung