(Prof. Denis Noble & Dr Peter Kohl)

Slides:



Advertisements
Présentations similaires
Introduction Rétro ingénierie d’interfaces graphiques
Advertisements

Les concepts de bases de la simulation
CRÉER UNE APPLICATION INTERNET RELIEE A UNE BASE DE DONNEES
L-System et modélisation de plantes…
Cours n° 2 Les entrées-sorties Biliothèque C++ (iostream) –
Algèbre de composants : une approche fonctionnelle à la sémantique de documents Bart Lamiroy LORIA/INPL QGar - École des Mines de Nancy.
Première expérience d’utilisation des Web Services dans SmartTools Didier Parigot Projet OASIS INRIA Sophia www-sop.inria.fr/oasis/SmartTools Journée.
GEF 435 Principes des systèmes dexploitation Appels de système (Tanenbaum 1.6)
- Couche 7 - Couche application. Sommaire 1)Introduction 1)DNS 1)FTP et TFTP 1)HTTP 1)SNMP 1)SMTP 1)Telnet.
XML - Henry Boccon-Gibod 1 XML, Langage de description La question du choix de formalismes Les entités et leur représentations modalités de modèles et.
Cours MIAGE Henry Boccon-Gibod 1 XML, Extensible Mark up Language Un esperanto des langages informatiques.
TER Gestionnaires de contenu en ligne
Object Management Architecture (OMA)
Exposé de Système - Informatique et Réseau
M.E.D.A.L. Module dEnseignement à Distance pour lArchitecture Logicielle Alain VAILLY Diapositive n° 1 IUP MIAGE - Université de NANTES IUP-MIAGE 3ème.
TRANSFER Alger – Serveur Web Nicolas Larrousse Septembre Petit historique du Worl Wide Web Notion dHypertexte Extension à internet par Tim Berners.
Ontologie, Méta-données, Sémiotiques
Domaines nominaux XSLT
LICENCE MIAGE Introduction Programmation Orientée Objet JAVA philippe
JOME, un Composant Logiciel pour le Télé-Enseignement des Mathématiques via le WEB, Compatible OpenMath et MathML Laurent DIRAT OVE / I3S-UNSA.
Alain Le Guennec Jean-Marc Jézéquel Action Triskell
Sujets de mémoire Mercury Génération automatique de XML Gestion et debugging d'ontologies Un éditeur intelligent pour Mercury (sans stage) Conception d'un.
Etude des Technologies du Web services
XML-Family Web Services Description Language W.S.D.L.
Réalisée par :Samira RAHALI
Comprendre l’environnement Web
Lycée Louis Vincent Séance 1
Chaque use-case génère un ou des scénarios, traduits par des diagrammes objets, qui permettent d’introduire et/ou de compléter les diagrammes des catégories.
Laboratoire d'Informatique de l’Université de Franche-Comté
RDF(S)
ASP.NET Par: Hugo St-Louis. C ARACTÉRISTIQUES A SP. NET Évolution, successeur plus flexible quASP (Active Server Pages). Pages web dynamiques permettant.
F Copyright © Oracle Corporation, Tous droits réservés. Créer des programmes avec Procedure Builder.
Programmation Initiation Aux Langages C et C++ Bruno Permanne 2006.
Normes et standards pour les plate-formes de e-learning
G-RDF WEB SEMANTIQUE.
Framework Play 2.0 Démonstration du proof of concept
Présentation du mémoire
Microsoft .NET.
Ecaterina Giacomini Pacurar
Web sémantique : Web de demain
Cilia Mediation Framework v0.9.0 Implantation.. Plan Cilia: c'est quoi? Capacités. Cilia: Modèle d'implantation. Mise en œuvre: Médiateur Cilia. Assemblage.
Sensibilisation a la modelisation
1 Micro Informatique au Cellier Joseph HOHN vidéogramme séance 3 du 29 février 2012 deuxième partie principe de fonctionnement de lInternet.
1 PLAN I. Eclipse Modeling Framework  Présentation  Le modèle Ecore  Code généré  Utilisation de template II.Graphical Modeling Framework  Présentation.
Transformation de modèles Kick Off Motor Jean Marc Jézéquel & Didier Vojtisek La vision Triskell : Umlaut NG.
Guillaume TORRENTE Marc BOUISSOU Recherche & Développement
1 Architecture orientée service SOA Architecture orientée service SOA (Service Oriented Architecture)
09/11/2006 CMS Content Management System Système de Gestion de Contenu.
Développement d’application client/serveur
Cours de programmation web
Modélisation VHDL-AMS haut niveau de l’activité en courant des mémoires en vue de l'optimisation de la compatibilité électromagnétique Richard PERDRIAU*/**
Web sémantique Par Lydia Carine Mampais KI Bamba SISSOKO
Le contenu est basé aux transparents du 7 ème édition de «Software Engineering» de Ian Sommerville«Software Engineering» de Ian Sommerville B.Shishedjiev.
Enterprise Java Beans 3.0 Cours INF Bases de Données Hiver 2005, groupe 10 Stefan MARTINESCU.
SLAM 1 Exploitation d’un schéma de données
1 École des Mines de Saint-Etienne. 158, cours Fauriel Saint-Etienne Cedex 2. Tél Fax Jean-Jacques Girardot
Présentation du framework JSF (Java Server Faces) dans le modèle événementiel MVCII
Module : Pages Web Dynamiques (Production Électronique Avancée)
En savoir plus sur un site web… Décrypter une adresse Décrypter une adresse Identifier le propriétaire Identifier le propriétaire.
Power AMC-Rational Rational Rose, Étude comparative
Catalogage et Réutilisation de données et traitements géographiques Bénédicte Bucher Laboratoire COGIT - Saint Mandé Forum SIG.
La notion de « package » pour un cours en ligne Illustration avec la spécification Content Packaging (IMS-CP) Université Bordeaux 3 Cours MASTER 2 MULTIMEDIA.
Initiation au JavaScript
INF3500 : Conception et implémentation de systèmes numériques Pierre Langlois Flot de conception de.
Micro contrôleurs M. Boutemeur
Hiver 2004SEG2501 Chapître 41 Chapître 4 SDL – structure d’un système et son comportement.
Modèle à objets et sérialisation Olivier ChamlaFrançois Chastanet.
PRÉSENTATION AGL LES TESTS LOGICIELS LES TEST LOGICIELS 1 Mickael BETTINELLI Brandon OZIOL Gaétan PHILIPPE Simon LUAIRE.
Développement d’application avec base de données Semaine 8 : WPF avec Entité Framework Automne 2015.
Introduction O.Legrand G. Seront. Open Handset Alliance Project Regroupement d'entreprises : –de télécommunications, –de constructeurs d’appareils mobiles,
Transcription de la présentation:

(Prof. Denis Noble & Dr Peter Kohl) CellML & COR Alan Garny (Prof. Denis Noble & Dr Peter Kohl)

CellML

______________________________ CellML – Introduction Un langage XML qui permet d’échanger des modèles décrivant des processus cellulaires et sous-cellulaires. CellML utilise MathML pour décrire les modèles de manière mathématique. Un modèle consiste de composants. Chacun d’entre eux contient des variables et des équations mathémati-ques qui les manipulent. Des metadata peuvent être incorporées via RDF (Resource Description Framework).

CellML – Principes de Base ______________________________ CellML – Principes de Base

CellML – Structure d’un Modèle ______________________________ CellML – Structure d’un Modèle Unités. Composants. Groupes. Connections.

CellML – Mathématiques ______________________________ CellML – Mathématiques

CellML – Mathématiques (suite) ______________________________ CellML – Mathématiques (suite)

______________________________ CellML – Unités

______________________________ CellML – Groupements Contenu : pour spécifier la relation physique entre les différents composants. Encapsulation : pour spécifier la relation logique entre les différents composants.

CellML – Groupements (suite) ______________________________ CellML – Groupements (suite)

______________________________ CellML – Réactions

CellML – Réactions (suite) ______________________________ CellML – Réactions (suite)

______________________________ CellML – Metadata RDF : Resource Description Framework

______________________________ CellML – Désavantages Les commentaires ne peuvent qu’être faits par l’intermédiaire de RDF. Gestion des groupements et connexions entre les différents composants/variables. Très bien pour la modélisation cellulaire, mais pas adapté pour la modélisation multicellulaire.

______________________________ CellML – Futur CellML 1.1 est maintenant disponible pour évaluation. La principale différence est la possibilité de réutiliser des composants d’autres modèles. CellML s’est révélé plus versatile qu’initialement prévu. CellML  ModelML. Volonté de représenter un modèle avec OWL. Intégration avec, par exemple, BioPAX. OWL : Ontology Web Language OMG : Object Management Group UML : Unified Modelling Language MOF : Meta Object Facility Connexion avec des outils/représentations OMG tels que UML ou MOF ? Intégration au groupe OMG des Sciences de la Vie ?

______________________________ CellML – Futur (suite) Supprimer les réactions chimiques et biochimiques. Elles devront être converties en leur équivalent mathématique. Supprimer tout ce qui est spécifique à un domaine particulier. Utilisation de RDF et OWL.

______________________________ FieldML & AnatML FieldML et AnatML sont deux autres langages XML développés par Auckland. FieldML est utilisé pour décrire une structure dans le temps et l’espace. AnatML a initialement été développé pour manipuler des informations et documentations géométriques obtenues durant un projet de modélisation du squelette et des muscles humains. A l’heure actuelle, ces langages sont très liés à CMISS.

COR

______________________________ COR – Introduction COR (1) ? Le sens de COR change d’une langue à l’autre (e.g. le cœur en latin). COR (2) ? Dans le contexte actuel, COR veut dire Cellular Open Resource. Quoi ? Un environnement pour simuler des problèmes électrophysiologiques cellulaires et multicellulaires. Pourquoi ? OxSoft HEART a du être stoppé après presque 20 ans de développement.

______________________________ Autres Interfaces LabHEART (JL Puglisi and DM Bers, Am J Physiol Cell Physiol. 2001; 281: C2049-60). The normal sinus rhythm.

______________________________ Autres Interfaces LabHEART (JL Puglisi and DM Bers, Am J Physiol Cell Physiol. 2001; 281: C2049-60). The normal sinus rhythm.

______________________________ Autres Interfaces LabHEART (JL Puglisi and DM Bers, Am J Physiol Cell Physiol. 2001; 281: C2049-60). iCell (SS Demir, http://ssd1.bme.memphis.edu/ icell/). The normal sinus rhythm.

______________________________ Autres Interfaces LabHEART (JL Puglisi and DM Bers, Am J Physiol Cell Physiol. 2001; 281: C2049-60). iCell (SS Demir, http://ssd1.bme.memphis.edu/ icell/). The normal sinus rhythm.

______________________________ Autres Interfaces LabHEART (JL Puglisi and DM Bers, Am J Physiol Cell Physiol. 2001; 281: C2049-60). iCell (SS Demir, http://ssd1.bme.memphis.edu/ icell/). Cell Editor™ (fait partie d’In Silico Cell™, Physiome Sciences, Inc., http://www.physiome.com/). The normal sinus rhythm.

______________________________ Autres Interfaces LabHEART (JL Puglisi and DM Bers, Am J Physiol Cell Physiol. 2001; 281: C2049-60). iCell (SS Demir, http://ssd1.bme.memphis.edu/ icell/). Cell Editor™ (fait partie d’In Silico Cell™, Physiome Sciences, Inc., http://www.physiome.com/). The normal sinus rhythm.

______________________________ Autres Interfaces LabHEART (JL Puglisi and DM Bers, Am J Physiol Cell Physiol. 2001; 281: C2049-60). iCell (SS Demir, http://ssd1.bme.memphis.edu/ icell/). Cell Editor™ (fait partie d’In Silico Cell™, Physiome Sciences, Inc., http://www.physiome.com/). The normal sinus rhythm. CMISS (PJ Hunter, http://www.cmiss.org/).

______________________________ Autres Interfaces LabHEART (JL Puglisi and DM Bers, Am J Physiol Cell Physiol. 2001; 281: C2049-60). Fichiers COM et IP iCell (SS Demir, http://ssd1.bme.memphis.edu/ icell/). Cell Editor™ (fait partie d’In Silico Cell™, Physiome Sciences, Inc., http://www.physiome.com/). cm The normal sinus rhythm. CMISS (PJ Hunter, http://www.cmiss.org/).

______________________________ Autres Interfaces LabHEART (JL Puglisi and DM Bers, Am J Physiol Cell Physiol. 2001; 281: C2049-60). CMISS (PJ Hunter, http://www.cmiss.org/). iCell (SS Demir, http://ssd1.bme.memphis.edu/ icell/). Cell Editor™ (fait partie d’In Silico Cell™, Physiome Sciences, Inc., http://www.physiome.com/). The normal sinus rhythm. Also Virtual Cell (LM Loew), Continuity (AD McCulloch), Entelos® PhysioLab® (Entelos, Inc.), BioPSE (CR Johnson), CM16 (A Noma), etc.

______________________________ Spécifications Remplacement pour OxSoft HEART 4.X, mais avec des fonctionnalités en plus. Construit autour de CellML. Les modèles ne sont pas codés en dur. A la place, ils sont stockés dans des fichiers qui peuvent être édités. Les modèles sont analysés et convertis en code machine (Intel x86) pour une optimisation optimale. Permet la modélisation multicellulaire « simple ». Disponible gratuitement, source code inclus.

______________________________ CellML <model name="hodgkin_huxley_squid_axon_1952“ cmeta:id="hodgkin_huxley_squid_axon_1952" xmlns=http://www.cellml.org/cellml/1.0# xmlns:cellml="http://www.cellml.org/cellml/1.0#" xmlns:cmeta="http://www.cellml.org/metadata/1.0#"> ... <units name="millisecond"> <unit prefix="milli" units="second" /> </units> <component name="sodium_channel"> <variable name="i_Na" public_interface="out“ units="microA_per_cm2" /> <math xmlns="http://www.w3.org/1998/Math/MathML"> <apply id="E_Na_calculation"><eq /> <ci>E_Na</ci> <apply><plus /> <ci>E_R</ci> <cn cellml:units="millivolt">115.0</cn> </apply> <apply id="i_Na_calculation"><eq /> <ci>i_Na</ci> <apply><times /> <ci>g_Na</ci> <apply><power /> <ci>m</ci> <cn cellml:units="dimensionless">3.0</cn> <ci>h</ci> <apply><minus /> <ci>V</ci> </math> </component> </model> Fichier API CM Lisible def model hodgkin_huxley_squid_axon_1952 as def unit millisecond from unit second {pref: milli}; enddef; ... def comp sodium_channel as var i_Na: microA_per_cm2 {pub: out}; E_Na = E_R+115.0{millivolt}; i_Na = g_Na*pow(m, 3.0{dimensionless})*h*(V-E_Na);

______________________________ Convivialité Parmi les fonctionnalités : la représentation graphique d’une équation. ode(Xr1, time) = 50.0{dimensionless}/ (1.0{dimensionless}+ exp(-(V-5.0{millivolt})/9.0{millivolt}))* (1.0{dimensionless}-Xr1)- 0.05{dimensionless}* exp(-(V-5.0{millivolt});

______________________________ Exécution du Modèle Différentes approches possibles : Pseudo-compilateur, Générer du code C, le compiler pour obtenir une DLL utilisée par le programme, Générer du code machine. D = A+B+C FLD @A DD05 @A FLD @B DD05 @B FADDP ST(1) DEC1 FLD @C DD05 @C FSTP @D DD1D @D FLD @A DD05 @A FADD @B DC05 @B FADD @C DC05 @C FSTP @D DD1D @D

______________________________ Modélisation 0D

______________________________ Modélisation 1D

______________________________ 2D Modelling

______________________________ 3D Modelling

______________________________ Adresses Utiles CellML : http://www.cellml.org/ http://www.w3.org/xml/ http://www.w3.org/math/ http://www.w3.org/rdf/ http://www.bioeng.auckland.ac.nz/ COR : http://cor.physiol.ox.ac.uk/ http://noble.physiol.ox.ac.uk/