Flocks, herds and schools: A distributed behavioral model
SIGGRAPH '87 Proceedings of the 14th annual conference on Computer graphics and interactive techniques
Voronoi diagrams—a survey of a fundamental geometric data structure
ACM Computing Surveys (CSUR)
Generating textures on arbitrary surfaces using reaction-diffusion
Proceedings of the 18th annual conference on Computer graphics and interactive techniques
A multivector data structure for differential forms and equations
Mathematics and Computers in Simulation
The topological structures of membrane computing
Fundamenta Informaticae - Membrane computing
Proceedings of the International Workshop on Graph Transformations in Computer Science
Chain models in computer simulation
Mathematics and Computers in Simulation
Discrete differential forms for computational modeling
ACM SIGGRAPH 2006 Courses
Solid and physical modeling with chain complexes
Proceedings of the 2007 ACM symposium on Solid and physical modeling
Discrete physics using metrized chains
2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Discrete Calculus: Applied Analysis on Graphs for Computational Science
Discrete Calculus: Applied Analysis on Graphs for Computational Science
Declarative mesh subdivision using topological rewriting in MGS
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Spatial Programming for Music Representation and Analysis
SASOW '10 Proceedings of the 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop
Computations in space and space in computations
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
| Hi-index | 0.00 |
We present the domain specific programming language MGS and its approach to the specification of dynamical systems with a dynamical structure or (DS)2. MGS stands for "encore un Modèle Général de Simulation", that is, "yet another general model of simulation". Its declarative approach is based on the notions of chains and cochains well studied in algebraic topology. A careful discussion of the design goals lead us to relax some of the constraints on these mathematical structures to represent in a uniform way various data structures and transformations. In particular, our computational notion of transformation relies on a rewriting mechanism encompassing the usual notions of set, string and term rewriting. These notions are illustrated on two examples involving the implicit computation of a time varying neighborhood: the simulation of the trajectories of flocking birds and the growth of an epithelial tissue. The second example illustrates also the compositionality achieved by the declarative framework. The MGS concepts have been further validated on several large scale simulations of complex biological systems.