Simulation and animation of visual languages based on typed algebraic graph transformation [Elektronische Ressource] / vorgelegt von Claudia Ermel

Description

SimulationandAnimationofVisualLanguagesbasedonTypedAlgebraicGraphTransformationvorgelegtvonDiplom InformatikerinClaudiaErmelFakultat¨ IV–ElektrotechnikundInformatik–derTechnischenUniversitat¨ BerlinzurErlangungdesakademischenGradesDoktorinderIngenieurwissenschaften–Dr. Ing. –genehmigteDissertationPromotionsausschuss:Vorsitzender: Prof. Dr. M.AlexaBerichter: Prof. Dr. H.Ehrig Prof. Dr. H. J.KreowskiTagderwissenschaftlichenAussprache: 21. Juli2006Berlin2006D83AbstractInrecentyears,visualmodelsrepresentedbygraphshavebecomeverypopularinsystemsdevelopment,asthewide spreaduseofUMLandPetrinetsproves. Visualmodelingtech niquesprovideanintuitive,yetprecisewaytomodelthestructureandbehaviorofsystemsat their natural level of abstraction. Validating model behavior is one of the main aims ofvisual behavior modeling. To express the semantics of visual models, the transformationof graphs plays a similar central role as term rewriting in the traditional case of textualmodels. Theareaofgraphtransformationprovidesarule basedsettingtodefinethesyntaxand semantics of visual models. The well founded theoretical results support the formalreasoningaboutgraph basedmodelsatalllevels.Themainobjectiveofthisthesisistoimprovethevalidationprocessforvisualbehavioralmodels by providing a formal framework and tool support for simulation and animationbasedongraphtransformation.

Sujets

• Informatik

Informations

• Publié par: technische_universitat_berlin
• Publié le: 01 janvier 2006
• Nombre de lectures: 18
• Langue: English
• Poids de l'ouvrage: 16 Mo

Extrait