Process ordering in a process calculus for spatially-explicit ecological models
Date
2014Author
Philippou, AnnaToro, Mauricio
ISSN
0302-9743Source
11th International Conference on Software Engineering and Formal Methods, SEFM 2013 - Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCertVolume
8368 LNCSPages
345-361Google Scholar check
Keyword(s):
Metadata
Show full item recordAbstract
In this paper we extend PALPS, a process calculus proposed for the spatially-explicit individual-based modeling of ecological systems, with the notion of a policy. A policy is an entity for specifying orderings between the different activities within a system. It is defined externally to a PALPS model as a partial order which prescribes the precedence order between the activities of the individuals of which the model is comprised. The motivation for introducing policies is twofold: one the one hand, policies can help to reduce the state-space of a model on the other hand, they are useful for exploring the behavior of an ecosystem under different assumptions on the ordering of events within the system. To take account of policies, we refine the semantics of PALPS via a transition relation which prunes away executions that do not respect the defined policy. Furthermore, we propose a translation of PALPS into the probabilistic model checker PRISM. We illustrate our framework by applying PRISM on PALPS models with policies for conducting simulation and reachability analysis. © 2014 Springer International Publishing.
Collections
Cite as
Related items
Showing items related by title, author, creator and subject.
-
Article
Energy-based model reduction methodology for automated modeling
Louca, Loucas S.; Stein, J. L.; Hulbert, G. M. (2010)In recent years, algorithms have been developed to help automate the production of dynamic system models. Part of this effort has been the development of algorithms that use modeling metrics for generating minimum complexity ...
-
Article
A review of proper modeling techniques
Ersal, T.; Fathy, H. K.; Rideout, D. G.; Louca, Loucas S.; Stein, J. L. (2008)A dynamic system model is proper for a particular application if it achieves the accuracy required by the application with minimal complexity. Because model complexity often-but not always-correlates inversely with simulation ...
-
Conference Object
A model accuracy and validation algorithm
Sendur, P.; Stein, J. L.; Peng, H.; Louca, Loucas S. (American Society of Mechanical Engineers (ASME), 2002)Dynamic models of physical systems with physically meaningful states and parameters have become increasingly important, for design, control and even procurement decisions. The successful use of models in these contexts ...