Имя:
Пароль:


a b c d e f g h i j k l m n o p q r s t u v w x y z    0 1 2 3 4 5 6 7 8 9 
а б в г д е ж з и й к л м н о п р с т у ф х ц ч ш щ ъ ы ь э ю я 

Скачать Formale Methodik des Entwurfs verteilter objektorientierter Systeme бесплатно


Bernhard Rumpe “Formale Methodik des Entwurfs verteilter objektorientierter Systeme"
Herbert Utz Verlag | 1996 | ISBN: 3896751492 | 262 pages | PDF | 1,26 MB


In dieser Arbeit wird eine formale Grundlage fr eine objektorientierte Methodik entwickelt. Zur Spezifikation von Struktur und Verhalten verteilter objektorientierter Systeme werden Beschreibungstechniken fr Objektmodelle, Klassen und Transitionssysteme definiert. Fr die zustandsbasierte Beschreibung nichtdeterministischen Komponentenverhaltens wird die Theorie buchstabierender Automaten entwickelt. Es werden eine konkrete Darstellungsform, eine abstrakte Syntax, eine denotationelle und eine operationelle Semantik angegeben und gezeigt, da beide Semantiken bereinstimmen. Fr buchstabierende Automaten wird ein Verfeinerungskalkl definiert, der zur Transformation von abstrakten in detaillierte Verhaltensbeschreibungen verwendet werden kann. Es wird gezeigt, da dieser Kalkl bezglich der Semantikdefinition korrekt ist. Der Kalkl wird fr die Spezialisierung und die Vererbung von Verhaltensbeschreibungen in verteilten objektorientierten Systemen eingesetzt. Ein Systemmodell charakterisiert eine Menge von verteilten objektorientierten Systemen, die aus asynchron kommunizierenden Agenten aufgebaut sind. Das Systemmodell dient als Basis fr die Definition einer integrierten, formalen Semantik fr die oben genannten Beschreibungstechniken. Methodische Entwicklungsschritte erlauben die Verfeinerung von Dokumenten dieser Beschreibungstechniken. Basierend auf der formalen Semantik der Verfeinerungsschritte werden przise Aussagen ber das Zusammenspiel der verwendeten Beschreibungstechniken definiert. Die Verbindung graphischer Beschreibungstechniken mit einer integrierten, formalen Semantik nutzt Synergieeffekte formaler und praxisorientierter Anstze der Softwaretechnik.



Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии в данной новости.
]