User: Guest  Login
Original title:
Verhaltensinvariante Transformation von Entwurfsmodellen Reaktiver Systeme 
Original subtitle:
Eine Adaption der Refactoring-Technik auf gezeitete Modelle unter Verwendung eines formalen Verhaltensäquivalenzbegriffs 
Translated title:
Behavior Preserving Transformation of Design Models of Reactive Systems 
Translated subtitle:
An Adaption of the Refactoring Technique on Timed Models by using a Formal Notion of Behavior Equivalence 
Year:
2006 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Broy, Manfred (Prof. Dr. Dr. h.c.) 
Referee:
Brügge, Bernd (Prof. Ph.D.) 
Format:
Text 
Language:
de 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
Refactoring; Entwurfsmodelle; Reaktive Systeme; formale Verhaltensäquivalenz 
Translated keywords:
refactoring; design models; reactive systems; formal behavior equivalence 
Controlled terms:
Reaktives System; Refactoring 
TUM classification:
DAT 310d; DAT 263d 
Abstract:
Refactoring ist eine Technik zur verhaltensinvarianten Restrukturierung von Programmcode mit dem Ziel der Verbesserung dessen Qualität. Diese Arbeit überträgt am Beispiel der Modellierungssprache AutoFocus die Refactoring-Technik auf die Ebene von Entwurfsmodellen Reaktiver Systeme unter Verwendung eines formalen Verhaltensäquivalenzbegriffs. Für gezeitete Modelle wird ein Äquivalenzbegriff für Schnittstellenverhalten unter Zeitabstraktion festgelegt. Die Eignung von zeitsynchronen und zeitasync...    »
 
Translated abstract:
Refactoring is a technique for restructuring program code to improve its quality. This work adapts refactoring to the layer of design models of reactive systems by using a formal notion of behavior equivalence. Therefore the modeling language AutoFocus is exemplary used. We define a notion of equivalence of interface behavior under time abstraction. The suitability of time synchronous and time asynchronous semantics for applying refactoring is examined. We define the property of time robustness...    »
 
Publication :
Universitätsbibliothek der Technischen Universität München 
Oral examination:
31.07.2006 
File size:
2323108 bytes 
Pages:
243 
Last change:
10.07.2007