Improving Scalability of Model Checking Software Architectures: A Thesis on Model Checking and Transformation Method to Improve Analysis of Software Architectures in UML - Softcover

Chukwuogo, Bosah

 
9783639101423: Improving Scalability of Model Checking Software Architectures: A Thesis on Model Checking and Transformation Method to Improve Analysis of Software Architectures in UML
Softcover
ISBN 10: 3639101421 ISBN 13: 9783639101423
Verlag: VDM Verlag Dr. Müller, 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
VDM Verlag Dr. Müller
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3639101421
ISBN 13 
9783639101423
Einband
Taschenbuch
Anzahl der Seiten
96
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Zeitfracht Medien GmbH
info-medien@zeitfracht.de

Ferdinand-Jühlke-Straße 7
Erfurt
99095
Deutschland