UML Profile for Communicating Systems

Werner, Constantin

A New UML Profile for the Specification and Description of Internet Communication and Signaling Protocols

dc.contributor.advisor	Hogrefe, Dieter Prof. Dr.	de
dc.contributor.author	Werner, Constantin	de
dc.date.accessioned	2007-04-24T15:26:59Z	de
dc.date.accessioned	2013-01-18T13:19:33Z	de
dc.date.available	2013-01-30T23:50:41Z	de
dc.date.issued	2007-04-24	de
dc.identifier.uri	http://hdl.handle.net/11858/00-1735-0000-0006-B38D-3	de
dc.identifier.uri	http://dx.doi.org/10.53846/goediss-2449
dc.description.abstract	Die vorliegende Dissertation beschreibt ein neues Unified Modeling Language 2 (UML) Profil für kommunizierende Systeme. Es ermöglicht die eindeutige und ausführbare Spezifikation und Beschreibung von Kommunikations- und Signalisierungsprotokollen mittels der UML speziell für das Internet. Dadurch können Spezifikationen bereits vor der Implementation analysiert, simuliert und validiert werden. Das Profil basiert auf der gesammelten Erfahrung und den Sprachkonzepten der Specification and Description Language (SDL). Im Gegensatz zu anderen Profildefinitionen benutzt dieses Profil formal beschriebene Einschränkungen zur Definition des Profils und zur Spezifikation von Abbildungsregeln nach SDL. Dies ermöglicht ein automatisiertes Überprüfen auf Korrektheit der Abbildung. Es unterstützt erweiterte Sprachkonzepte, die speziell zur Beschreibung von Internetprotokollen ausgerichtet sind, für die SDL nur eingeschränkt oder aufwändig verwendbar ist. Des Weiteren definiert das Profil spezielle Erweiterungspunkte, um neben SDL noch weitere Abbildungen auf andere formale Beschreibungstechniken zu ermöglichen. Durch die Unterstützung von mehreren konkreten Darstellungsmöglichkeiten eines Modells kann das Profil mit einer Vielzahl von UML 2 kompatiblen Modellierungswerkzeugen eingesetzt werden. Zusätzlich ist eine Implementation entwickelt worden, die es erlaubt, ein vorliegendes UML 2-Modell in eine vollständige textuelle SDL Struktur- und Verhaltensbeschreibung zu übersetzen.	de
dc.format.mimetype	application/pdf	de
dc.language.iso	eng	de
dc.rights.uri	http://webdoc.sub.gwdg.de/diss/copyr_diss.html	de
dc.title	UML Profile for Communicating Systems	de
dc.title.alternative	A New UML Profile for the Specification and Description of Internet Communication and Signaling Protocols	de
dc.type	doctoralThesis	de
dc.title.translated	UML Profil für kommunizierende Systeme	de
dc.contributor.referee	Grabowski, Jens Prof. Dr.	de
dc.date.examination	2006-10-30	de
dc.subject.dnb	004 Informatik	de
dc.description.abstracteng	This thesis presents a new Unified Modeling Language 2 (UML) profile for communicating systems. It is developed for the unambiguous, executable specification and description of communication and signaling protocols for the Internet. This profile allows to analyze, simulate and validate a communication protocol specification in the UML before its implementation. This profile is driven by the experience and intelligibility of the Specification and Description Language (SDL) for telecommunication protocol engineering. However, as shown in this thesis, SDL is not optimally suited for specifying communication protocols for the Internet due to their diverse nature. Therefore, this profile features new high-level language concepts rendering the specification and description of Internet protocols more intuitively while abstracting from concrete implementation issues. Due to its support of several concrete notations, this profile is designed to work with a number of UML compliant modeling tools. In contrast to other proposals, this profile binds the informal UML semantics with many semantic variation points by defining formal constraints for the profile definition and providing a mapping specification to SDL by the Object Constraint Language. In addition, the profile incorporates extension points to enable mappings to many formal description languages including SDL. To demonstrate the usability of the profile, a case study of a concrete Internet signaling protocol is presented. Furthermore, a proof-of-concept implementation for the generation of full behavioral and structural SDL design specifications from UML models has been developed.	de
dc.title.alternativeTranslated	Ein neues UML Profil für die Spezifikation und Beschreibung von Internetkommunikations- und Signalisierungsprotokollen	de
dc.subject.topic	Mathematics and Computer Science	de
dc.subject.ger	UML	de
dc.subject.ger	UML Profil	de
dc.subject.ger	SDL	de
dc.subject.ger	Protokollengineering	de
dc.subject.ger	Internet	de
dc.subject.ger	Formale Beschreibungstechnik	de
dc.subject.eng	UML	de
dc.subject.eng	UML Profile	de
dc.subject.eng	SDL	de
dc.subject.eng	Protocol Engineering	de
dc.subject.eng	Internet	de
dc.subject.eng	Formal Description Technique	de
dc.subject.bk	54.32	de
dc.subject.bk	54.51	de
dc.identifier.urn	urn:nbn:de:gbv:7-webdoc-1456-2	de
dc.identifier.purl	webdoc-1456	de
dc.affiliation.institute	Fakultät für Mathematik und Informatik	de
dc.subject.gokfull	AH	de
dc.identifier.ppn	531874389

Dateien

Name:werner.pdf

Größe:2.768Mb

Format:PDF

Beschreibung:Dissertation

Öffnen

Name:: werner.pdf
Größe:: 2.768Mb
Format:: PDF
Beschreibung:: Dissertation

Öffnen

Das Dokument erscheint in:

Fakultät für Mathematik und Informatik (inkl. GAUSS) [519]

Zur Kurzanzeige