Please use this identifier to cite or link to this item: http://dx.doi.org/10.14279/depositonce-3404
For citation please use:
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorEhrig, Hartmuten
dc.contributor.authorModica, Tonyen
dc.date.accessioned2015-11-20T21:47:46Z-
dc.date.available2012-11-15T12:00:00Z-
dc.date.issued2012-11-15-
dc.date.submitted2012-11-15-
dc.identifier.uriurn:nbn:de:kobv:83-opus-37503-
dc.identifier.urihttp://depositonce.tu-berlin.de/handle/11303/3701-
dc.identifier.urihttp://dx.doi.org/10.14279/depositonce-3404-
dc.description.abstractKommunikationsbasierte Systeme, welche sich nach Menschen und deren Bedürfnissen orientieren, erlangten in den letzten Jahren immer größere Bedeutung und Interesse. Bislang gibt es allerdings keine angemessene umfassende Modellierungstechnik für diese Art von Kommunikationsplattformen, welche es erlauben würden, das Benutzerverhalten in derartigen Systemen formal zu modellieren, zu simulieren und zu validieren. In dieser Dissertation stellen wir eine geeignete Integration von algebraischen high-level Petrinetzen und high-level Ersetzungssystemen vor, um diese Lücke zu schließen. Von der theoretischen Seite her erfordert dies, eine Theorie algebraischer high-level Netze zu entwickeln, so dass einerseits die entsprechenden high-level Ersetzungssysteme den Eigenschaften M-adhesiver Transformationssysteme genügen und andererseits der Entwickler von Kommunikationsplattformen deren Schaltverhalten und regelbasierte Modifikation innerhalb eines Frameworks modellieren und analysieren kann. Von der konzeptuellen Seite her können wir nachweisen, dass typische Eigenschaften von Kommunikationsplattformen innerhalb dieses Frameworks unter Vewendung geeigneter Modellierungstechniken modelliert und validiert werden können, wie etwa Anrufe, Chats zwischen verschiedenen Benutzern, Konferenzen, Datenmulticasting, sowie Plattform-Constraints und andere. Dies demonstrieren wir anhand von Skype, welches uns durch die ganze Arbeit als Leitfaden, Beispiel und umfassende Fallstudie dient. Abschließend beschreiben wir die Entwicklung eines visuellen Werkzeugs für Kommunikations\-platt\-formen in Eclipse, welches den Entwickler beim Modellieren, Simulieren und Validieren unterstützt.de
dc.description.abstractHuman-centric communication-based systems, including social networks as Skype, Facebook, and Second Life, have been of increasing interest throughout the last years. Up to now, however, there are no adequate modeling techniques for this kind of communication platforms that would allow formal modeling, simulation, and validation of the user behavior. In this thesis, we propose a suitable integration of algebraic high-level Petri nets and high-level replacement systems, based on well-known graph transformation techniques, in order to close this gap. On the theoretical side, this requires to develop a theory of algebraic high-level nets with individual tokens, such that the corresponding high-level replacement systems satisfy the requirements of M-adhesive transformation systems and allow the platform designer to model and to analyze token-firing and rule-based modification within a single framework. On the conceptual side, we are able to show that typical features of communication platforms such as direct calls, multi-user chats, conferences, data multicasting, platform constraints and other requirements can be modeled and validated in this framework combining suitable modeling techniques. This is demonstrated for Skype, which is used as a running example and case study. Last but not least, it is shown how to develop a visual Eclipse-based tool for communication platforms, which supports modeling, simulation, and validation of typical scenarios.en
dc.languageEnglishen
dc.language.isoenen
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subject.ddc004 Datenverarbeitung; Informatiken
dc.subject.otherAlgebraische High-Level Netzede
dc.subject.otherPetrinetzede
dc.subject.otherPetrinetztransformationde
dc.subject.otherSkypede
dc.subject.otherAlgebraic High-Level Netsen
dc.subject.otherPetri Net Transformationen
dc.subject.otherPetri Netsen
dc.subject.otherSkypeen
dc.titleFormal Modeling, Simulation, and Validation of Communication Platformsen
dc.typeDoctoral Thesisen
tub.accessrights.dnbfree*
tub.publisher.universityorinstitutionTechnische Universität Berlinen
dc.contributor.grantorTechnische Universität Berlin, Fakultät IV - Elektrotechnik und Informatiken
dc.date.accepted2012-06-07-
dc.title.translatedFormale Modellierung, Simulation and Validierung von Kommunikationsplattformende
dc.type.versionpublishedVersionen
tub.identifier.opus33750-
tub.identifier.opus43520-
Appears in Collections:Inst. Softwaretechnik und Theoretische Informatik » Publications

Files in This Item:
Dokument_21.pdf
Format: Adobe PDF | Size: 19.78 MB
DownloadShow Preview
Thumbnail

Item Export Bar

Items in DepositOnce are protected by copyright, with all rights reserved, unless otherwise indicated.