We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Logic in Computer Science

Title: Compositional Modeling with Stock and Flow Diagrams

Authors: John Baez (Department of Mathematics, University of California, Riverside), Xiaoyan Li (Department of Computer Science, University of Saskatchewan), Sophie Libkind (Department of Mathematics, Stanford University), Nathaniel D. Osgood (Department of Computer Science, University of Saskatchewan), Evan Patterson (Topos Institute)
Abstract: Stock and flow diagrams are widely used in epidemiology to model the dynamics of populations. Although tools already exist for building these diagrams and simulating the systems they describe, we have created a new package called StockFlow, part of the AlgebraicJulia ecosystem, which uses ideas from category theory to overcome notable limitations of existing software. Compositionality is provided by the theory of decorated cospans: stock and flow diagrams can be composed to form larger ones in an intuitive way formalized by the operad of undirected wiring diagrams. Our approach also cleanly separates the syntax of stock and flow diagrams from the semantics they can be assigned. We consider semantics in ordinary differential equations, although others are possible. As an example, we explain code in StockFlow that implements a simplified version of a COVID-19 model used in Canada.
Comments: In Proceedings ACT 2022, arXiv:2307.15519
Subjects: Logic in Computer Science (cs.LO); Mathematical Software (cs.MS); Category Theory (math.CT); Populations and Evolution (q-bio.PE)
Journal reference: EPTCS 380, 2023, pp. 77-96
DOI: 10.4204/EPTCS.380.5
Cite as: arXiv:2205.08373 [cs.LO]
  (or arXiv:2205.08373v3 [cs.LO] for this version)

Submission history

From: EPTCS [view email]
[v1] Mon, 9 May 2022 06:13:12 GMT (2432kb,D)
[v2] Thu, 5 Jan 2023 02:28:13 GMT (1548kb,D)
[v3] Mon, 31 Jul 2023 10:28:03 GMT (1533kb,D)

Link back to: arXiv, form interface, contact.