More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, due to several factors such as the widespread availability of multi-core / parallel architectures and Internet-based systems. Besides the typical fine-grained support currently provided, however, we seek in this paper for an higher-level approach. We present simpA, a library-based extension of Java which provides programmers with agent and artifact abstractions on top of the basic OO layer, as a means to organize and structure concurrent applications. To pave the way towards identifying a true language extension for simpA, we define a core calculus of agents and artifacts, by suitably mixing techniques coming from object-orientation and concurrency theory.
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus / Ricci Alessandro; Mirko Viroli; Maurizio Cimadamore. - STAMPA. - (2007), pp. 149-170. (Intervento presentato al convegno 6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), CONCUR 2007 tenutosi a Lisbona, Portogallovv nel 8 settembre 2007).
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
RICCI, ALESSANDRO;VIROLI, MIRKO;CIMADAMORE, MAURIZIO
2007
Abstract
More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, due to several factors such as the widespread availability of multi-core / parallel architectures and Internet-based systems. Besides the typical fine-grained support currently provided, however, we seek in this paper for an higher-level approach. We present simpA, a library-based extension of Java which provides programmers with agent and artifact abstractions on top of the basic OO layer, as a means to organize and structure concurrent applications. To pave the way towards identifying a true language extension for simpA, we define a core calculus of agents and artifacts, by suitably mixing techniques coming from object-orientation and concurrency theory.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
