Originating from closed parallel systems, coordination models and technologies gained in expressive power so to deal with open distributed systems. In particular, nature-inspired models of coordination emerged in the last decade as the most effective approaches to tackle the complexity of pervasive, intelligent, and self-* systems. In this talk we survey the most relevant nature-inspired coordination models, discuss the main open issues, and explore the potential for their future development.
[Invited Talk @ IDC 2012, Calabria, Italy, 26/9/2012]
Autonomy, Interaction & Complexity in Computational Systems. Preliminary NotesAndrea Omicini
The issues of autonomy do not end with autonomous components. Autonomous systems are complex self-organising systems where interaction plays an essential role. Here we discuss some early thoughts on autonomy, interaction, and complexity in artificial systems, and suggest that nature-inspired coordination models should work as the main sources of technologies.
Complexity & Interaction: Blurring Borders between Physical, Computational, a...Andrea Omicini
The document discusses interaction in complex systems from multiple perspectives. It argues that interaction is a key factor in understanding complexity across different domains, including computational, physical, and social systems. Specifically, it notes that interaction is the primary source of complexity in computational systems. In physical systems, interacting particles lead to emergent macroscopic properties unlike independent particles. Similarly, meaningful interaction between individuals is required for collective behavior to emerge in social systems. Coordination models are proposed as a way to define and govern interaction in computational systems in order to produce desired global properties, taking inspiration from principles of interacting systems in other domains.
This document discusses coordination models and technologies for self-organizing systems. It provides background on tuple-based models for complex systems coordination, which originated from Linda and allow for distributed coordination through shared tuple spaces. Key features of tuple-based models include knowledge-based coordination through associative access to tuples, distribution of coordination media, and programmability of coordination rules. These features help enable coordination in complex, distributed systems.
Coordination Models and Technologies toward Self-Organising SystemsAndrea Omicini
Starting from the pioneering work on Linda and Gamma, coordination models and languages have gone through an amazing evolution process over the years. From closed to open systems, from parallel computing to multi-agent systems and from database integration to knowledge-intensive environments, coordination abstractions and technologies have gained in relevance and power in those scenarios where complexity has become a key factor. In this lecture, we outline and motivate 25 years of evolution of coordination models and discuss their potential perspectives in the future of artificial systems.
[Lecture at the AWARENESS Virtual Lecture Series]
Introduction: The Structure of Complex systems, The Inherent Complexity of Software, Attributes of Complex System, Organized and Disorganized Complexity, Bringing Order to Chaos, Designing Complex Systems
Nature-inspired Coordination for Complex Multi-Agent SystemsAndrea Omicini
The document discusses nature-inspired coordination for complex multi-agent systems. It provides examples of early nature-inspired coordination models like stigmergy and chemical coordination. It also discusses modern field-based and (bio)chemical coordination models. It addresses basic issues with nature-inspired coordination regarding the environment and incorporating stochastic behavior. It discusses tuple-based coordination models and how Linda inspired many extensions, some of which are nature-inspired. It argues that fully capturing natural systems requires addressing time dependency and stochasticity in coordination models.
Molecules Of Knowledge: Self-Organisation In Knowledge-Intensive EnvironmentsStefano Mariani
This talk discusses the paper “Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments”, presented at the 6th International Symposium on Intelligent Distributed Computing (IDC 2012).
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive EnvironmentsAndrea Omicini
We propose a novel self-organising knowledge-oriented model based on biochemical tuple spaces, called Molecules of Knowledge (MoK). We introduce MoK basic entities, define its computational model, and discuss its mapping on the TuCSoN coordination model for its implementation.
[IDC 2012, Calabria, Italy, 24/9/2012
Autonomy, Interaction & Complexity in Computational Systems. Preliminary NotesAndrea Omicini
The issues of autonomy do not end with autonomous components. Autonomous systems are complex self-organising systems where interaction plays an essential role. Here we discuss some early thoughts on autonomy, interaction, and complexity in artificial systems, and suggest that nature-inspired coordination models should work as the main sources of technologies.
Complexity & Interaction: Blurring Borders between Physical, Computational, a...Andrea Omicini
The document discusses interaction in complex systems from multiple perspectives. It argues that interaction is a key factor in understanding complexity across different domains, including computational, physical, and social systems. Specifically, it notes that interaction is the primary source of complexity in computational systems. In physical systems, interacting particles lead to emergent macroscopic properties unlike independent particles. Similarly, meaningful interaction between individuals is required for collective behavior to emerge in social systems. Coordination models are proposed as a way to define and govern interaction in computational systems in order to produce desired global properties, taking inspiration from principles of interacting systems in other domains.
This document discusses coordination models and technologies for self-organizing systems. It provides background on tuple-based models for complex systems coordination, which originated from Linda and allow for distributed coordination through shared tuple spaces. Key features of tuple-based models include knowledge-based coordination through associative access to tuples, distribution of coordination media, and programmability of coordination rules. These features help enable coordination in complex, distributed systems.
Coordination Models and Technologies toward Self-Organising SystemsAndrea Omicini
Starting from the pioneering work on Linda and Gamma, coordination models and languages have gone through an amazing evolution process over the years. From closed to open systems, from parallel computing to multi-agent systems and from database integration to knowledge-intensive environments, coordination abstractions and technologies have gained in relevance and power in those scenarios where complexity has become a key factor. In this lecture, we outline and motivate 25 years of evolution of coordination models and discuss their potential perspectives in the future of artificial systems.
[Lecture at the AWARENESS Virtual Lecture Series]
Introduction: The Structure of Complex systems, The Inherent Complexity of Software, Attributes of Complex System, Organized and Disorganized Complexity, Bringing Order to Chaos, Designing Complex Systems
Nature-inspired Coordination for Complex Multi-Agent SystemsAndrea Omicini
The document discusses nature-inspired coordination for complex multi-agent systems. It provides examples of early nature-inspired coordination models like stigmergy and chemical coordination. It also discusses modern field-based and (bio)chemical coordination models. It addresses basic issues with nature-inspired coordination regarding the environment and incorporating stochastic behavior. It discusses tuple-based coordination models and how Linda inspired many extensions, some of which are nature-inspired. It argues that fully capturing natural systems requires addressing time dependency and stochasticity in coordination models.
Molecules Of Knowledge: Self-Organisation In Knowledge-Intensive EnvironmentsStefano Mariani
This talk discusses the paper “Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments”, presented at the 6th International Symposium on Intelligent Distributed Computing (IDC 2012).
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive EnvironmentsAndrea Omicini
We propose a novel self-organising knowledge-oriented model based on biochemical tuple spaces, called Molecules of Knowledge (MoK). We introduce MoK basic entities, define its computational model, and discuss its mapping on the TuCSoN coordination model for its implementation.
[IDC 2012, Calabria, Italy, 24/9/2012
Redes de sensores sem fio autonômicas: abordagens, aplicações e desafiosPET Computação
Este curso tem como principal objetivo apresentar aos ouvintes conceitos sobre redes de sensores sem fio (RSSF), protocolos de comunicação para RSSF e conceitos de computação autonômica. Além disso, aplicações focadas nas áreas de monitoramento ambiental, agricultura de precisão, segurança e defesa também serão apresentados.
March 28, 2002: "Understanding Complex Systems: Notational Engineering and Ultra-Structure". Talk given at the University of North Carolina, Chapel Hill.
The increased potential of the ontologies to reduce the human interference has wide range of applications. This paper identifies requirements for an ontology development platform to innovate artificially intelligent web. To facilitate this process, RDF and OWL have been developed as standard formats for the sharing and integration of data and knowledge. The knowledge in the form of rich conceptual schemas called ontologies. Based on the framework, an architectural paradigm is put forward in view of ontology engineering and development of ontology applications and a development portal designed to support ontology engineering, content authoring and application development with a view to maximal scalability in size and complexity of semantic knowledge and flexible reuse of ontology models and ontology application processes in a distributed and collaborative engineering environment.
Tools for Ontology Building from Texts: Analysis and Improvement of the Resul...IOSR Journals
Text2Onto is a tool that learns ontologies from textual data by extracting ontology components like concepts, relations, instances, and hierarchies. It analyzes texts through linguistic preprocessing using Gate to tokenize, tag parts of speech, and identify noun and verb phrases. Algorithms then extract ontology components and store them probabilistically in a Preliminary Ontology Model independent of any representation language. The study aimed to understand Text2Onto's architecture, analyze errors in its extractions, and attempt improvements by using a meta-model of the text to better classify concepts under core concepts.
The Autonomy of Automated Systems: Social Systems and the Multi-level AutonomyAndrea Omicini
In this part of the presentation, we extend our discussion of the notion of autonomy to include multi-agent, coordinated, and self-organising systems, by introducing the notion of multi-level autonomy.
Interactions for Learning as Expressed in an IMS LD Runtime EnvironmentMichael Derntl
This document discusses interactions in learning environments that use IMS Learning Design specifications. It analyzes how pedagogical aspects are expressed at runtime in IMS LD players. The authors selected the SLeD player and analyzed several real-world learning designs to identify support for and obstacles to different interaction types, such as student-student and student-teacher interactions. Challenges included unclear instructions for collaboration, roles that were not separately identifiable by teachers for support purposes, and complex mappings of roles to learning paths. The analysis aims to inform improvements to IMS LD runtime environments.
Course on "Nature-inspired Coordination Models for Complex Distributed Systems", Part II.
CUSO Seminar on Coordination Models, 20 - 21 November 2014, Fribourg, CH
The Role of (Software) Languages in the Socio-Technical Coordination (Oct., 2...Benoit Combemale
The document discusses the role of software languages in socio-technical coordination. It argues that domain-specific modeling languages (DSMLs) are key for bridging the problem and solution spaces, and providing cognitive support for social coordination. However, DSMLs are often developed independently, making it difficult to reason across models from different domains. The document calls for "globalizing" modeling languages by supporting coordinated use of multiple DSMLs to facilitate work across different domains of expertise.
Self-Organising News Management: The Molecules of Knowledge ApproachAndrea Omicini
Nowadays, news management systems present new critical challenges in the knowledge management process: the ever-increasing amount of information to handle, its hetero- geneity in structure, and the pace at which it is made available are just a few to mention. Features such as autonomy and self- organisation are apparently essential to face challenges of such a sort: we foresee systems where news are generated in shared spaces – compartments – as molecules of knowledge, which self- aggregate and autonomously move toward news prosumers— e.g., journalists. Along this line, we discuss the Molecules of Knowledge (MoK) model for self-organising news management, featuring biochemical tuple spaces for creation, aggregation, diffusion and consumption of news. We discuss the MoK general computational model and describe its main abstractions, then we focus on news management, showing how to integrate the state-of-art international standards for news representation and dissemination in MoK, thus leading to the MoK-News domain-specific model; finally we discuss our first experiments in self-organising knowledge-oriented coordination for news management.
[ASENSIS @ SASO 2012, Lyon, France — 10/09/2012]
A Semi-Automatic Ontology Extension Method for Semantic Web ServicesIDES Editor
this paper provides a novel semi-automatic ontology
extension method for Semantic Web Services (SWS). This is
significant since ontology extension methods those existing
in literature mostly deal with semantic description of static
Web resources such as text documents. Hence, there is a need
for methods that can serve dynamic Web resources such as
SWS. The developed method in this paper avoids redundancy
and respects consistency so as to assure high quality of the
resulting shared ontologies.
CONSIDERATION OF HUMAN COMPUTER INTERACTION IN ROBOTIC FIELD ijcsit
This document discusses considerations for improving human-robot interaction through applying principles of human-computer interaction. It summarizes several existing models of human-computer interaction and adapts the action theory model to the context of human-robot interaction. The adapted model incorporates the simulation of robot emotions and awareness of human emotions into the interaction process. The summary then provides examples of how this adapted model could be applied to scenarios of social interaction between humans and robots.
The document discusses knowledge-based e-learning environments. It describes how ontologies represent the conceptual knowledge in a domain and how student models track individual learners' knowledge. Personalized texts and intelligent tutoring are generated based on these models. The SINTEC project developed collaborative e-learning tools using semantic web technologies, ontologies, and student modeling to enable intelligent search and adaptive content.
Space-aware Coordination in RespecTAndrea Omicini
Spatial issues are essential in new classes of complex software systems, such as pervasive, multi-agent, and self-organising ones. Understanding the basic mechanisms of spatial coordination is a fundamental issue for coordination models and languages in order to deal with such systems, governing situated interaction in the spatio-temporal fabric. Along this line, in this talk we make space-aware coordination media out of ReSpecT tuple centres, by introducing the few basic mechanisms and constructs that enable the ReSpecT language to face most of the main challenges of spatial coordination in complex software systems.
[Talk @ WOA 2013]
Blending Event-Based and Multi-Agent Systems around Coordination AbstractionsAndrea Omicini
While event-based architectural style has become prevalent for large-scale distributed applications, multi-agent systems seemingly provide the most viable abstractions to deal with complex distributed systems. In this talk we discuss the role of coordination abstractions as a basic brick for a unifying conceptual framework for agent-based and event-based systems, which could work as the foundation of a principled discipline for the engineering of complex software systems.
[Talk by Stefano Mariani @ COORDINATION 2015, 3/6/3015, Grenoble, France]
Coordination for Situated MAS: Towards an Event-driven ArchitectureAndrea Omicini
Complex software systems modelled as multi-agent systems (MAS) are characterised by activities that are generated either by agents, or by the environment in its most general acceptation — that is, environmental resources and the spatio-temporal fabric. Modelling and engineering complex MAS – such as pervasive, adaptive, and situated MAS – requires then to properly handle diverse classes of events: agent operations, resource events, spatio-temporal situation. In this talk we first devise out the requirements and sketch a software architecture for an agent middleware based on boundary artefacts such as agent coordination contexts, resource transducers, and space-time transducers. Then we discuss its system architecture exploiting agent, environment & space-time managers, and show some examples of a concrete architecture based on the TuCSoN middleware for MAS coordination.
Agent-based and Chemical-inspired Approaches for Multicellular ModelsAndrea Omicini
The talk discusses the issue of finding suitable modelling approaches for capturing multicellular system dynamics. Computational models and tools envisioned by our group are presented. In particular the talk introduces (i) the Biochemical Tuple Spaces (BTS-SOC) coordination model adopted to simulate structured biochemical systems, (ii) MS-BioNET developed to efficiently simulate multi-compartment systems and (iii) ALCHEMIST developed for supporting chemical models of multi-compartment dynamic networks.
(Talk by Sara Montagna, CINI InfoLife, Pisa, Italy, 11/7/2014)
The impact of mobile technologies on healthcare is particularly evident in the case of self-management of chronic diseases, where they can decrease spending and improve the patient quality of life. In this talk we propose the adoption of agent-based modelling and simulation techniques as built-in tools to dynamically monitor patient health state and provide feedbacks for self-management. To demonstrate the feasibility of our proposal we focus on Type 1 Diabetes Mellitus as our case study, and provide some preliminary simulation results.
Privacy through Anonymisation in Large-scale Socio-technical Systems: The BIS...Andrea Omicini
Large-scale socio-technical systems (STS) inextricably inter-connect individual – e.g., the right to privacy –, social – e.g., the effectiveness of organisational processes –, and technology issues —e.g., the software engineering process. As a result, the design of the complex software infrastructure involves also non-technological aspects such as the legal ones—so that, e.g., law-abidingness can be ensured since the early stages of the software engineering process. By focussing on contact centres (CC) as relevant examples of knowledge-intensive STS, we elaborate on the articulate aspects of anonymisation: there, individual and organisational needs clash, so that only an accurate balancing between legal and technical aspects could possibly ensure the system efficiency while preserving the individual right to privacy. We discuss first the overall legal framework, then the general theme of anonymisation in CC. Finally we overview the technical process developed in the context of the BISON project.
Project presentation @ DMI, Università di Catania, Italy, 25 July 2016
From Coordination to Semantic Self-Organisation: A Perspective on the Enginee...Andrea Omicini
After briefly recapitulating the classical lines of the literature on coordination models, we discuss the new lines of research that aim at addressing the coordination of complex systems, then focus on mechanisms and patterns of coordination for self-organising systems. The notions of semantic coordination and self-organising coordination are defined and shortly discussed, then a vision of SOSC (self-organising semantic coordination) is presented, along with some insights over available technologies and possible scenarios for SOSC.
[Lecture at the PhD Mini-school, 11th National Workshop "From Objects to Agents" (WOA 2010) — 05/09/2010, Bologna, Italy.
MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Pur...Stefano Mariani
This talk discusses the paper “MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes”, presented at SOCIAL:PATH @ AISB 2013.
Redes de sensores sem fio autonômicas: abordagens, aplicações e desafiosPET Computação
Este curso tem como principal objetivo apresentar aos ouvintes conceitos sobre redes de sensores sem fio (RSSF), protocolos de comunicação para RSSF e conceitos de computação autonômica. Além disso, aplicações focadas nas áreas de monitoramento ambiental, agricultura de precisão, segurança e defesa também serão apresentados.
March 28, 2002: "Understanding Complex Systems: Notational Engineering and Ultra-Structure". Talk given at the University of North Carolina, Chapel Hill.
The increased potential of the ontologies to reduce the human interference has wide range of applications. This paper identifies requirements for an ontology development platform to innovate artificially intelligent web. To facilitate this process, RDF and OWL have been developed as standard formats for the sharing and integration of data and knowledge. The knowledge in the form of rich conceptual schemas called ontologies. Based on the framework, an architectural paradigm is put forward in view of ontology engineering and development of ontology applications and a development portal designed to support ontology engineering, content authoring and application development with a view to maximal scalability in size and complexity of semantic knowledge and flexible reuse of ontology models and ontology application processes in a distributed and collaborative engineering environment.
Tools for Ontology Building from Texts: Analysis and Improvement of the Resul...IOSR Journals
Text2Onto is a tool that learns ontologies from textual data by extracting ontology components like concepts, relations, instances, and hierarchies. It analyzes texts through linguistic preprocessing using Gate to tokenize, tag parts of speech, and identify noun and verb phrases. Algorithms then extract ontology components and store them probabilistically in a Preliminary Ontology Model independent of any representation language. The study aimed to understand Text2Onto's architecture, analyze errors in its extractions, and attempt improvements by using a meta-model of the text to better classify concepts under core concepts.
The Autonomy of Automated Systems: Social Systems and the Multi-level AutonomyAndrea Omicini
In this part of the presentation, we extend our discussion of the notion of autonomy to include multi-agent, coordinated, and self-organising systems, by introducing the notion of multi-level autonomy.
Interactions for Learning as Expressed in an IMS LD Runtime EnvironmentMichael Derntl
This document discusses interactions in learning environments that use IMS Learning Design specifications. It analyzes how pedagogical aspects are expressed at runtime in IMS LD players. The authors selected the SLeD player and analyzed several real-world learning designs to identify support for and obstacles to different interaction types, such as student-student and student-teacher interactions. Challenges included unclear instructions for collaboration, roles that were not separately identifiable by teachers for support purposes, and complex mappings of roles to learning paths. The analysis aims to inform improvements to IMS LD runtime environments.
Course on "Nature-inspired Coordination Models for Complex Distributed Systems", Part II.
CUSO Seminar on Coordination Models, 20 - 21 November 2014, Fribourg, CH
The Role of (Software) Languages in the Socio-Technical Coordination (Oct., 2...Benoit Combemale
The document discusses the role of software languages in socio-technical coordination. It argues that domain-specific modeling languages (DSMLs) are key for bridging the problem and solution spaces, and providing cognitive support for social coordination. However, DSMLs are often developed independently, making it difficult to reason across models from different domains. The document calls for "globalizing" modeling languages by supporting coordinated use of multiple DSMLs to facilitate work across different domains of expertise.
Self-Organising News Management: The Molecules of Knowledge ApproachAndrea Omicini
Nowadays, news management systems present new critical challenges in the knowledge management process: the ever-increasing amount of information to handle, its hetero- geneity in structure, and the pace at which it is made available are just a few to mention. Features such as autonomy and self- organisation are apparently essential to face challenges of such a sort: we foresee systems where news are generated in shared spaces – compartments – as molecules of knowledge, which self- aggregate and autonomously move toward news prosumers— e.g., journalists. Along this line, we discuss the Molecules of Knowledge (MoK) model for self-organising news management, featuring biochemical tuple spaces for creation, aggregation, diffusion and consumption of news. We discuss the MoK general computational model and describe its main abstractions, then we focus on news management, showing how to integrate the state-of-art international standards for news representation and dissemination in MoK, thus leading to the MoK-News domain-specific model; finally we discuss our first experiments in self-organising knowledge-oriented coordination for news management.
[ASENSIS @ SASO 2012, Lyon, France — 10/09/2012]
A Semi-Automatic Ontology Extension Method for Semantic Web ServicesIDES Editor
this paper provides a novel semi-automatic ontology
extension method for Semantic Web Services (SWS). This is
significant since ontology extension methods those existing
in literature mostly deal with semantic description of static
Web resources such as text documents. Hence, there is a need
for methods that can serve dynamic Web resources such as
SWS. The developed method in this paper avoids redundancy
and respects consistency so as to assure high quality of the
resulting shared ontologies.
CONSIDERATION OF HUMAN COMPUTER INTERACTION IN ROBOTIC FIELD ijcsit
This document discusses considerations for improving human-robot interaction through applying principles of human-computer interaction. It summarizes several existing models of human-computer interaction and adapts the action theory model to the context of human-robot interaction. The adapted model incorporates the simulation of robot emotions and awareness of human emotions into the interaction process. The summary then provides examples of how this adapted model could be applied to scenarios of social interaction between humans and robots.
The document discusses knowledge-based e-learning environments. It describes how ontologies represent the conceptual knowledge in a domain and how student models track individual learners' knowledge. Personalized texts and intelligent tutoring are generated based on these models. The SINTEC project developed collaborative e-learning tools using semantic web technologies, ontologies, and student modeling to enable intelligent search and adaptive content.
Space-aware Coordination in RespecTAndrea Omicini
Spatial issues are essential in new classes of complex software systems, such as pervasive, multi-agent, and self-organising ones. Understanding the basic mechanisms of spatial coordination is a fundamental issue for coordination models and languages in order to deal with such systems, governing situated interaction in the spatio-temporal fabric. Along this line, in this talk we make space-aware coordination media out of ReSpecT tuple centres, by introducing the few basic mechanisms and constructs that enable the ReSpecT language to face most of the main challenges of spatial coordination in complex software systems.
[Talk @ WOA 2013]
Blending Event-Based and Multi-Agent Systems around Coordination AbstractionsAndrea Omicini
While event-based architectural style has become prevalent for large-scale distributed applications, multi-agent systems seemingly provide the most viable abstractions to deal with complex distributed systems. In this talk we discuss the role of coordination abstractions as a basic brick for a unifying conceptual framework for agent-based and event-based systems, which could work as the foundation of a principled discipline for the engineering of complex software systems.
[Talk by Stefano Mariani @ COORDINATION 2015, 3/6/3015, Grenoble, France]
Coordination for Situated MAS: Towards an Event-driven ArchitectureAndrea Omicini
Complex software systems modelled as multi-agent systems (MAS) are characterised by activities that are generated either by agents, or by the environment in its most general acceptation — that is, environmental resources and the spatio-temporal fabric. Modelling and engineering complex MAS – such as pervasive, adaptive, and situated MAS – requires then to properly handle diverse classes of events: agent operations, resource events, spatio-temporal situation. In this talk we first devise out the requirements and sketch a software architecture for an agent middleware based on boundary artefacts such as agent coordination contexts, resource transducers, and space-time transducers. Then we discuss its system architecture exploiting agent, environment & space-time managers, and show some examples of a concrete architecture based on the TuCSoN middleware for MAS coordination.
Agent-based and Chemical-inspired Approaches for Multicellular ModelsAndrea Omicini
The talk discusses the issue of finding suitable modelling approaches for capturing multicellular system dynamics. Computational models and tools envisioned by our group are presented. In particular the talk introduces (i) the Biochemical Tuple Spaces (BTS-SOC) coordination model adopted to simulate structured biochemical systems, (ii) MS-BioNET developed to efficiently simulate multi-compartment systems and (iii) ALCHEMIST developed for supporting chemical models of multi-compartment dynamic networks.
(Talk by Sara Montagna, CINI InfoLife, Pisa, Italy, 11/7/2014)
The impact of mobile technologies on healthcare is particularly evident in the case of self-management of chronic diseases, where they can decrease spending and improve the patient quality of life. In this talk we propose the adoption of agent-based modelling and simulation techniques as built-in tools to dynamically monitor patient health state and provide feedbacks for self-management. To demonstrate the feasibility of our proposal we focus on Type 1 Diabetes Mellitus as our case study, and provide some preliminary simulation results.
Privacy through Anonymisation in Large-scale Socio-technical Systems: The BIS...Andrea Omicini
Large-scale socio-technical systems (STS) inextricably inter-connect individual – e.g., the right to privacy –, social – e.g., the effectiveness of organisational processes –, and technology issues —e.g., the software engineering process. As a result, the design of the complex software infrastructure involves also non-technological aspects such as the legal ones—so that, e.g., law-abidingness can be ensured since the early stages of the software engineering process. By focussing on contact centres (CC) as relevant examples of knowledge-intensive STS, we elaborate on the articulate aspects of anonymisation: there, individual and organisational needs clash, so that only an accurate balancing between legal and technical aspects could possibly ensure the system efficiency while preserving the individual right to privacy. We discuss first the overall legal framework, then the general theme of anonymisation in CC. Finally we overview the technical process developed in the context of the BISON project.
Project presentation @ DMI, Università di Catania, Italy, 25 July 2016
From Coordination to Semantic Self-Organisation: A Perspective on the Enginee...Andrea Omicini
After briefly recapitulating the classical lines of the literature on coordination models, we discuss the new lines of research that aim at addressing the coordination of complex systems, then focus on mechanisms and patterns of coordination for self-organising systems. The notions of semantic coordination and self-organising coordination are defined and shortly discussed, then a vision of SOSC (self-organising semantic coordination) is presented, along with some insights over available technologies and possible scenarios for SOSC.
[Lecture at the PhD Mini-school, 11th National Workshop "From Objects to Agents" (WOA 2010) — 05/09/2010, Bologna, Italy.
MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Pur...Stefano Mariani
This talk discusses the paper “MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes”, presented at SOCIAL:PATH @ AISB 2013.
Nature-inspired Coordination: Current Status and Research TrendsAndrea Omicini
Tutorial @WI 2017, Leipzig, 23 August 2017
Andrea Omicini & Stefano Mariani, Lecturers
Originating from closed parallel systems, coordination models and technologies gained in expressive power so as to deal with complex distributed systems. In particular, nature-inspired models of coordination emerged in the last decade as the most effective approaches to tackle the complexity of pervasive, intelligent, and self-* systems.
In the first part of the tutorial we introduce the basic notions of coordination and coordination model, and relate them to the notions of interaction and complexity. Then, the most relevant nature-inspired coordination (NIC) models are discussed, along with their relationship with the many facets of tuple-based models. In the third part we discuss the main open issues and explore the trends for future development of NIC. Finally, as a case study, we focus on MoK (Molecules of Knowledge), a NIC model for knowledge self-organisation, where data and information autonomously aggregate and spread toward knowledge prosumers.
Research Trends in Nature-inspired Coordination ModelsAndrea Omicini
This document discusses research trends in nature-inspired coordination models. It begins by examining how interaction is a key factor in complex systems, using examples from statistical mechanics and social systems. Coordination models can help define interaction rules for computational systems, and relate concepts from statistical mechanics like phase transitions. Socio-technical systems combine aspects of both social and computational systems, and coordination models may help shape their behavior based on physics models. The document advocates developing complex socio-technical systems guided by coordination models and statistical physics modeling of macro properties.
Self-Organising News Management: The Molecules Of Knowledge ApproachStefano Mariani
This talk discusses the paper “Self-Organising News Management: The Molecules of Knowledge Approach”, presented at the 1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012).
Complexity in computational systems: the coordination perspectiveAndrea Omicini
In this talk we discuss the role of coordination models and technologies in the engineering of complex computational systems.
Complex Systems Physics Meeting IMT-UNIBO
Dipartimento di Fisica e Astronomia, Università di Bologna
Bologna, Italy, 15/02/2018
Complexity & Interaction: Blurring Borders between Physical, Computational, a...Andrea Omicini
The document discusses complexity and interaction in complex systems from perspectives of statistical mechanics, computer science, and social systems. It argues that interaction is key to understanding complex systems and that coordination models can define interaction rules in computational systems to produce emergent behaviors similar to physical systems. Future work is proposed to model social platforms using both statistical mechanics and coordination technologies to predict behaviors and set system properties.
Course on "Nature-inspired Coordination Models for Complex Distributed Systems", Part I.
CUSO Seminar on Coordination Models, 20 - 21 November 2014, Fribourg, CH
Coordination Issues in Complex Socio-technical Systems: Self-organisation of ...Stefano Mariani
The thesis proposes the Molecules of Knowledge (MoK) model for self-organisation of knowledge in knowledge-intensive socio-technical systems.
The main contribution is the conception, definition, design, and implementation of the MoK model.
The model is based on a chemical metaphor for self-organising coordination, in which coordination laws are interpreted as artificial chemical reactions ruling evolution of the molecules of knowledge living in the system (the information chunks), indirectly coordinating the users working with them.
In turn, users may implicitly affect system behaviour with their interactions, according to the cognitive theory of behavioural implicit communication, integrated in MoK.
The theory states that any interaction conveys tacit messages that can be suitably interpreted by the coordination model to better support users' workflows.
Design and implementation of the MoK model required two other contributions: conception, design, and tuning of the artificial chemical reactions with custom kinetic rates, playing the role of the coordination laws, and development of an infrastructure supporting situated coordination, both in time, space, and w.r.t. the environment, along with a dedicated coordination language.
This document summarizes a PhD presentation on coordination issues in complex socio-technical systems. It discusses leveraging self-organization through a chemical-inspired coordination model. Various design patterns like decay, feed, activation, and inhibition are modeled as artificial chemical reactions. Custom kinetic rates are used to engineer different emergent behaviors. Uniform coordination primitives featuring probabilistic non-determinism are also discussed. The overall goal is to develop a model called "Molecules of Knowledge" for self-organization of knowledge in knowledge-intensive systems.
This document summarizes an experiment on small group dynamics using a virtual interaction environment. It included three conditions: a minority voting game with no consensus strategy, a blank interaction with no task, and a majority voting game. The experiment aimed to characterize how communication networks and affinities form in small groups. It used an interface dividing interaction between public chat and private messages, and public/private radar spaces to manipulate positions. Order parameters like activity, centrality degree, and probability matrices were used to analyze communication structure and relationships over time. The results were intended to capture fundamental aspects of individual behavior in small group virtual dynamics.
Anticipatory Coordination in Socio-technical Knowledge-intensive Environments...Andrea Omicini
This document discusses using behavioral implicit communication (BIC) to enable anticipatory coordination in socio-technical knowledge-intensive environments. It proposes extending the Molecules of Knowledge (MoK) coordination model to treat computational environments as shared environments where agents' actions and traces are observable. Enzymes and traces in MoK are redefined to represent epistemic actions and their side effects, enabling the environment to implicitly understand intentions and goals. This lays the groundwork for collective intelligence and anticipatory coordination through the tacit messages conveyed by agents' observable behaviors. An experiment simulates a citizen journalism scenario where search actions in a MoK-based system spread information in a self-organizing, adaptive manner.
Towards the Analysis & Prediction of Complex System Behaviour in SAPEREAndrea Omicini
Complex computational systems are often intrinsically unpredictable even for the engineers designing them: understanding their possible evolution over time is typically required, for instance in order to match some application requirements. In this paper, we first survey some of the most promising and effective techniques for the analysis and prediction of complex computational systems, then we focus on SAPERE-coordinated pervasive ecosystems. We identify the most essential elements of the SAPERE coordination model, select two techniques – model checking and data mining –, and derive two possible approaches to the analysis and prediction of the behaviour of SAPERE systems.
The document discusses sustainability and engineering practice for the 21st century. It argues that engineering needs to shift from reactive approaches to active adaptive planning to address complex problems. It proposes that engineering practice needs to become more transdisciplinary, dissolve boundaries, and focus on creating desirable futures that are consistent with collective goals of sustainability. Key ideas are addressing "wicked problems" systemically and using foresight to create sustainable outcomes.
This document proposes a conceptual map and classification system for ensembles of autonomic components based on their awareness and organization. It outlines trees of concepts related to the single component level (communication, internal architecture, awareness capabilities) and the ensemble level (organization, architecture, team features). The goal is to enhance reuse and adaptation of components by defining their relationships and required features for different coordination patterns. Future work includes formalizing the concept of distances between patterns and implementing test scenarios to validate the classifications.
Anton Rossouw Pmoz 2009 Adaptive Project Managementantonrossouw
This document provides an overview of complexity science and how its principles can be applied to project management through an approach called adaptive project management. It discusses how complexity science views organizations and projects as complex adaptive systems rather than linear systems. Key aspects of complexity discussed include emergence, self-organization, nonlinear behaviors and operating at the "edge of chaos" for innovation. The document argues adaptive project management can help projects and organizations better manage unpredictable change by focusing on feedback, relationships and facilitating emergent order.
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive EnvironmentsStefano Mariani
Molecules of Knowledge (MoK) is a coordination model supporting self-organisation of knowledge in Knowledge Intensive Environments (KIE). Usual approaches to knowledge management in KIE consider data as a passive, "dead" entity and rely on "brute force" approaches assuming an ever-increasing computational power and storage capacity (e.g. big data). This won't scale forever, thus alternative approaches should be explored. MoK promotes the vision of data as a "live" thing, continuously and spontaneously interacting and evolving---self-organising. Accordingly, MoK relies on features such as locality, probability and situatedness to tackle KIE challenges such as scale, openness and unpredictability. In this seminar, the MoK model is motivated and introduced, then some early "evaluation" described.
Feedback thought at the intersection of systems and design scienceDaniel Guzzo
Paper title: Feedback thought at the intersection of systems and design science
Authors: Igor Czermainski de Oliveira, Daniel Guzzo and Daniela C. A. Pigosso
Abstract:
This paper explores the interplay of feedback principles in design and systems science. From their roots in engineering, biology, and economics, it investigates intersections between design, cybernetics and servomechanisms. The synthesis emphasizes the need for considering feedback in anticipating unintended consequences and proposes an integrative view reconciling fundamental assumptions from the different fields through simulation. This holistic approach underscores the pivotal role of feedback in understanding and addressing complex phenomena, such as rebound effects, in design science.
DESIGN 2024 Conference presentation
Fundamentals of Collective Adaptive Systems ManifestoFoCAS Initiative
This document presents a manifesto summarizing the research agenda for collective adaptive systems developed by the FoCAS coordination action project over three years. It defines collective adaptive systems as consisting of diverse, autonomous but collaborating entities that continuously adapt to changes in their environment. The manifesto is structured in four chapters that introduce collective adaptive systems, present challenges in their fundamentals, propose engineering challenges, and summarize key concepts and directions. It aims to provide guidance for future research in this field.
Models and Concepts for Socio-technical Complex Systems: Towards Fractal Soci...Vincenzo De Florio
This document introduces fractal social organizations, a novel class of socio-technical complex systems characterized by a distributed, hierarchical architecture. Key concepts are defined through a case study of an elderly woman's smart home. The smart home detects if she has fallen and alerts her general practitioner. This simple example demonstrates how roles are organized into communities that work together to address situations. The document also presents a model of collective behaviors within static socio-technical systems. Despite its simplicity, the model's dynamics produce complex emergent properties like hierarchical organization and fractal patterns. These properties correspond to the intended architecture of fractal social organizations.
Similar to Nature-inspired Coordination for Complex Distributed Systems (20)
Measuring Trustworthiness in Neuro-Symbolic IntegrationAndrea Omicini
This document discusses measuring trustworthiness in neuro-symbolic integration systems. It begins by providing background on neuro-symbolic integration systems and how they integrate neural and symbolic AI approaches. It then discusses the public and regulatory focus on ensuring the trustworthiness of AI systems. The document motivates the need to define metrics to measure how well neuro-symbolic systems meet requirements for trustworthy AI, as requirements alone may not be enough without metrics. It proposes exploring how to translate and measure compliance with requirements for areas like human oversight, robustness, and privacy in the context of neuro-symbolic systems.
Explainable Pervasive Intelligence with Self-explaining AgentsAndrea Omicini
Pervasiveness of ICT resources along with the promise of ubiquitous intelligence is pushing hard both our demand and our fears of AI: demand mandates for the ability to inject intelligence ubiquitously; fears compel the behaviour of intelligent systems to be observable, explainable, and accountable. Whereas the first wave of the new "AI Era" was mostly heralded by sub-symbolic approaches, features like explainability are better provided by symbolic techniques. In particular, the notion of explanation should be regarded as a core notion for intelligent systems, rather than just an add-on to make them understandable to humans. Based on symbolic AI techniques to match intuitive and rational cognition, explanation should then be regarded as a fundamental tool for inter-agent communication among heterogeneous intelligent agents in open multi-agent systems. More generally, self-explaining agents should work as the basic components in the engineering of intelligent systems integrating both symbolic and sub-/non-symbolic AI techniques.
On the Integration of Symbolic and Sub-symbolic – Explaining by DesignAndrea Omicini
The more intelligent systems based on sub-symbolic techniques pervade our everyday lives, the less human can understand them. This is why symbolic approaches are getting more and more attention in the general effort to make AI interpretable, explainable, and trustable. Understanding the current state of the art of AI techniques integrating symbolic and sub-symbolic approaches is then of paramount importance, nowadays—in particular in the XAI perspective. In this talk we first provides an overview of the main symbolic/sub-symbolic integration techniques, focussing in particular on those targeting explainable AI systems. Then we expand the notion of “explainability by design” to the realm of multi-agent systems, where XAI techniques can play a key role in the engineering of intelligent systems.
Not just for humans: Explanation for agent-to-agent communicationAndrea Omicini
Once precisely defined so as to include just the explanation’s act, the notion of explanation should be regarded as a central notion in the engineering of intelligent system—not just as an add-on to make them understandable to humans. Based on symbolic AI techniques to match intuitive and rational cognition, explanation should be exploited as a fundamental tool for inter-agent communication among heterogeneous agents in open multi-agent systems. More generally, explanation-ready agents should work as the basic components in the engineering of intelligent systems integrating both symbolic and sub-/non-symbolic AI techniques.
Presented by Andrea Omicini @ AIxIA 2020 Discussion Paper Workshop
Blockchain for Intelligent Systems: Research PerspectivesAndrea Omicini
We summarise and compare features of MAS and BCT, and discuss how they could be fruitfully integrated in the engineering of intelligent systems by adopting a long-term research perspective.
Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MASAndrea Omicini
Pervasiveness of ICT resources along with the promise of ubiquitous intelligence is pushing hard both our demand and our fears of AI: demand mandates for the ability to inject (micro) intelligence ubiquitously, fears compel the behaviour of intelligent systems to be observable, explainable, and accountable.
Whereas the first wave of the new "AI Era" was mostly heralded by non-symbolic approaches, features like explainability are better provided by symbolic techniques.
In this talk we focus on logic-based approaches, and discuss their potential in pervasive scenarios like the IoT and open (M)MAS along with our latest results in the field.
Andrea Omicini, Roberta Calegari
Invited Talk
MMAS 2018, Stockholm, Sweden, 14 July 2018
Conversational Informatics: From Conversational Systems to Communication Inte...Andrea Omicini
The document discusses the history and development of conversational systems. It outlines some of the early work in natural language dialogue systems from the 1960s and focuses on three main areas of research: understanding and generating stories, cognitive systems, and integration of these approaches. Current conversational systems aim to more fully integrate these areas to provide more human-like conversational abilities.
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and ...Andrea Omicini
The increasing maturity of some well-established technologies – such as XPath – along with the sharp rise of brand-new ones – i.e. the blockchain – presents new opportunities to researchers in the field of multi-agent coordination. In this talk we briefly discuss a few technologies which, once suitably interpreted and integrated, have the potential to impact the very roots of tuple-based coordination as it stems from the archetypal LINDA model.
Micro-intelligence for the IoT: Teaching the Old Logic Dog New Programming Tr...Andrea Omicini
New application scenarios for pervasive intelligent systems open novel perspectives for logic-based approaches, in particular when coupled with agent-based technologies and methods. In this explorative talk we provide some examples of how logic programming and its extensions can work as sources of micro-intelligence for the IoT, at both the individual and the collective level, along with an overall architectural view of IoT systems exploiting logic-based technologies.
Logic Programming as a Service (LPaaS): Intelligence for the IoTAndrea Omicini
Talk @ ICNSC 2017, Calabria, Italy, 16 May 2017
Abstract: The widespread diffusion of low-cost computing devices, such as Arduino boards and Raspberry Pi, along with improvements of Cloud computing platforms, are paving the way towards a whole new set of opportunities for Internet of Things (IoT) applications and services. Varying degrees of intelligence are often required for supporting adaptation and self-management—yet, they should be provided in a light-weight, easy to use and customise, highly-interoperable way. Accordingly, in this paper we explore the idea of Logic Programming as a Service (LPaaS) as a novel and promising re-interpretation of distributed logic programming in the IoT era. After introducing the reference context and motivating scenarios of LPaaS as a key enabling technology for intelligent IoT, we define the LPaaS general system architecture. Then, we present a prototype implementation built on top of the tuProlog system, which provides the required interoperability and customisation. We showcase the LPaaS potential through a case study designed as a simplification of the motivating scenarios.
Game Engines to Model MAS: A Research RoadmapAndrea Omicini
This document outlines a research roadmap for bridging the gap between multi-agent systems (MAS) and game engines (GE). It finds that while GEs excel at modeling environments, they provide weak support for agency and sociality as conceptualized in MAS. The roadmap proposes a "mirror worlds" approach where GEs represent environments and MAS handle autonomy and social interaction. A case study applies this by implementing the dining philosophers problem in Unity3D, with agents, chairs and a table modeled as game objects that coordinate through messaging. The roadmap concludes that pursuing GE-based MAS infrastructure could integrate the technologies' strengths while avoiding forcing either to handle responsibilities it is not meant for.
Open distributed multi-agent systems featuring autonomous components demand coordination mechanisms for both functional and non-functional properties. Heterogeneity of requirements regarding interaction means and paradigms, stemming from the diverse nature of components, should not affect the effectiveness of coordination. Along this line, in this paper we share our pragmatical experience in the integration of objective and subjective, synchronous and asynchronous, reactive and pro-active coordination approaches within two widely-adopted agent-oriented technologies (JADE and Jason), enabling coordinating components to dynamically adapt their interaction means based on static preference or run-time contingencies.
Towards Logic Programming as a Service: Experiments in tuPrologAndrea Omicini
The document discusses experiments with logic programming as a service (LPaaS) using tuProlog. It proposes an LPaaS architecture with local APIs for creating engines, loading theories, and querying. It also describes implementing tuProlog as a service (2PaaS) on iOS, where tuProlog is embedded in an app and provides an API via URL schemes for other apps to interface with it. Example application scenarios are presented, including using tuProlog for symbolic derivatives and multi-language programming. Further work is outlined to better define and extend the LPaaS paradigm.
The document discusses the concept of space in computer science and computational systems. It describes how physical distribution of computational units and communication channels creates virtual spaces, such as distributed systems and middleware environments. It emphasizes that situated distributed systems and pervasive computing systems are needed to handle computation in physical environments and take into account the spatial aspects of those environments. Situatedness and context-awareness are important properties for computational systems to exhibit as they become more immersed in physical space.
Introductory tutorial on the foundations of agents and multi-agent systems at the 18th European Agent Systems Summer School (EASSS 2016) – 25 July 2016, Catania, Italy
Academic Publishing in the Digital Era: A Couple of Issues (Open Access—Well,...Andrea Omicini
The document discusses issues with the current academic publishing system. It notes that while technology has made production, diffusion, and access to scholarly works negligible in cost, access to most literature remains expensive. It also distinguishes between the validation of research, which ensures quality, and evaluation, which occurs after publication. While new publishers and self-archiving aim to address costs, true validation requires peer review before rather than after publication to maintain standards and scale effectively. Overall reforms are needed to make the system more economically sustainable while maintaining scientific rigor.
Self-organisation of Knowledge in Socio-technical Systems: A Coordination Per...Andrea Omicini
Some of the most peculiar traits of socio-technical systems (STS) in knowledge-intensive environments (KIE) – such as unpredictability of agents’ behaviour, ever-growing amount of information to manage, fast-paced production/consumption – tangle coordination of agents as well as coordination of information, by affecting, e.g., reachability by knowledge prosumers and manageability by the IT infrastructure. In this seminar we describe a novel approach to coordination of STS in KIE, grounded on the MoK (Molecules of Knowledge) model for knowledge self-organisation, and inspired to key concepts from the cognitive theory of BIC (behavioural implicit communication).
Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual FrameworkAndrea Omicini
Event-based systems (EBS) are nowadays the most viable sources of technologies and solutions for large-scale distributed applications. On the other hand, multi-agent systems (MAS) apparently provide the most viable abstractions and coherent methods to deal with complex distributed systems, in particular when advanced features – such as mobility, autonomy, symbolic reasoning, knowledge management, situation recognition – are required. In this talk we discuss how the core concepts of EBS and MAS can in principle be matched and integrated, providing a sound conceptual ground for a coherent discipline for the engineering of complex software systems.
[Keynote Speech @ IEEE CSCWD 2015, May 6, 2015, Calabria, Italy]
The Distributed Autonomy. Software Abstractions and Technologies for Autonomo...Andrea Omicini
In this short talk, we elaborate on the software issues of autonomous systems, by focussing on their interpretation as multi-agent systems. We suggest that a notion of distributed autonomy needs to be investigated – in particular in the area of (L)AWS – for its potential implications in terms of uncertainty of responsibility and liability.
Stochastic Coordination in CAS: Expressiveness & PredictabilityAndrea Omicini
Recognising that (i) coordination is a fundamental concern when both analysing and modelling CAS, and that (ii) CAS often exhibit stochastic behaviours, stemming from probabilistic and time-dependent local (interaction) mechanisms, in this talk we argue that (a) measuring expressiveness of coordination languages, and (b) predicting behaviours of stochastic systems based on coordination models are two fundamental steps in the quest for designing well- engineered CAS.
As a concrete ground where to or discussion, we describe some of our current works as well as our ideas for further research.
[with Stefano Mariani @ Dagstuhl Seminar “CAS: Qualitative and Quantitative Modelling and Analysis”, December 14-19th, 2014
GraphSummit Singapore | The Art of the Possible with Graph - Q2 2024Neo4j
Neha Bajwa, Vice President of Product Marketing, Neo4j
Join us as we explore breakthrough innovations enabled by interconnected data and AI. Discover firsthand how organizations use relationships in data to uncover contextual insights and solve our most pressing challenges – from optimizing supply chains, detecting fraud, and improving customer experiences to accelerating drug discoveries.
Dr. Sean Tan, Head of Data Science, Changi Airport Group
Discover how Changi Airport Group (CAG) leverages graph technologies and generative AI to revolutionize their search capabilities. This session delves into the unique search needs of CAG’s diverse passengers and customers, showcasing how graph data structures enhance the accuracy and relevance of AI-generated search results, mitigating the risk of “hallucinations” and improving the overall customer journey.
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024Albert Hoitingh
In this session I delve into the encryption technology used in Microsoft 365 and Microsoft Purview. Including the concepts of Customer Key and Double Key Encryption.
Pushing the limits of ePRTC: 100ns holdover for 100 daysAdtran
At WSTS 2024, Alon Stern explored the topic of parametric holdover and explained how recent research findings can be implemented in real-world PNT networks to achieve 100 nanoseconds of accuracy for up to 100 days.
Why You Should Replace Windows 11 with Nitrux Linux 3.5.0 for enhanced perfor...SOFTTECHHUB
The choice of an operating system plays a pivotal role in shaping our computing experience. For decades, Microsoft's Windows has dominated the market, offering a familiar and widely adopted platform for personal and professional use. However, as technological advancements continue to push the boundaries of innovation, alternative operating systems have emerged, challenging the status quo and offering users a fresh perspective on computing.
One such alternative that has garnered significant attention and acclaim is Nitrux Linux 3.5.0, a sleek, powerful, and user-friendly Linux distribution that promises to redefine the way we interact with our devices. With its focus on performance, security, and customization, Nitrux Linux presents a compelling case for those seeking to break free from the constraints of proprietary software and embrace the freedom and flexibility of open-source computing.
Sudheer Mechineni, Head of Application Frameworks, Standard Chartered Bank
Discover how Standard Chartered Bank harnessed the power of Neo4j to transform complex data access challenges into a dynamic, scalable graph database solution. This keynote will cover their journey from initial adoption to deploying a fully automated, enterprise-grade causal cluster, highlighting key strategies for modelling organisational changes and ensuring robust disaster recovery. Learn how these innovations have not only enhanced Standard Chartered Bank’s data infrastructure but also positioned them as pioneers in the banking sector’s adoption of graph technology.
Threats to mobile devices are more prevalent and increasing in scope and complexity. Users of mobile devices desire to take full advantage of the features
available on those devices, but many of the features provide convenience and capability but sacrifice security. This best practices guide outlines steps the users can take to better protect personal devices and information.
A tale of scale & speed: How the US Navy is enabling software delivery from l...sonjaschweigert1
Rapid and secure feature delivery is a goal across every application team and every branch of the DoD. The Navy’s DevSecOps platform, Party Barge, has achieved:
- Reduction in onboarding time from 5 weeks to 1 day
- Improved developer experience and productivity through actionable findings and reduction of false positives
- Maintenance of superior security standards and inherent policy enforcement with Authorization to Operate (ATO)
Development teams can ship efficiently and ensure applications are cyber ready for Navy Authorizing Officials (AOs). In this webinar, Sigma Defense and Anchore will give attendees a look behind the scenes and demo secure pipeline automation and security artifacts that speed up application ATO and time to production.
We will cover:
- How to remove silos in DevSecOps
- How to build efficient development pipeline roles and component templates
- How to deliver security artifacts that matter for ATO’s (SBOMs, vulnerability reports, and policy evidence)
- How to streamline operations with automated policy checks on container images
Climate Impact of Software Testing at Nordic Testing DaysKari Kakkonen
My slides at Nordic Testing Days 6.6.2024
Climate impact / sustainability of software testing discussed on the talk. ICT and testing must carry their part of global responsibility to help with the climat warming. We can minimize the carbon footprint but we can also have a carbon handprint, a positive impact on the climate. Quality characteristics can be added with sustainability, and then measured continuously. Test environments can be used less, and in smaller scale and on demand. Test techniques can be used in optimizing or minimizing number of tests. Test automation can be used to speed up testing.
Securing your Kubernetes cluster_ a step-by-step guide to success !KatiaHIMEUR1
Today, after several years of existence, an extremely active community and an ultra-dynamic ecosystem, Kubernetes has established itself as the de facto standard in container orchestration. Thanks to a wide range of managed services, it has never been so easy to set up a ready-to-use Kubernetes cluster.
However, this ease of use means that the subject of security in Kubernetes is often left for later, or even neglected. This exposes companies to significant risks.
In this talk, I'll show you step-by-step how to secure your Kubernetes cluster for greater peace of mind and reliability.
Introducing Milvus Lite: Easy-to-Install, Easy-to-Use vector database for you...Zilliz
Join us to introduce Milvus Lite, a vector database that can run on notebooks and laptops, share the same API with Milvus, and integrate with every popular GenAI framework. This webinar is perfect for developers seeking easy-to-use, well-integrated vector databases for their GenAI apps.
In the rapidly evolving landscape of technologies, XML continues to play a vital role in structuring, storing, and transporting data across diverse systems. The recent advancements in artificial intelligence (AI) present new methodologies for enhancing XML development workflows, introducing efficiency, automation, and intelligent capabilities. This presentation will outline the scope and perspective of utilizing AI in XML development. The potential benefits and the possible pitfalls will be highlighted, providing a balanced view of the subject.
We will explore the capabilities of AI in understanding XML markup languages and autonomously creating structured XML content. Additionally, we will examine the capacity of AI to enrich plain text with appropriate XML markup. Practical examples and methodological guidelines will be provided to elucidate how AI can be effectively prompted to interpret and generate accurate XML markup.
Further emphasis will be placed on the role of AI in developing XSLT, or schemas such as XSD and Schematron. We will address the techniques and strategies adopted to create prompts for generating code, explaining code, or refactoring the code, and the results achieved.
The discussion will extend to how AI can be used to transform XML content. In particular, the focus will be on the use of AI XPath extension functions in XSLT, Schematron, Schematron Quick Fixes, or for XML content refactoring.
The presentation aims to deliver a comprehensive overview of AI usage in XML development, providing attendees with the necessary knowledge to make informed decisions. Whether you’re at the early stages of adopting AI or considering integrating it in advanced XML development, this presentation will cover all levels of expertise.
By highlighting the potential advantages and challenges of integrating AI with XML development tools and languages, the presentation seeks to inspire thoughtful conversation around the future of XML development. We’ll not only delve into the technical aspects of AI-powered XML development but also discuss practical implications and possible future directions.
Communications Mining Series - Zero to Hero - Session 1DianaGray10
This session provides introduction to UiPath Communication Mining, importance and platform overview. You will acquire a good understand of the phases in Communication Mining as we go over the platform with you. Topics covered:
• Communication Mining Overview
• Why is it important?
• How can it help today’s business and the benefits
• Phases in Communication Mining
• Demo on Platform overview
• Q/A
Full-RAG: A modern architecture for hyper-personalizationZilliz
Mike Del Balso, CEO & Co-Founder at Tecton, presents "Full RAG," a novel approach to AI recommendation systems, aiming to push beyond the limitations of traditional models through a deep integration of contextual insights and real-time data, leveraging the Retrieval-Augmented Generation architecture. This talk will outline Full RAG's potential to significantly enhance personalization, address engineering challenges such as data management and model training, and introduce data enrichment with reranking as a key solution. Attendees will gain crucial insights into the importance of hyperpersonalization in AI, the capabilities of Full RAG for advanced personalization, and strategies for managing complex data integrations for deploying cutting-edge AI solutions.
Full-RAG: A modern architecture for hyper-personalization
Nature-inspired Coordination for Complex Distributed Systems
1. Nature-inspired Coordination
for Complex Distributed Systems
Andrea Omicini
andrea.omicini@unibo.it
Dipartimento di Informatica: Scienza e Ingegneria (DISI)
Alma Mater Studiorum—Universit` di Bologna
a
IDC 2012
Intelligent Distributed Computing
Calabria, Italy – 26th of September 2012
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 1 / 47
2. Outline
1 Why?
2 Examples
Early
Modern
Issues
3 Tuples
4 Trends
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 2 / 47
3. Why?
Outline
1 Why?
2 Examples
Early
Modern
Issues
3 Tuples
4 Trends
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 3 / 47
4. Why?
Why Nature-inspired Models?
Complex natural systems
such as physical, chemical, biochemical, biological, social systems
natural system exhibit features
such as distribution, opennes, situation, fault tolerance, robustness,
adaptiveness, . . .
which we would like to understand, capture, then bring to
computational systems
Nature-Inspired Computing (NIC)
For instance, NIC [Liu and Tsui, 2006] summarises decades of
research activities
putting emphasis on autonomy of components, and on
self-organisation of systems
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 4 / 47
5. Why?
Why Coordination Models?
Interaction
most of the complexity of complex computational systems comes
from interaction [Omicini et al., 2006]
along with an essential part of their expressive power [Wegner, 1997]
Coordination
since coordination is essentially the science of managing the space of
interaction [Wegner, 1997]
coordination models and languages [Ciancarini, 1996] provide
abstractions and technologies for the engineering of complex
computational systems [Ciancarini et al., 2000]
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 5 / 47
6. Why?
Why Nature-inspired Coordination?
Coordination issues in natural systems
coordination issues did not first emerge in computational systems
[Grass´, 1959] noted that in termite societies “The coordination of
e
tasks and the regulation of constructions are not directly dependent
from the workers, but from constructions themselves.”
Coordination as the key issue
many well-known examples of natural systems – and, more generally,
of complex systems – seemingly rely on simple yet powerful
coordination mechanisms for their key features—such as
self-organisation
it makes sense to focus on nature-inspired coordination models as the
core of complex nature-inspired computational systems
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 6 / 47
7. Examples
Outline
1 Why?
2 Examples
Early
Modern
Issues
3 Tuples
4 Trends
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 7 / 47
8. Examples Early
Stigmergy I
Stigmergy in insect societies
nature-inspired models of coordination are grounded in studies on the
behaviour of social insects, like ants or termites
[Grass´, 1959] introduced the notion of stigmergy as the fundamental
e
coordination mechanism in termite societies
in ant colonies, pheromones act as environment markers for specific
social activities, and drive both the individual and the social
behaviour of ants
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 8 / 47
9. Examples Early
Stigmergy II
Stigmergy in computational systems
nowadays, stigmergy generally refers to a set of nature-inspired
coordination mechanisms mediated by the environment
digital pheromones [Parunak et al., 2002] and other signs made and
sensed in a shared environment [Parunak, 2006] can be exploited for
the engineering of adaptive and self-organising computational systems
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 9 / 47
10. Examples Early
Chemical Coordination
Chemical reactions as (natural) coordination laws
inspiration comes from the idea that complex physical phenomena are
driven by the (relatively) simple chemical reactions
coordinating the behaviours of a huge amount of components, as well
as the global system evolution
Chemical reactions as (computational) coordination laws
Gamma [Banˆtre and Le M´tayer, 1990] is a chemistry-inspired
a e
coordination model—as for the CHAM (chemical abstract machine)
model [Berry, 1992]
coordination in Gamma is conceived as the evolution of a space
governed by chemical-like rules, globally working as a rewriting system
[Ban˘tre et al., 2001]
a
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 10 / 47
11. Examples Modern
Field-based Coordination
Computational fields as coordination laws
field-based coordination models like TOTA
[Mamei and Zambonelli, 2004] are inspired by the way masses and
particles move and self-organise according to
gravitational/electromagnetic fields [Mamei and Zambonelli, 2006]
there, computational force fields, generated either by the active
components or by the pervasive coordination infrastructure, propagate
across the environment, and drive the actions and motion of the
component themselves
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 11 / 47
12. Examples Modern
(Bio)chemical Coordination
Chemical reactions as coordination laws
chemical tuple spaces [Viroli et al., 2010] exploit the chemical
metaphor at its full extent—beyond Gamma
data, devices, and software agents are represented in terms of
chemical reactants, and system behaviour is expressed by means of
chemical-like laws
which are actually time-dependent and stochastic
embedded within the coordination medium
biochemical tuple spaces [Viroli and Casadei, 2009] add
compartments, diffusion, and stochastic behaviour of coordination
primitives
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 12 / 47
13. Examples Issues
Basic Issues of Nature-inspired Coordination I
Environment
environment is essential in nature-inspired coordination
it works as a mediator for component interaction — through which the
components of a distributed system can communicate and coordinate
indirectly
it is active — featuring autonomous dynamics, and affecting
component coordination
it has a structure — requiring a notion of locality, and allowing
components of any sort to move through a topology
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 13 / 47
14. Examples Issues
Basic Issues of Nature-inspired Coordination II
Stochastic behaviour
complex systems typically require probabilistic models
don’t know / don’t care non-deterministic mechanisms are not
expressive enough to capture all the properties of complex systems such
as biochemical and social systems
probabilistic mechanisms are required to fully capture the dynamics of
coordination in nature-inspired systems
coordination models should feature (possibly simple yet) expressive
mechanisms to provide coordinated systems with stochastic behaviours
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 14 / 47
15. Tuples
Outline
1 Why?
2 Examples
Early
Modern
Issues
3 Tuples
4 Trends
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 15 / 47
16. Tuples
The Ancestor
Linda [Gelernter, 1985]
Linda is the ancestor of all tuple-based coordination models
[Rossi et al., 2001]
in Linda, coordinables synchronise, cooperate, compete
based on tuples
available in the tuple spaces, working as the coordination media
by associatively accessing, consuming and producing tuples
the same holds for any tuple-based coordination model
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 16 / 47
17. Tuples
Linda is not a Nature-inspired Model
So, why Linda?
Why tuple-based models???
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 17 / 47
18. Tuples
Why Tuple-based Models? I
Expressiveness
Linda is a sort of core coordination model
making it easy to face and solve many typical problems of complex
distributed systems
complex coordination problems are solved with few, simple primitives
whatever the model used to measure expressiveness of coordination,
tuple-based languages are highly-expressive [Busi et al., 1998]
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 18 / 47
19. Tuples
Why Tuple-based Models? II
Environment-based coordination
generative communication [Gelernter, 1985] requires permanent
coordination abstractions
so, tuple spaces are provided as coordination services by the
coordination infrastructure [Viroli and Omicini, 2006]
they can be interpreted as coordination artefacts shaping
computational environment [Omicini et al., 2004]
as such, they can be exploited to support environment-based
coordination [Ricci et al., 2005]
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 19 / 47
20. Tuples
Why Tuple-based Models? III
Extensibility
whatever its expressiveness, Linda was conceived as a coordination
model for closed, parallel systems
so, in fact, some relevant problems of today open, concurrent systems
cannot be easily solved with Linda either in practice or in theory
as a result, tuple-based models have been extended with new simple
yet powerful mechanisms
generating a plethora of tuple-based coordination models
[Rossi et al., 2001]
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 20 / 47
21. Tuples
Why Tuple-based Models? IV
Nature-inspired extensions
Linda may not be nature-inspired, but many of its extensions are
many of the coordination models depicted before
stigmergy [Parunak, 2006]
field-based [Mamei and Zambonelli, 2004]
chemical [Viroli et al., 2010] and biochemical [Viroli and Casadei, 2009]
along with many others, such as
cognitive stigmergy [Ricci et al., 2007]
pervasive ecosystems [Viroli et al., 2012]
are actually nature-inspired tuple-based coordination models
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 21 / 47
22. Tuples
Toward Self-organising Coordination I
Just some is not enough
capturing just some of the principles and mechanisms of natural
systems does not ensure to capture their essence
for instance, chemical coordination models such as Gamma and
CHAM exploit the raw schema of computation as chemical reaction,
but are not expressive enough to fully reproduce any non-trivial
chemical system
in fact, e.g., even the simplest model for real chemical reactions
requires a notion of reaction rate
neither Gamma nor CHAM provide for such a notion, they are not
expressive enough to fully match the behaviour of real chemical
systems
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 22 / 47
23. Tuples
Toward Self-organising Coordination II
Self-organising coordination [Viroli et al., 2009]
most of the traditional coordination models feature abstractions
enacting coordination laws that are typically reactive, (mostly)
deterministic, and global as well
in complex systems featuring self-* properties, instead, coordination
patterns typically appear at the global level by emergence, from
probabilistic, time-dependent coordination laws based on local criteria
in particular, many coordination models either implicitly or explicitly
recognise that full expressiveness requires addressing the issues of
time dependency and stochasticity
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 23 / 47
24. Tuples
Examples I
StoKlaim
StoKlaim [De Nicola et al., 2006] – a stochastic extension of the
Linda-derived Klaim model for mobile coordination
[De Nicola et al., 1998] – adds distribution rates to coordination
primitives—thus making it possible the modelling of non-deterministic
real-life phenomena such as failure rates and inter-arrival times
SwarmLinda
SwarmLinda [Tolksdorf and Menezes, 2004] enhances Linda
implementation with swarm intelligence to achieve features such as
scalability, adaptiveness, and fault-tolerance—by modelling tuple
templates as ants, featuring probabilistic behaviour when looking for
matching tuples in a distributed setting
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 24 / 47
25. Tuples
Examples II
Time-aware ReSpecT
ReSpecT [Omicini and Denti, 2001] generally addresses time
dependency by capturing time events and supporting the definition
and enforcement of timed coordination policies
[Omicini et al., 2005]—so, ReSpecT-programmed tuple centres can
work as time-dependent abstractions for the coordination of
distributed processes [Omicini et al., 2007]
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 25 / 47
26. Tuples
Enough?
No.
in the overall, the above-mentioned models fail to capture all the
essential features of nature-inspired coordination
this is why many novel research lines stretch existing tuple-based
models to achieve the expressive power required to model and build
distributed systems with a complexity comparable to natural systems
[Omicini and Viroli, 2011]
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 26 / 47
27. Trends
Outline
1 Why?
2 Examples
Early
Modern
Issues
3 Tuples
4 Trends
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 27 / 47
28. Trends
Full Dynamics
Expressing the full dynamics of complex natural systems
for instance, Gamma mimics chemical reactions, but does not capture
essential issues in chemical processes such as reaction rates and
concentration [Banˆtre and Le M´tayer, 1990, Ban˘tre et al., 2001]
a e a
instead, (bio)chemical tuple spaces fully exploit the chemical
metaphor by providing time-dependent and stochastic chemical laws
[Viroli et al., 2010, Viroli and Casadei, 2009]
more generally, the goal is to allow coordinated systems to express the
full dynamics of complex natural systems
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 28 / 47
29. Trends
Blending Metaphors
Mixing abstractions & mechanisms from different conceptual sources
for instance, the SAPERE coordination model for pervasive service
ecosystems [Zambonelli et al., 2011, Viroli et al., 2012] exploits
the chemical metaphor for driving the evolution of coordination
abstractions
biochemical abstractions for topology and diffusion
the notion of ecosystem in order to model the overall system structure
and dynamics
this mostly resembles natural systems, when they are observed in their
whole complexity, crossing their many layers
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 29 / 47
30. Trends
Knowledge-oriented Coordination
Integrating nature-inspired with knowledge-oriented coordination
intelligent distributed systems in knowledge intensive environments,
as well as complex socio-technical systems, require automatic
understanding of data and information
knowledge-oriented coordination [Nardini et al., ] exploits
coordination abstractions capable of semantic interpretation
for instance
both chemical tuple spaces and SAPERE abstractions relay on the
semantic interpretation of coordination items—in the same way as
semantic tuple centres [Nardini et al., 2011]
MoK (Molecules of Knowledge) is a a nature-inspired coordination
model focussing on knowledge management
[Mariani and Omicini, 2012], exploiting the full power of the
biochemical metaphor to achieve knowledge self-organisation within
knowledge-intensive environments
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 30 / 47
31. Trends
Core Mechanisms
Understanding the basic elements of expressiveness
Linda is a glaring example of a minimal set of coordination
mechanisms providing a wide range of coordination behaviours
the goal is understanding the minimal set of coordination primitives
required to design complex stochastic behaviours
for instance, uniform coordination primitives – that is, Linda-like
coordination primitives returning tuples matching a template with a
uniform distribution [Gardelli et al., 2007] – seemingly capture the
full-fledged dynamics of real chemical systems within the coordination
abstractions
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 31 / 47
32. Trends
Predicting Complex Behaviours
Engineering unpredictable systems around predictable abstractions
coordination models and technologies are typically in charge of
harnessing the complexity of articulated computational systems
[Ciancarini et al., 2000]
coordination abstractions are often at the core of complex systems
while this does not make complex system generally predictable, it
makes it possible in principle to make them partially predictable,
based on the predictably of the core coordinative behaviour
suitably-formalised coordination abstractions, along with a
suitably-defined engineering methodology, could in principle ensure the
predictability of given system properties within generally-unpredictable
coordinated systems—such as nature-inspired systems
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 32 / 47
33. Conclusion
Conclusion I
History and evolution
starting from early chemical and stigmergic approaches,
nature-inspired models of coordination evolved to become the core of
complex distributed systems—such as pervasive, knowledge-intensive,
intelligent, and self-* systems
in this talk we shorty surveyed their history, devise their main issues,
and point out the most promising trends
focussing in particular on tuple-based coordination models
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 33 / 47
34. Conclusion
Conclusion II
In the overall. . .
nature-inspired models of coordination already have a long history
behind them
and apparently a huge potential for development still to be explored
to provide core abstractions and technologies for the engineering of
complex computational systems
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 34 / 47
35. Conclusion
Thanks to. . .
. . . everybody here for listening, despite yesterday night
. . . Giancarlo Fortino for inviting me
. . . the SAPERE Project for the support 1
1
This work has been supported by the EU-FP7-FET Proactive project SAPERE
Self-aware Pervasive Service Ecosystems, under contract no. 256873.
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 35 / 47
36. Bibliography
Bibliography I
Ban˘tre, J.-P., Fradet, P., and Le M´tayer, D. (2001).
a e
Gamma and the chemical reaction model: Fifteen years after.
In Calude, C. S., P˘un, G., Rozenberg, G., and Salomaa, A., editors, Multiset Processing.
a
Mathematical, Computer Science, and Molecular Computing Points of View, volume 2235
of LNCS, pages 17–44. Springer.
Banˆtre, J.-P. and Le M´tayer, D. (1990).
a e
The GAMMA model and its discipline of programming.
Science of Computer Programming, 15(1):55–77.
Berry, G. (1992).
The chemical abstract machine.
Theoretical Computer Science, 96(1):217–248.
Busi, N., Gorrieri, R., and Zavattaro, G. (1998).
A process algebraic view of Linda coordination primitives.
Theoretical Computer Science, 192(2):167–199.
Ciancarini, P. (1996).
Coordination models and languages as software integrators.
ACM Computing Surveys, 28(2):300–302.
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 36 / 47
37. Bibliography
Bibliography II
Ciancarini, P., Omicini, A., and Zambonelli, F. (2000).
Multiagent system engineering: The coordination viewpoint.
In Jennings, N. R. and Lesp´rance, Y., editors, Intelligent Agents VI. Agent Theories,
e
Architectures, and Languages, volume 1757 of LNAI, pages 250–259. Springer.
6th International Workshop (ATAL’99), Orlando, FL, USA, 15–17 July 1999. Proceedings.
De Nicola, R., Ferrari, G., and Pugliese, R. (1998).
KLAIM: A kernel language for agent interaction and mobility.
IEEE Transaction on Software Engineering, 24(5):315–330.
De Nicola, R., Latella, D., Katoen, J.-P., and Massink, M. (2006).
StoKlaim: A stochastic extension of Klaim.
Technical Report 2006-TR-01, Istituto di Scienza e Tecnologie dell’Informazione
“Alessandro Faedo” (ISTI).
Gardelli, L., Viroli, M., Casadei, M., and Omicini, A. (2007).
Designing self-organising MAS environments: The collective sort case.
In Weyns, D., Parunak, H. V. D., and Michel, F., editors, Environments for MultiAgent
Systems III, volume 4389 of LNAI, pages 254–271. Springer.
3rd International Workshop (E4MAS 2006), Hakodate, Japan, 8 May 2006. Selected
Revised and Invited Papers.
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 37 / 47
38. Bibliography
Bibliography III
Gelernter, D. (1985).
Generative communication in Linda.
ACM Transactions on Programming Languages and Systems, 7(1):80–112.
Grass´, P.-P. (1959).
e
La reconstruction du nid et les coordinations interindividuelles chez Bellicositermes
natalensis et Cubitermes sp. la th´orie de la stigmergie: Essai d’interpr´tation du
e e
comportement des termites constructeurs.
Insectes Sociaux, 6(1):41–80.
Liu, J. and Tsui, K. C. (2006).
Toward nature-inspired computing.
Communications of the ACM, 49(10):59–64.
Mamei, M. and Zambonelli, F. (2004).
Programming pervasive and mobile computing applications with the TOTA middleware.
In Pervasive Computing and Communications, pages 263–273.
2nd IEEE Annual Conference (PerCom 2004), Orlando, FL, USA, 14–17 March 2004.
Proceedings.
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 38 / 47
39. Bibliography
Bibliography IV
Mamei, M. and Zambonelli, F. (2006).
Field-Based Coordination for Pervasive Multiagent Systems. Models, Technologies, and
Applications.
Springer Series in Agent Technology. Springer.
Mariani, S. and Omicini, A. (2012).
Molecules of knowledge: Self-organisation in knowledge-intensive environments.
In Intelligent Distributed Computing VI, pages 17–22. Springer, Calabria, Italy.
6th International Symposium on Intelligent Distributed Computing (IDC 2012).
Nardini, E., Omicini, A., and Viroli, M.
Semantic tuple centres.
Science of Computer Programming.
Special Issue on Self-Organizing Coordination. To appear.
Nardini, E., Omicini, A., Viroli, M., and Schumacher, M. I. (2011).
Coordinating e-health systems with TuCSoN semantic tuple centres.
Applied Computing Review, 11(2):43–52.
Omicini, A. and Denti, E. (2001).
From tuple spaces to tuple centres.
Science of Computer Programming, 41(3):277–294.
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 39 / 47
40. Bibliography
Bibliography V
Omicini, A., Ricci, A., and Viroli, M. (2005).
Time-aware coordination in ReSpecT.
In Jacquet, J.-M. and Picco, G. P., editors, Coordination Models and Languages, volume
3454 of LNCS, pages 268–282. Springer-Verlag.
7th International Conference (COORDINATION 2005), Namur, Belgium,
20–23 April 2005. Proceedings.
Omicini, A., Ricci, A., and Viroli, M. (2006).
The multidisciplinary patterns of interaction from sciences to Computer Science.
In Goldin, D. Q., Smolka, S. A., and Wegner, P., editors, Interactive Computation: The
New Paradigm, pages 395–414. Springer.
Omicini, A., Ricci, A., and Viroli, M. (2007).
Timed environment for Web agents.
Web Intelligence and Agent Systems, 5(2):161–175.
Omicini, A., Ricci, A., Viroli, M., Castelfranchi, C., and Tummolini, L. (2004).
Coordination artifacts: Environment-based coordination for intelligent agents.
In Jennings, N. R., Sierra, C., Sonenberg, L., and Tambe, M., editors, 3rd international
Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004),
volume 1, pages 286–293, New York, USA. ACM.
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 40 / 47
41. Bibliography
Bibliography VI
Omicini, A. and Viroli, M. (2011).
Coordination models and languages: From parallel computing to self-organisation.
The Knowledge Engineering Review, 26(1):53–59.
Parunak, H. V. D. (2006).
A survey of environments and mechanisms for human-human stigmergy.
In Weyns, D., Parunak, H. V. D., and Michel, F., editors, Environments for Multi-Agent
Systems II, volume 3830 of LNCS, pages 163–186. Springer.
Parunak, H. V. D., Brueckner, S., and Sauter, J. (2002).
Digital pheromone mechanisms for coordination of unmanned vehicles.
In Castelfranchi, C. and Johnson, W. L., editors, 1st International Joint Conference on
Autonomous Agents and Multiagent systems, volume 1, pages 449–450, New York, NY,
USA. ACM.
Ricci, A., Omicini, A., Viroli, M., Gardelli, L., and Oliva, E. (2007).
Cognitive stigmergy: Towards a framework based on agents and artifacts.
In Weyns, D., Parunak, H. V. D., and Michel, F., editors, Environments for MultiAgent
Systems III, volume 4389 of LNCS, pages 124–140. Springer.
3rd International Workshop (E4MAS 2006), Hakodate, Japan, 8 May 2006. Selected
Revised and Invited Papers.
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 41 / 47
42. Bibliography
Bibliography VII
Ricci, A., Viroli, M., and Omicini, A. (2005).
Environment-based coordination through coordination artifacts.
In Weyns, D., Parunak, H. V. D., and Michel, F., editors, Environments for Multi-Agent
Systems, volume 3374 of LNAI, pages 190–214. Springer.
1st International Workshop (E4MAS 2004), New York, NY, USA, 19 July 2004. Revised
Selected Papers.
Rossi, D., Cabri, G., and Denti, E. (2001).
Tuple-based technologies for coordination.
In Omicini, A., Zambonelli, F., Klusch, M., and Tolksdorf, R., editors, Coordination of
Internet Agents: Models, Technologies, and Applications, chapter 4, pages 83–109.
Springer.
Tolksdorf, R. and Menezes, R. (2004).
Using Swarm Intelligence in Linda Systems.
In Omicini, A., Petta, P., and Pitt, J., editors, Engineering Societies in the Agents World
IV, volume 3071 of LNCS, pages 49–65. Springer.
4th International Workshops (ESAW 2003), London, UK, 29-31 October 2003. Revised
Selected and Invited Papers.
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 42 / 47
43. Bibliography
Bibliography VIII
Viroli, M. and Casadei, M. (2009).
Biochemical tuple spaces for self-organising coordination.
In Field, J. and Vasconcelos, V. T., editors, Coordination Languages and Models, volume
5521 of LNCS, pages 143–162. Springer, Lisbon, Portugal.
11th International Conference (COORDINATION 2009), Lisbon, Portugal, June 2009.
Proceedings.
Viroli, M., Casadei, M., Nardini, E., and Omicini, A. (2010).
Towards a chemical-inspired infrastructure for self-* pervasive applications.
In Weyns, D., Malek, S., de Lemos, R., and Andersson, J., editors, Self-Organizing
Architectures, volume 6090 of LNCS, chapter 8, pages 152–176. Springer.
1st International Workshop on Self-Organizing Architectures (SOAR 2009), Cambridge,
UK, 14-17 September 2009, Revised Selected and Invited Papers.
Viroli, M., Casadei, M., and Omicini, A. (2009).
A framework for modelling and implementing self-organising coordination.
In Shin, S. Y., Ossowski, S., Menezes, R., and Viroli, M., editors, 24th Annual ACM
Symposium on Applied Computing (SAC 2009), volume III, pages 1353–1360, Honolulu,
Hawai’i, USA. ACM.
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 43 / 47
44. Bibliography
Bibliography IX
Viroli, M. and Omicini, A. (2006).
Coordination as a service.
Fundamenta Informaticae, 73(4):507–534.
Special Issue: Best papers of FOCLASA 2002.
Viroli, M., Pianini, D., Montagna, S., and Stevenson, G. (2012).
Pervasive ecosystems: a coordination model based on semantic chemistry.
In Ossowski, S., Lecca, P., Hung, C.-C., and Hong, J., editors, 27th Annual ACM
Symposium on Applied Computing (SAC 2012), Riva del Garda, TN, Italy. ACM.
Wegner, P. (1997).
Why interaction is more powerful than algorithms.
Communications of the ACM, 40(5):80–91.
Zambonelli, F., Castelli, G., Ferrari, L., Mamei, M., Rosi, A., Di Marzo, G., Risoldi, M.,
Tchao, A.-E., Dobson, S., Stevenson, G., Ye, Y., Nardini, E., Omicini, A., Montagna, S.,
Viroli, M., Ferscha, A., Maschek, S., and Wally, B. (2011).
Self-aware pervasive service ecosystems.
Procedia Computer Science, 7:197–199.
Proceedings of the 2nd European Future Technologies Conference and Exhibition 2011
(FET 11).
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 44 / 47
45. Extras
URLs I
Slides
On APICe
http://apice.unibo.it/xwiki/bin/view/Talks/
InvitedIdc2012
On SlideShare
http://www.slideshare.net/andreaomicini/
natureinspired-coordination-for-complex-distributed-systems
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 45 / 47
46. Extras
URLs II
Article
On APICe
http://apice.unibo.it/xwiki/bin/view/Publications/
NatureinspcoordIdc2012
On SpringerLink
http://www.springerlink.com/content/
43tmmn1j4t5616q8
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 46 / 47
47. Nature-inspired Coordination
for Complex Distributed Systems
Andrea Omicini
andrea.omicini@unibo.it
Dipartimento di Informatica: Scienza e Ingegneria (DISI)
Alma Mater Studiorum—Universit` di Bologna
a
IDC 2012
Intelligent Distributed Computing
Calabria, Italy – 26th of September 2012
Omicini (DISI, Universit` di Bologna)
a Nature-inspired Coordination IDC 2012, 26/9/2012 47 / 47