A5014225579- Modular Robots and Swarm Intelligence
- Distributed systems and fault tolerance
- Multi-Agent Systems and Negotiation
- Advanced Software Engineering Methodologies
- Logic, Reasoning, and Knowledge
- Service-Oriented Architecture and Web Services
- Semantic Web and Ontologies
- Logic, programming, and type systems
- Mobile Agent-Based Network Management
- Scientific Computing and Data Management
- Distributed and Parallel Computing Systems
- Distributed Control Multi-Agent Systems
- IoT and Edge/Fog Computing
- Context-Aware Activity Recognition Systems
- Peer-to-Peer Network Technologies
- Business Process Modeling and Analysis
- DNA and Biological Computing
- Formal Methods in Verification
- Mobile Crowdsensing and Crowdsourcing
- Software Engineering Research
- Slime Mold and Myxomycetes Research
- Model-Driven Software Engineering Techniques
- Gene Regulatory Network Analysis
- Advanced Memory and Neural Computing
- Cloud Computing and Resource Management
University of Bologna
2016-2025
Azienda-Unita' Sanitaria Locale Di Cesena
2008-2025
Michigan State University
2020
University of Luxembourg
2020
George Mason University
2020
Télécom Paris
2020
Laboratoire Traitement et Communication de l’Information
2020
University of St Andrews
2012-2020
University of Würzburg
2020
Rutgers, The State University of New Jersey
2020
Direct interaction and explicit communication are not always the best approaches for achieving coherent systemic behaviour in context of Multi-Agent Systems (MAS). This is evident when taking into account recent dealing with environment-based coordination such as stigmergy and, more generally, mediated interaction. In this paper we propose a conceptual, formal engineering framework based on notion artifact, which aims at generally systematising implicit heterogeneous, possibly intelligent...
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 succinctly enabling such safely encapsulated, modulated, composed with one another.
In this paper we address the engineering of complex and emerging computational systems featuring situatedness, adaptivity self-organisation, like pervasive computing applications in which humans devices, dipped a very mobile environment, opportunistically interact to provide exploit information services. We adopt meta-model possibly mobile, interconnected communicating agents work according set chemical-like laws. According view, substantiated by recent research on systems, present Alchemist...
The notion of a computational field has been proposed as unifying abstraction for developing distributed systems, focusing on the computations and coordination aggregates devices instead individual behavior. Prior field-based languages, however, have suffered from number practical limitations that posed barriers to adoption use. We address these by introduction Protelis, functional language based fields embedded in Java, thereby enabling construction widely reusable components aggregate...
Collective adaptive systems are an emerging class of networked computational particularly suited for application domains such as smart cities, complex sensor networks, and the Internet Things. These tend to feature large-scale, heterogeneity communication model (including opportunistic peer-to-peer wireless interaction) require inherent self-adaptiveness properties address unforeseen changes in operating conditions. In this context, it is extremely difficult (if not seemingly intractable)...
The complexity of large-scale distributed systems, particularly when deployed in physical space, calls for new mechanisms to address composability and reusability collective adaptive behaviour. Computational fields have been proposed as an effective abstraction fill the gap between macro-level such systems (specifying a system’s behaviour) micro-level (individual devices’ actions computation interaction implement that specification), thereby providing basis better facilitate engineering APIs...
Distributed collective systems are formed by homogeneous dynamic collections of devices acting in a shared environment to pursue joint task or goal. Typical applications emerge the context wireless sensor networks, robot swarms, groups wearable-augmented people, and computing infrastructures. Programming such is notoriously hard, due requirements scalability, concurrency, faults, difficulty making desired behaviour ultimately emerge: ad-hoc languages mechanisms have been proposed threads...
In human society, almost any cooperative working context accounts for different kinds of object, tool, artifacts in general, that humans adopt, share and intelligently exploit so as to support their activities, particular social ones. According theories sciences--Activity Theory Distributed Cognition are two main examples [5, 4]--and related disciplines computer science--such Computer Supported Cooperative Work (CSCW) Human-Computer Interaction (HCI)--such entities have a key role...
To support and engineer the spatial coordination of distributed pervasive services, we propose a chemical-inspired model, which extends tuple spaces with ability evolving tuples mimicking chemical systems, that is, in terms reaction diffusion rules apply to modulo semantic match. The suitability this model is studied by considering self-adaptive display infrastructure providing people nearby several visualization services (advertisements, news, personal social content). key result article...
Here we present the overall objectives and approach of SAPERE ("Self-aware Pervasive Service Ecosystems") project, focussed on development a highly-innovative nature-inspired framework, suited for decentralized deployment, execution, management, self-aware adaptive pervasive services in future network scenarios.
With the constant increase in number of interconnected devices today networks, and high demand adaptiveness, more computations can be designed according to self-organisation principles. In this context, a key building block for large-scale system coordination, called gradient, is used estimate distances fully-distributed way: it basis vast variety higher level patterns including information broadcast, events forecasting, distributed sensing, so on. However, computing gradients very...