some MGS publications Description  (goals,  principles,  applications) Download  free software under the GNU license Documentation & Publications Bibliography Graphic Gallery      applications of MGS to various simulation problems (esp. in biology) Related Works and Links Team members

Publication are also listed on the bibliographic page of the IBISC laboratory.
Use one of the members of the MGS team as an author in the request (i.e. giavitto, michel, spicher, cohen).

The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors and by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Some Papers in Journals, Conferences, Technical Report, etc.

• There is Plenty of Room for Unconventional Programming Languages or Declaratives Simulations of Dynamicals Systems (with a Dynamical Structure) (2.7M, .pdf), Olivier Michel's HDR, this document gives a bird's view on the work achieved in the MGS project. In this a very good introduction to the papers listed in the accompanying booklet (cf. next entry).
  This pdf document is active and you can click on the cited references to retrieve all MG papers.


• Additional Booklet to the Habilitation (6.5Mb, .pdf). This booklet gather 19 papers related to the Otto and (mainly) the MGS projects. Papers are classified in three areas: Declarative Unconventional Languages, Modelling and Simulation of Dynamical Systems - Applications, and, Elements of Implementation.
• MGS: a Programming Language for the Transformations of Topological Collections (700K, .ps.gz), LaMI technical report N° 61-2001, May 2001 (90p.). pdf version


• MGS: a Rule-Based Programming Language for Complex Objects and Collections, Rule01, proceedings published as Electronic Notes in Theoretical Computer Science, Vol. 59, issue 4, (.ps.gz, .pdf, bibtex)


• MGS: Implementing a Unified View on Four Biologically Inspired Computational Models, Workshop on membrane computing WMC01, Curtea de Arces, Romania. Preproceedings published as the Research Report 17/01 of the Universitat Rivira I Virgili, Tarragona, Spain (download pre-proceedings)


• The Topological Structures of Membranne Computing (362K, .pdf), LaMI technical report N° 70-2001, November 2001 (24p.). (draft version of a paper published in FI).


• The Topological Structures of Membrane Computing, Fundamenta Informaticae, vol. 49, pp 107--129, 2002.


• Computational Models for Integrative and Developmental Biology (700K, .pdf), LaMI technical report N° 72-2002, March 2002 (48p.). (tutorial chapter in the proceedings of the workshop Modélisation et simulation de processus biologiques dans le contexte de la génomique, 17-21 mars 2002, Autran, France. A slight revised version appears in a book edited by GENOPOLE for the International Symposium on Macromolecular Networks, 8--12 july 2002, Paris, France. ).


• Data Structure as Topological Spaces (.pdf, 171k), draft version of a paper published in Unconventionnal Model of Computation '02 october 2002, Himeji, (final proceedings published in LNCS 2509)


• Pattern-matching and rewriting rules for group indexed data structures, ACM SIGPLAN Notices, Volume 37, Issue 12 (December 2002).


• Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems (.pdf, 431k), draft version of an invited paper published in Rewriting Techniques and Applications (RTA'03) june 2003, Valencia, (final proceedings published in LNCS 2706)


• Three variations on the analysis of the Needham-Schroeder Public-Key Protocol with MGS (.pdf, 212k), LaMI technical report 98-2004. A shorter version more focussed in P system has been presented at WMC5.


• A topological framework for the specification and the simulation of discrete dynamical systems (.pdf, 1.9M), LaMI technical report 99-2004. This technical report presents the topological structure associated to the interaction between the subsystems part and how this interaction structure is reflected in MGS transformation to specify the evolution function of a dynamical system. These notions are illustrated on a diffusion limited agregation process on various manifolds. A shorter version of this paper is published in the LNCS procedings of the Sixth International conference on Cellular Automata for Research and Industry (ACRI'04)


• Computation in Space and Space in Computation (.pdf, 1.6M), LaMI technical report xx-2004. This technical report is a position paper on the "ideological assumptions" of the MGS project. A short version of this paper will be presented at the UPP conference (Unconventional Programming Paradigms).


• The MGS type system: two type systems have been developped for the MGS compiler. Following this link, you will find a page describing these two type systems developped by Julien Cohen and the related publications. These type systems are being integrated into the MGS compiler : the soft type system is used to infer the type of heterogeneous collections and to use this information to produce better target code.

  The PhD thesis of Julien is available from here (in french). In this thesis are developped: (1) a generic pattern matching algorithm; (2) an higher order evaluation scheme for the MGS interpreter; (3) a type system dealing with heterogeneous collections, polytypic transformations and shipped with automatic type reconstruction; (4) the use of types in compilation; (5) many examples.

This list is far from complete. Check this bibliographic file and this repository.

Publication are also listed on the bibliographic page of the IBISC laboratory. Use one of the members of the MGS team as an author in the request (i.e. giavitto, michel, spicher, cohen).

Slides, Presentations and tutorials

• You can visit the online manual pages.
  The manual pages are a work in progress and far from describing the actual state of the MGS interpreter.


• Take a look on the graphical outputs of some MGS examples in the Graphic Gallery.


• A guided tour of IMOVIEW Imoview is a viewer to draw 3D graphical scenes described in a language called THEOM. This language is a subset of a 3D scene description language, called GEOM, developed for the GeomViewer in the AMAPmod project at CIRAD. This sublanguage is extended with containers and primitives operations for the automatic mapping of graphical objects. This language is used by some MGS applications to produce a 3D output. The viewer, developed by Francois Letierce is available as part of the MGS softwares.


• The following items are Authorware-based presentations. They can be viewed only on a Windows systems (win98, win2k, winNT, winME, etc.), using only the explorer or netscape browser with a special macromedia plugin. They cannot be viewed on a unix system (we are very sorry). The download of the plugin is automatically proposed if needed when accessing the slide show.

Alternatively, if your network connection is too slow, you can download a zip file containing a directory with a .exe and some additional files. Running the .exe gives the show locally.
When showing these presentations, use the mouse click into the window area to go from one scene to another. If the mouse click is without effect, click the right triangle at the lower right side. If there is no triangle, nor button with ellipsis, click the "next section" button. The "menu" button (when present) allows you to jump randomly to any section of the presentation. Control-Q stop and quit the presentation.
 
• Topological Collections, Transformations and their Application to the Modeling and the Simulation of Dynamical Systems invited presentation at RTA'03. (on-line presentation and zip file for a off-line presentation 8.7Mb.)
• Presentation of the MGS project at Rule, PLI'01, Firenze Italy (on-line presentation, zip file for a off-line presentation 4Mb.).
• A static subset of the previous presentation is available in html (very heavy to load).
• Presentation of Group Based Fields (on-line presentation,  zip file for a off-line presentation 1Mb.)
• Presentation of Otto (on-line presentation,  zip file for a off-line presentation 1Mb.)
• (in french) MGS et la simulation de structure dynamique pour la simulation intégrative en biologie (on-line presentation,  zip file for a off-line presentation 4Mb.)

The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors and by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

this site is under construction.
Pages started: September 2001. Last revision: March 2010.