No description available.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Made available in DSpace on 2014-06-12T15:51:19Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Message Sequence Charts (MSC) é uma linguagem gráfica, usada na academia e na indústria, cujo objetivo é descrever o comportamento de componentes de sistemas e seus ambientes. A sintaxe e a semântica de um diagrama MSC padrão são definidos pelo International Telecommunication Union. A motivação para esse trabalho foi originada a partir de esforços para modelar cenários de aplicações de aparelhos móveis com o objetivo de automatizar a geração de testes, no contexto de uma colaboração entre Centro de Informática da Universidade Federal de Pernambuco (CIn- UFPE) e a Motorola, no contexto do projeto Brasil Test Center (BTC). Ao modelar algumas destas aplicações que envolvem múltipla sincronização utilizando como linguagem de modelagem, MSC padrão, constatou-se que os diagramas são de difícil entendimento ou com um comportamento diferente do desejado. É proposta neste trabalho uma extensão de MSC com o objetivo de permitir a descrição de mensagens síncronas, que permitem descrever eventos instantâneos (abstraindo-se a duração do tempo real para que a conexão seja estabelecida) e podendo envolver várias instâncias de MSC. Essa extensão é conservativa, no sentido que o comportamento das construções existentes não é afetado pela mesma; além disso, em um mesmo diagrama é possível conter mensagens síncronas e mensagens assíncronas. Foi desenvolvido um algoritmo de transformação, que a partir de um diagrama escrito na notação MSC estendido, gera um diagrama correspondente na notação de MSC padrão. Este algoritmo tem por objetivo permitir a transitividade entre as notações e demonstrar suas equivalências. Este algoritmo de transformação implementa mensagens síncronas como uma seqüência de mensagens assíncronas seguindo um algoritmo particular de handshake. A segunda contribuição desse trabalho é a definição de uma semântica para a notação padrão e estendida de MSC. Essa definição é dada em termos da álgebra de processos CSP (Communicating Sequential Processes). O formalismo introduzido na notação de Message Sequence Charts com CSP permite mostrar a equivalência entre um diagrama na notação de MSC estendido e seu correspondente descrito em MSC padrão, gerado a partir do algoritmo de transformação. Além disso, modelar MSC como um processo descrito na notação CSP permite uma análise sobre seus diagramas, usando um rico conjunto de leis algébricas de CSP, bem como o uso de ferramentas, como FDR2 e o Probe. Finalmente, para validar a estratégia proposta, desenvolveu-se um exemplo que ilustra a utilização da notação estendida de MSC, notação síncrona; a conversão desta notação para a notação padrão e a equivalência entre o MSC estendido e o padrão. Mostramos, ainda, o uso da ferramenta Power Tool Kit(PTK) para geração de casos de teste a partir de diagramas MSC

Tyrphostine stellen eine Klasse synthetischer Protein-Tyrosin-Kinase (PTK)-Hemmer, die sich strukturell vom Tyrosin ableiten und dazu dienen, spezifisch Substratphosphorylierungen zu verhindern. Tyrphostin AG126 zeigte entzündungshemmende Eigenschaften in zahlreichen Tiermodellen von Erkrankungen. Dies schließt den septischen Schock ein, der durch Lipopolysaccharid (LPS) Gram-negativer Bakterien induziert werden kann, sowie die durch Zellwandstrukturen Gram-positiver Bakterien ausgelöste bakterielle Meningitis. Wir zeigen nun positive AG126-Effekte in einer weiteren ZNS-Komplikation, der experimentellen autoimmunen Enzephalomyelitis (EAE) als einem Modell der Multiplen Sklerose, wo AG126-Behandlung die klinischen Symptome und Myelinschäden mildert. Auf zellulärer Ebene beeinflusst AG126 eine Vielzahl von Funktionen der Mikroglia, der ZNS-Makrophagen, die durch Aktivierung von Toll-like-Rezeptoren (TLR s) ausgelöst werden. Diese Rezeptoren der angeborenen Immunität erkennen mikrobielle Strukturen sowie Faktoren, die durch Gewebeverletzungen generiert werden. Mit dem Fokus auf Mikroglia untersuchte die vorliegende Arbeit erstmals molekulare Zielstrukturen und Mechanismen des AG126. AG126 beeinflusst besonders Geninduktionen, die vom Adaptorprotein MyD88, einem der zwei TLR-Signalwege, abhängen. Bruton s Tyrosin-Kinase (BTK), eine MyD88-assoziierte PTK, kann von AG126 in molekularen und zellbasierten Assays gehemmt werden. Diese Hemmung kann allerdings nicht das gesamte Spektrum der AG126-Effekte erklären. Daher müssen alternative, sogar PTK-unabhängige Mechanismen, in Betracht gezogen werden, basierend auf strukturellen und funktionellen Ähnlichkeiten zu Tyrosin-abgeleiteten und/oder mikrogliaaktiven Molekülen. Diese alternativen Mechanismen umfassen Prinzipien, die für Antioxidantien, adrenerge Agonisten, Glukokortikoide oder Entkoppler der oxidativen Phosphorylierung bekannt sind. Tatsächlich zeigen Analysen auf der Grundlage von Kernspinresonanzspektroskopie, dass AG126 in die Hauptprodukte 3-Hydroxy-4-Nitroben zaldehyd (BZ) und Malononitril (MN) zerfallen kann, von denen MN, aber nicht BZ, die AG126-Effekte in Mikroglia imitiert. Ein ähnliches Verhalten zeigen weitere Tyrphostine, die ebenfalls das kritische MN-Strukturmotiv aufweisen. Tierexperimente zeigen schließlich, dass nur AG126 als Ausgangstruktur, nicht aber MN oder BZ, das Gesamtspektrum protektiver Effekte in der EAE vermittelt. Die Identifizierung des eigentlichen von AG126 bzw. von MN beeinflussten Targets könnte somit einen wesentlichen Mechanismus für die Entwicklung von entzündungshemmenden Verbindungen offenlegen.

No description available.