Foto del docente

Andrea Omicini

Professor

Department of Computer Science and Engineering

Academic discipline: ING-INF/05 Information Processing Systems

Research

Keywords: simulation intelligent agents multiparadigm languages self-organising systems pervasive computing multiagent systems software infrastructure autonomous systems software engineering coordination distributed systems programming languages

- Multiparadigm languages for pervasive intelligent systems
- Methodologies for Agent-Oriented Software Engineering 
- Agent-based complex system simulation
- Software infrastructure for complex systems 
- Autonomous systems
- Self-organising systems


Agents & artefacts: a meta model for MAS – The A&A (agents and artefacts) meta-model provides a new conceptual foundation for the discipline of MAS (multi-agent system), and more generally of the complex software systems built as MAS. Agent-oriented models, technologies and methodologies can be revised and extended according to the new paradigm. The research aims at fully developing the notions of artefact and workspace for agents, their use relation with agents, and their cognitive properties as well, and at drawing all consequences of the A&A meta-models in terms of methodologies, models and technologies.  
Methodologies for Agent-Oriented Software Engineering – Agent-based models overcome the limits of the current mainstream in software engineering, and promote new and more expressive methodological approaches to complex systems engineering. 
Agent-based complex system simulation – MAS represent a new paradigm for simulation of complex systems such as biosystems, social systems, etc, promoting the integration of traditional top-down approaches based on mathematical models with bottom-up computational approaches. 
Software infrastructure for complex systems – Complexity of today software systems calls for more and more expressive and powerful software infrastructures, promoting the construction of well-engineered environment by means of virtual workspaces, and supporting artificial cognitive processes. 
Declarative technologies for distributed and pervasive systems – Declarative technologies and languages like Prolog and their derivatives could play a key role in the engineering of complex systems, and should then be re-defined and extended to adapt to the new distributed and pervasive application scenarios.