short-paper

Towards frabjous: a two-level system for functional reactive agent-based epidemic simulation

Authors:

Oliver Schneider,

Christopher Dutchyn,

Nathaniel OsgoodAuthors Info & Claims

IHI '12: Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium

Pages 785 - 790

https://doi.org/10.1145/2110363.2110458

Published: 28 January 2012 Publication History

Abstract

Agent-based infection-transmission models, which simulate an infection moving through a population, are being employed more frequently by health policy-makers. However, these models present several obstacles to widespread adoption. They are complex entities and impose a high development and maintenance cost. Current tools can be opaque, requiring multidisciplinary collaboration between a modeler and an expert programmer, and another round of translation when communicating with domain experts. In this paper, we describe the use of functional reactive programming (FRP), a programming paradigm created by imbuing a functional programming language with an intrinsic sense of time, to represent agent-based models in a concise and transparent way. We document the conversion of several agent-based models developed in the popular hybrid modeling tool AnyLogic to a representation in FRP. We also introduce Frabjous, a programming framework and domain-specific language for computational modeling. Frabjous generates human-readable and modifiable FRP code from a model specification, allowing modelers to have two transparent representations in which to program: a high-level model specification, and a full functional programming language with an agent-based modeling framework.

References

[1]

R. M. Anderson and R. M. May. Infectious Diseases of Humans Dynamics and Control. Oxford University Press, 1992.

[2]

J. Backus. Can functional programming be liberated from the von Neumann style? Comm. ACM, 21(8):613--641, 1978.

Digital Library

[3]

M. M. Chakaravarty, R. Leschinskiy, S. Peyton-Jones, G. Keller, and S. Marlow. Data parallel Haskell: a status report. In Workshop on Declarative Aspects of Multicore Programming, pages 10--18. ACM Press, January 2007.

Digital Library

[4]

A. Courtney, H. Nilsson, and J. Peterson. The yampa arcade. Proceedings of the 2003 ACM SIGPLAN Workshop on Haskell, pages 7--18, 2003.

Digital Library

[5]

A. Courtney, B. Robinson, and P. Hudak. wxfruit, March 2009. \texttthttp://www.haskell.org/haskellwiki/WxFruit.

[6]

A. A. Courtney. Modeling user interfaces in a functional language. PhD thesis, Yale University, New Haven, CT, USA, 2004. AAI3125177.

Digital Library

[7]

C. Elliott and P. Hudak. Functional reactive animation. International Conference on Functional Programming, pages 263--273, 1997.

Digital Library

[8]

J. Hughes. Why functional programming matters. The Computer Journal, 32(8):98--107, 1989.

Digital Library

[9]

J. Hughes. Generalising monads to arrows. Science of Computer Programming, 37:67--111, 2000.

Digital Library

[10]

D. Leijen and E. Meijer. Parsec: Direct style monadic parser combinators for the real world. Technical Report UU-CS-2001--27, Department of Computer Science, Universiteit Utrecht, 2001.

[11]

N. Minar, R. Burkhart, C. Langton, and M. Askenazi. The swarm simulation system: A toolkit for building multi-agent simulations. Working Papers 96-06-042, Santa Fe Institute, June 1996.

[12]

S. Moss, H. Gaylard, S. Wallis, and B. Edmonds. Sdml: A multi-agent language for organizational modelling. Computational and Mathematical Organization Theory, 4:43--69, 1998. 10.1023/A:1009600530279.

Digital Library

[13]

H. Nilsson, A. Courtney, and J. Peterson. Functional reactive progamming, continued. Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, pages 51--64, 2002.

Digital Library

[14]

M. J. North, N. T. Collier, and J. R. Vos. Experiences creating three implementations of the repast agent modeling toolkit. ACM Trans. Model. Comput. Simul., 16:1--25, January 2006.

Digital Library

[15]

M. J. North, T. R. Howe, N. T. Collier, and J. R. Vos. The repast simphony runtime system. In C. M. Macal, M. J. North, and D. Sallach, editors, Proceedings of the Agent 2005 Conference on Generative Social Processes Models and Mechanisms, number 1, pages 151--158, 2005.

[16]

N. Osgood. Systems dynamics and agent-based approaches: Clarifying the terminology and tradeoffs. Proceedings of the First International Congress of Business Dynamics, 2006.

[17]

N. Osgood. Using traditional and agent based toolsets for system dyamics: Present tradeoffs and future evolution. Proceedings of the 2007 International Conference on System Dynamics, 2007.

[18]

N. Osgood. Representing progression and interactions of comorbidities in aggregate and individual-based systems models. In Proceedings, The 27th International Conference of the System Dynamics Society, page 20, Albuquerque, July 2009.

[19]

R. Paterson. A new notation for arrows. In International Conference on Functional Programming, pages 229--240. ACM Press, Sept. 2001.

Digital Library

[20]

S. Peyton-Jones, R. Leshchinskiy, G. Keller, and M. M. Chakravarty. Harnessing the multicores: Nested data parallelism in Haskell. In Conference on Foundations of Software Technology and Theoretical Computer Science, pages 1--32, 2008.

Digital Library

[21]

X. Technologies. AnyLogic (Version 6). XJ Technologies, St. Petersburg, Russia, 2007.

[22]

S. Tisue. Netlogo: Design and implementation of a multi-agent modeling environment. In Proceedings of Agent, 2004.

[23]

P. Wadler. The essence of functional programming. In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '92, pages 1--14, New York, NY, USA, 1992. ACM.

Digital Library

Cited By

BUI T. MPapoulias NStinckwich SZiane MRoche B(2019)The Kendrick modelling platform: language abstractions and tools for epidemiologyBMC Bioinformatics10.1186/s12859-019-2843-020:1Online publication date: 11-Jun-2019
https://doi.org/10.1186/s12859-019-2843-0
Borenstein D(2015)NanoverseProceedings of the 2015 Winter Simulation Conference10.5555/2888619.2888640(206-217)Online publication date: 6-Dec-2015
https://dl.acm.org/doi/10.5555/2888619.2888640
Borenstein D(2015)Nanoverse: A constraints-based declarative framework for rapid agent-based modeling2015 Winter Simulation Conference (WSC)10.1109/WSC.2015.7408165(206-217)Online publication date: Dec-2015
https://doi.org/10.1109/WSC.2015.7408165

Index Terms

Towards frabjous: a two-level system for functional reactive agent-based epidemic simulation

Recommendations

Functional reactive programming, continued
Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell

Functional Reactive Programming (FRP) extends a host programming language with a notion of time flow. Arrowized FRP (AFRP) is a version of FRP embedded in Haskell based on the arrow combinators. AFRP is a powerful synchronous dataflow programming ...
Language extension and composition with language workbenches
OOPSLA '10: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion

Domain-specific languages (DSLs) provide high expressive power focused on a particular problem domain. They provide linguistic abstractions and specialized syntax specifically designed for a domain, allowing developers to avoid boilerplate code and low-...
Declaratively defining domain-specific language debuggers
GCPE '11

Tool support is vital to the effectiveness of domain-specific languages. With language workbenches, domain-specific languages and their tool support can be generated from a combined, high-level specification. This paper shows how such a specification ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

IHI '12: Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium

January 2012

914 pages

ISBN:9781450307819

DOI:10.1145/2110363

General Chairs:
Gang Luo
IBM Research, USA
,
Jiming Liu
Hong Kong Baptist University
,
Program Chair:
Christopher C. Yang
Drexel University

Copyright © 2012 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGHIT: ACM Special Interest Group on Health Informatics

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 January 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Short-paper

Conference

IHI '12

Sponsor:

SIGHIT

IHI '12: ACM International Health Informatics Symposium

January 28 - 30, 2012

Florida, Miami, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
203
Total Downloads

Downloads (Last 12 months)6
Downloads (Last 6 weeks)1

Reflects downloads up to 26 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

BUI T. MPapoulias NStinckwich SZiane MRoche B(2019)The Kendrick modelling platform: language abstractions and tools for epidemiologyBMC Bioinformatics10.1186/s12859-019-2843-020:1Online publication date: 11-Jun-2019
https://doi.org/10.1186/s12859-019-2843-0
Borenstein D(2015)NanoverseProceedings of the 2015 Winter Simulation Conference10.5555/2888619.2888640(206-217)Online publication date: 6-Dec-2015
https://dl.acm.org/doi/10.5555/2888619.2888640
Borenstein D(2015)Nanoverse: A constraints-based declarative framework for rapid agent-based modeling2015 Winter Simulation Conference (WSC)10.1109/WSC.2015.7408165(206-217)Online publication date: Dec-2015
https://doi.org/10.1109/WSC.2015.7408165

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents