Abstract
Experience of practical systems modelling suggests that the key conceptual components of a model of a system are processes. resources, locations and environment. In recent work, we have given a process-theoretic account of this view in which resources as well as processes are first-class citizens. This process calculus, SCRP, captures the structural aspects of the semantics of the Demos2k (D2K) modelling tool. D2K represents environment stochastically using a wide range of probability distributions and queue-like data structures. Associated with SCRP is I (bunched) modal logic. MBI, which combines the usual additive connectives of Hennessy-Milner logic with their multiplicative counterparts. In this article, we complete our conceptual framework by adding to SCRP and MBI an account of a notion of location that is simple, yet sufficiently expressive to capture naturally a wide range of forms of location, both spatial and logical. We also provide a description of an extension of the D2K tool to incorporate this notion of location.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
