Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus | Zendy

Alessandro Ricci | Zendy; Mirko Viroli | Zendy; Maurizio Cimadamore | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus

Author(s) -

Alessandro Ricci,

Mirko Viroli,

Maurizio Cimadamore

Publication year - 2008

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2008.03.102

Subject(s) - computer science , concurrency , programming language , concurrent object oriented programming , artifact (error) , java , concurrent computing , programming paradigm , software engineering , theoretical computer science , functional logic programming , inductive programming , artificial intelligence

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 suitabling mixing techniques coming from object-orientation and concurrency theory

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research