Pistache

 swMATH ID: 7183 Software Authors: Matiello, Pedro; de Melo, Ana C.V. Description: Pistache: Implementing π-calculus in scala. π-calculus is a pioneer theory for concurrent and reconfigurable agent systems. It has been widely used as foundation (semantics) for other theories and languages aiming at representing the computational phenomenon of changing systems’ behaviour at runtime. In services-oriented applications for example, reconfiguration is highly required due to the needs of configuring systems accordingly to local contexts. Today, a set of researches are devoted to extending π-calculus features to reconcile concepts behind web-services applications. However, a problem still remains: how to simulate π-agents to have insights on the real behaviour of the specified system? The reconfiguration features embedded in π-calculus enrich its expressiveness but impose a more elaborate semantics, making its implementation a challenging task. The current work presents an implementation of all π-calculus core elements with which one can define agents and simulate them. Such implementation is given as a Domain Specific Language (DSL) in Scala. Homepage: https://code.google.com/p/pistache/ Keywords: Pi-calculus; Scala; reconfiguration Related Software: Pict; Scala; occam-pi Referenced in: 1 Publication

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
PiStache: implementing $$\pi$$-calculus in Scala. Zbl 1349.68128
Matiello, Pedro; de Melo, Ana C. V.
2011

Referenced by 2 Authors

 1 de Melo, Ana C. V. 1 Matiello, Pedro

Referenced in 1 Field

 1 Computer science (68-XX)