The Web of Mathematical Models: A Schema-based, Wiki-like, - PowerPoint PPT Presentation

The Web of Mathematical Models: A Schema-based, Wiki-like, Interactive Platform Thomas Grundmann, Jean-Marie Gaillourdet, Karsten Schmidt, Arnd Poetzsch-Heffter, Stefan Deßloch and Martin Memmel MathWikis, Nijmegen, 2011

Outline ● Introduction – Motivation – Definition of Model – Goals / Vision for the “Web of Models” ● Current State – Demonstration – Architecture – XModel Schema ● Outlook 27.08.2011 ITP MathWikis Workshop, Nijmegen 2 / 17

Introduction

What is a Model? A mathematical model is “a representation of the essential aspects of an existing system (or a system to be constructed) which presents knowledge of that system in usable form”. Pieter Eykhoff (1974) 27.08.2011 ITP MathWikis Workshop, Nijmegen 4 / 17

What is a Model? ● Descriptive models – Explain aspects of existing systems – Physical, sociological, or economical systems ● Constructive models – Describe systems to be constructed as part of engineering tasks or processes ● Abstract models – Model a certain class of phenomena – Not (yet) applied to a specific system 27.08.2011 ITP MathWikis Workshop, Nijmegen 5 / 17

Goals and Vision ● Repository of mathematical models – Well-structured representation – Formally defined – Visualizations – model-specifc simulations – Searchable (by categories, keyword, etc.) – Accessible and editable via the Web – Composition of models 27.08.2011 ITP MathWikis Workshop, Nijmegen 6 / 17

Goals and Vision ● Support for – Interactive creation, publishing and maintaining of models – Building a community – Quality evaluation of models 27.08.2011 ITP MathWikis Workshop, Nijmegen 7 / 17

Current State

Architecture 27.08.2011 ITP MathWikis Workshop, Nijmegen 9 / 17

The XModel Schema 27.08.2011 ITP MathWikis Workshop, Nijmegen 10 / 17

XModel: formal description 27.08.2011 ITP MathWikis Workshop, Nijmegen 11 / 17

XModel: simulation 27.08.2011 ITP MathWikis Workshop, Nijmegen 12 / 17

XModel: metadata 27.08.2011 ITP MathWikis Workshop, Nijmegen 13 / 17

XModel: Processing chain 27.08.2011 ITP MathWikis Workshop, Nijmegen 14 / 17

Outlook

Outlook ● Going online in Oktober 2011 ● Building a user community – Increase the number of models ● Improve the platform – Better integration of simulations – Supporting external simulations ● Long term goal: – Composition of models 27.08.2011 ITP MathWikis Workshop, Nijmegen 16 / 17

Thanks! Questions?