dc.contributor.author | Philippou, Anna | en |
dc.contributor.author | Toro, Mauricio | en |
dc.creator | Philippou, Anna | en |
dc.creator | Toro, Mauricio | en |
dc.date.accessioned | 2019-11-13T10:42:00Z | |
dc.date.available | 2019-11-13T10:42:00Z | |
dc.date.issued | 2014 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54844 | |
dc.description.abstract | 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 | en |
dc.description.abstract | 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. | en |
dc.source | 11th International Conference on Software Engineering and Formal Methods, SEFM 2013 - Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84901687789&doi=10.1007%2f978-3-319-05032-4_25&partnerID=40&md5=5ab3a9446a23be8397ce123512a6b86f | |
dc.subject | Ecology | en |
dc.subject | Computer simulation | en |
dc.subject | Calculations | en |
dc.subject | Semantics | en |
dc.subject | Model checking | en |
dc.subject | Reachability analysis | en |
dc.subject | Software engineering | en |
dc.subject | Ecological models | en |
dc.subject | Ecological systems | en |
dc.subject | Prisms | en |
dc.subject | Process calculi | en |
dc.subject | Individual-based modeling | en |
dc.subject | Partial order | en |
dc.subject | Probabilistic modeling | en |
dc.subject | Transition relations | en |
dc.title | Process ordering in a process calculus for spatially-explicit ecological models | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1007/978-3-319-05032-4_25 | |
dc.description.volume | 8368 LNCS | en |
dc.description.startingpage | 345 | |
dc.description.endingpage | 361 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Sponsors: | en |
dc.description.notes | Conference code: 105307 | en |
dc.description.notes | Cited By :5</p> | en |
dc.source.abbreviation | Lect. Notes Comput. Sci. | en |