Metamodel-based definition of interaction with visual environments (2009)
Paolo Bottoni, Esther Guerra, Juan De Lara
Metamodel approaches to building visual environments are becoming common in the field of domain specific visual languages, mainly focusing on the definition of visual editors and of simulation...
CoPuppet: Collaborative Interaction in Virtual Puppetry (2009)
Paolo Bottoni, Alessio Malizia
CoPuppet is a framework for the development of performances of virtual puppetry. In particular, it defines a class of interactive systems in which to realize collaborative performances involving...
ELECTRONIC COMMUNICATIONS OF THE EASST Termination of Algebraic Rewriting with Inhibitors (2008)
Paolo Bottoni, Kathrin Hoffmann, Tiziana Margaria, Julia Padberg, Gabriele Taentzer, Paolo Bottoni, ...
Abstract. We proceed with the study of termination properties in the double pushout approach to algebraic rewriting, and show a concrete termination criterion for rewriting systems with inhibitors....
Visual Human-Computer Interaction (2008)
Paolo Bottoni, Maria F. Costabile, Stefano Levialdi, Maristella Matera, Piero Mussio
trustworthiness features ➔ A model for HCI
Metamodel-based definition of interaction with visual environments (2008)
Metamodel approaches to building visual environments are becoming common in the field of domain specific visual languages, mainly focusing on the definition of visual editors and of simulation...
ABSTRACT Mapping with planning agents in the Max/MSP environment: the GO/Max language (2008)
Paolo Bottoni, Stefano Faralli, Anna Labella, Mario Pierro
GO/Max is an agent programming language that facilitates the design of algorithms for real-time control of sound/music generation programs crafted in the Max/MSP environment. We show how software...
Paolo Bottoni, Manuel Koch, Francesco Parisi-presicce, Gabriele Taentzer
Abstract. The Object Constraint Language (OCL) provides an important complement to visual formalisms used in the denition of UML languages. Yet, its usage is limited by two major drawbacks. The rst...
Paolo Bottoni, Mark Minas (eds, Electronic Notes, Martin Gogolla, Paul Ziemann, Sabine Kuske
Recently, we proposed an integrated formal semantics based on graph transformation for central aspects of UML class, object and state diagrams. In this paper, we explain the basic ideas of that...
Grammars Working on Layered Strings (2007)
Paolo Bottoni, Giancarlo Mauri, Piero Mussio, Gheorghe Paun, Turku Centre, Computer Science
We consider first an operation with strings and languages suggested by superposed windows on the computer screen (as well as by cryptographic systems of Richelieu type): we assume that the strings...
Paolo Bottoni, Giancarlo Mauri, Piero Mussio, Gheorghe Paun, Turku Centre, Computer Science
We introduce a computability model-- called shape grammar-- based on adjoining polyominoes. A computation in a shape grammar is correct when: (1) it starts by using a specified polyomino; (2) it ends...
Un linguaggio per esprimere transizioni (2007)
Paolo Bottoni, Maria De, Marsico Paolo, Di Tommaso, Stefano Levialdi, Domenico Ventriglia
I linguaggi di specifica del comportamento di agenti, e più in generale di sistemi reattivi, spesso utilizzano notazioni grafiche per esprimere le configurazioni significative dello stato...
Termination of HighLevel Replacement Units with Application to Model Transformation (2004)
Paolo Bottoni, Manuel Koch, Francesco Parisi-presicce, Gabriele Taentzer C
Visual rewriting techniques are increasingly used to model transformations of systems speci ed through diagrammatic sentences. Graph transformations, in particular, are a widespread formalism with...
Coordinated Distributed Diagram Transformation for Software Evolution (2002)
Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer
We present an approach to maintaining consistency between code and specification consistent during refactoring, where the specification consists of several diagrams from different UML diagram...
A Visualization of OCL using Collaborations (2001)
Paolo Bottoni, Manuel Koch, Francesco Parisi-presicce, Gabriele Taentzer
Abstract. We propose a visualization of OCL within the context of the UML meta model, so that OCL expressions are represented by extending collaboration diagrams. We exploit the OCL meta model...
Pattern control on derivation in context-free sequential and parallel rewriting (1997)
Bottoni, Paolo, Labella, Anna, Mussio, Piero, Pãun, Gheorghe
Bottoni, Paolo, Mauri, Giancarlo, Mussio, Piero, Pãun, Gheorghe
http://www.tucs.fi/Publications/techreports/TR136.php
Grammars Working on Layered Strings (1997)
Bottoni, Paolo, Mauri, Giancarlo, Mussio, Piero, Pãun, Gheorghe
http://www.tucs.fi/Publications/techreports/TR135.php
Reflective Agents for Adaptive Workflows (1997)
Uwe M. Borghoff, Paolo Bottoni, Piero Mussio, Remo Pareschi
Adaptation to changes in organizational procedures and business rules is a sine qua non for workflow management systems, if they have to be useful to organizations. This paper describes an approach...
Reflective Agents for Adaptive Workflows (1997)
Uwe M. Borghoff, Paolo Bottoni, Piero Mussio, Remo Pareschi
Adaptation to changes in organizational procedures and business rules is a sine qua non for workflow management systems, if they have to be useful to organizations. This paper describes an approach...
A systemic metaphor of multi-agent coordination in living systems (1996)
Uwe M. Borghoff, Paolo Bottoni
Graphical simulation environment, simulation software tool, agent-based coordination, artificial life, systemic metaphor. Living systems provide a good metaphor for the coordination of autonomous...
A Systemic Metaphor Of Multi-Agent Coordination In Living Systems (1996)
Uwe M. Borghoff, Paolo Bottoni, Piero Mussio, Remo Pareschi
Living systems provide a good metaphor for the coordination of autonomous agents managing tasks according to their role in the system. The study of such systems from the point of view of General...