Service-oriented middleware for the future internet: state of the art and research directions

V Issarny, N Georgantas, S Hachem, A Zarras… - Journal of internet …, 2011 - Springer
Abstract Service-oriented computing is now acknowledged as a central paradigm for Internet
computing, supported by tremendous research and technology development over the last 10 …

Overview of software agent platforms available in 2023

Z Wrona, W Buchwald, M Ganzha, M Paprzycki, F Leon… - Information, 2023 - mdpi.com
Agent-based computing remains an active field of research with the goal of building (semi-)
autonomous software for dynamic ecosystems. Today, this task should be realized using …

A survey on engineering approaches for self-adaptive systems

C Krupitzer, FM Roth, S VanSyckel, G Schiele… - Pervasive and Mobile …, 2015 - Elsevier
The complexity of information systems is increasing in recent years, leading to increased
effort for maintenance and configuration. Self-adaptive systems (SASs) address this issue …

Aggregate programming for the internet of things

J Beal, D Pianini, M Viroli - Computer, 2015 - ieeexplore.ieee.org
Through field calculus constructs and building-block APIs, aggregate programming could
help unlock the IoT's true potential by allowing complex distributed services to be specified …

Environment programming in multi-agent systems: an artifact-based perspective

A Ricci, M Piunti, M Viroli - Autonomous Agents and Multi-Agent Systems, 2011 - Springer
This article introduces the notion of environment programming in software multi-agent
systems (MAS) and describes a concrete computational and programming model based on …

[HTML][HTML] From distributed coordination to field calculus and aggregate computing

M Viroli, J Beal, F Damiani, G Audrito, R Casadei… - Journal of Logical and …, 2019 - Elsevier
Aggregate computing is an emerging approach to the engineering of complex coordination
for distributed systems, based on viewing system interactions in terms of information …

A formal approach to autonomic systems programming: the SCEL language

RD Nicola, M Loreti, R Pugliese, F Tiezzi - ACM Transactions on …, 2014 - dl.acm.org
The autonomic computing paradigm has been proposed to cope with size, complexity, and
dynamism of contemporary software-intensive systems. The challenge for language …

Organizing the aggregate: Languages for spatial computing

J Beal, S Dulman, K Usbeck, M Viroli… - Formal and Practical …, 2013 - igi-global.com
As the number of computing devices embedded into engineered systems continues to rise,
there is a widening gap between the needs of the user to control aggregates of devices and …

Engineering resilient collective adaptive systems by self-stabilisation

M Viroli, G Audrito, J Beal, F Damiani… - ACM Transactions on …, 2018 - dl.acm.org
Collective adaptive systems are an emerging class of networked computational systems
particularly suited for application domains such as smart cities, complex sensor networks …

Chemical-oriented simulation of computational systems with ALCHEMIST

D Pianini, S Montagna, M Viroli - Journal of Simulation, 2013 - Taylor & Francis
In this paper we address the engineering of complex and emerging computational systems
featuring situatedness, adaptivity and self-organisation, like pervasive computing …