5,275 research outputs found
The Attributed Pi Calculus with Priorities
International audienceWe present the attributed -calculus for modeling concurrent systems with interaction constraints depending on the values of attributes of processes. The -calculus serves as a constraint language underlying the -calculus. Interaction constraints subsume priorities, by which to express global aspects of populations. We present a nondeterministic and a stochastic semantics for the attributed -calculus. We show how to encode the -calculus with priorities and polyadic synchronization @ and thus dynamic compartments, as well as the stochastic -calculus with concurrent objects spico. We illustrate the usefulness of the attributed -calculus for modeling biological systems at two particular examples: Euglena’s spatial movement in phototaxis, and cooperative protein binding in gene regulation of bacteriophage lambda. Furthermore, population-based model is supported beside individual-based modeling. A stochastic simulation algorithm for the attributed -calculus is derived from its stochastic semantics. We have implemented a simulator and present experimental results, that confirm the practical relevance of our approach
Priorities Without Priorities: Representing Preemption in Psi-Calculi
Psi-calculi is a parametric framework for extensions of the pi-calculus with
data terms and arbitrary logics. In this framework there is no direct way to
represent action priorities, where an action can execute only if all other
enabled actions have lower priority. We here demonstrate that the psi-calculi
parameters can be chosen such that the effect of action priorities can be
encoded.
To accomplish this we define an extension of psi-calculi with action
priorities, and show that for every calculus in the extended framework there is
a corresponding ordinary psi-calculus, without priorities, and a translation
between them that satisfies strong operational correspondence. This is a
significantly stronger result than for most encodings between process calculi
in the literature.
We also formally prove in Nominal Isabelle that the standard congruence and
structural laws about strong bisimulation hold in psi-calculi extended with
priorities.Comment: In Proceedings EXPRESS/SOS 2014, arXiv:1408.127
Centralized vs distributed communication scheme on switched ethernet for embedded military applications
Current military communication network is a generation
old and is no longer effective in meeting the emerging
requirements imposed by the future embedded military applications. Therefore, a new interconnection system is needed to overcome these limitations. Two new communication networks based upon Full Duplex Switched Ethernet are presented herein in this aim. The first one uses a distributed communication scheme where equipments can emit their data simultaneously, which clearly improves system’s throughput and flexibility. However, migrating all existing applications into a compliant form could be an expensive step. To avoid this process, the second proposal consists in keeping the current centralized communication scheme. Our objective is to assess and compare the real time
guarantees that each proposal can offer. The paper includes the functional description of each proposed communication network and a military avionic application to highlight proposals ability to support the required time constrained communications
Dynamic Compartments in the Imperative Pi Calculus
International audienceDynamic compartments with mutable configurations and variable volumes are of basic interest for the stochastic modeling of biochemistry in cells. We propose a new language to express dynamic compartments that we call the imperative π-calculus. It is obtained from the attributed π-calculus by adding imperative assignment operations to a global store. Previous approaches to dynamic compartments are improved in flexibility or efficiency. This is illustrated by an appropriate model of osmosis and a correct encoding of BioAmbients
Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars
Aspect-orientation is a relatively new paradigm that introduces abstractions
to modularize the implementation of system-wide policies. It is based on a
composition operation, called aspect weaving, that implicitly modifies a base
system by performing related changes within the system modules. Aspect-oriented
graph grammars (AOGG) extend the classic graph grammar formalism by defining
aspects as sets of rule-based modifications over a base graph grammar. Despite
the advantages of aspect-oriented concepts regarding modularity, the implicit
nature of the aspect weaving operation may also introduce issues when reasoning
about the system behavior. Since in AOGGs aspect weaving is characterized by
means of rule-based rewriting, we can overcome these problems by using known
analysis techniques from the graph transformation literature to study aspect
composition. In this paper, we present a case study of a distributed
client-server system with global policies, modeled as an aspect-oriented graph
grammar, and discuss how to use the AGG tool to identify potential conflicts in
aspect weaving
Biochemical Reaction Rules with Constraints
International audienceWe propose React(C), an expressive programming language for stochastic modeling and simulation in systems biology, that is based on biochemical reactions with constraints. We prove that React(C) can express the stochastic pi-calculus, in contrast to previous rule-based programming languages, and further illustrate the high expressiveness of React(C). We present a stochastic simulator for React(C) independently of the choice of the constraint language C. Our simulator must decide for a given reaction rule whether it can be applied to the current biochemical solution. We show that this decision problem is NP-complete for arbitrary constraint systems C, and that it can be solved in polynomial time for rules of bounded arity. In practice, we propose to solve this problem by constraint programming
- …