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 organise 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.

Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore (2008). Prototyping concurrent systems with agents and artifacts: Framework and core calculus.

Prototyping concurrent systems with agents and artifacts: Framework and core calculus

RICCI, ALESSANDRO;VIROLI, MIRKO;CIMADAMORE, MAURIZIO
2008

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 organise 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.
2008
111
132
Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore (2008). Prototyping concurrent systems with agents and artifacts: Framework and core calculus.
Alessandro Ricci; Mirko Viroli; Maurizio Cimadamore
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/62737
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? ND
social impact