Share This Author
Agent-Oriented Software Engineering: The State of the Art
It is argued that intelligent agents and multi-agent systems are just such tools, including methodologies for agent-oriented analysis and design, formal specification and verification methods for agent systems, and techniques for implementing agent specifications.
Architecting families of software systems with process algebras
This article develops a process algebra-based architectural description language called PADL, which deals with deadlock-related architectural mismatches arising from three different causes: incomp compatibility between two components due to a single interaction, incompatibility between two component due to the combination of several interactions, and lack of interoperability among a set of components forming a cyclic topology.
Coordination models and languages as software integrators
- P. Ciancarini
- Computer ScienceCSUR
- 1 June 1996
A coordination model provides a framework in which the interaction of active and independent entities called agents can be expressed and should cover the issues of creation and destruction of agents, communication among agents, and spatial distribution of agents as well as synchronization and distribution of their actions over time.
The concurrent language, Shared Prolog
Through an abstract notion of computation, the kinds of parallelism supported by the language, as well as properties of infinite computations, such as local deadlocks, are studied.
Object-Based Models and Languages for Concurrent Systems
This paper presents a model for active object coordination and its use for distributed multimedia applications and a machine for uncoupledcoordination and its concurrent behavior.
Automatic Typing of DBpedia Entities
- Aldo Gangemi, Andrea Giovanni Nuzzolese, V. Presutti, Francesco Draicchio, Alberto Musetti, P. Ciancarini
- Computer ScienceSEMWEB
- 11 November 2012
We present Tipalo, an algorithm and tool for automatically typing DBpedia entities. Tipalo identifies the most appropriate types for an entity by interpreting its natural language definition, which…
Handbook of Digital Games and Entertainment Technologies
The topics treated in this handbook cover all areas of games and entertainment technologies, such as digital entertainment; technology, design/art, and sociology. The handbook consists of…
Wiki-based requirements management for Business Process Reengineering
- L. Abeti, P. Ciancarini, Rocco Moretti
- Computer ScienceICSE Workshop on Wikis for Software Engineering
- 19 May 2009
It is shown how requirements acquired by the Semantic Mediawiki can be exported in the Eclipse IDE in order to partially automate the translation of organizational business processes and system artifacts from the requirements description.
Monte Carlo tree search in Kriegspiel
Coordination Models: A Guided Tour
- N. Busi, P. Ciancarini, R. Gorrieri, G. Zavattaro
- Computer ScienceCoordination of Internet Agents: Models…
- 1 March 2001
A framework general enough to be able to capture the main ideas underlying the major coordination models for agents is defined, based on three key concepts: the coordinables, the coordination medium, and the coordination rules.