Paolo Bottoni Maria De Marsico Paolo Di Tommaso Stefano Levialdi Domenico...  Home/Search
Context
Related
| labic.disco.unimib.it/woa2002/...03.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: labic.disco.unimib.it...programma (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: I linguaggi di specifica del comportamento di agenti, e pi uin generale di sistemi reattivi, spesso utilizzano notazioni grafiche per esprimere le configurazioni significative dello stato dell'agente e le trasformazioni ammissibili di tali configurazioni. L'espressione dei due aspetti puo essere delegata a diversi tipi di diagrammi, o venire incorporata in un unico diagramma. Inoltre, si possono sviluppare diagrammi comportamentali per diverse componenti del sistema, eventualmente impiegando... (Update)
Active bibliography (related documents): More All
1.6: Uniform representation of transition concepts in.. - Bottoni, De.. (Correct)
0.2: Constraint Agents for the Information Age - Andreoli, Borghoff, Pareschi.. (1995) (Correct)
0.2: Describing the Syntax and Semantics of UML Statecharts in a .. - Jin, Esser, Janneck (2002) (Correct)
Similar documents based on text: More All
0.3: ODB-Tool: validazione di schemi e ottimizzazione.. - Beneventano, Corni, .. (1997) (Correct)
0.2: Grammatiche Di Metamorfosi - Omodeo (Correct)
0.2: Type Assigment Systems for Lambda Calculi and for the Lambda.. - Liquori (1996) (Correct)
BibTeX entry: (Update)
@misc{ maria-un,
author = "Paolo Bottoni Maria",
title = "Un Linguaggio Per Esprimere Transizioni",
url = "citeseer.ist.psu.edu/711205.html" }
Citations (may not include all citations):142 Logic programmingwith focusing proofs in linear logic - Andreoli - 1992
88 Linear logic: Its syntax and semantics - Girard - 1993
40 Communication as Fair Distribution of Knowledge - Andreoli, Pareschi - 1991 ACM DBLP
38 Application of graph transformation to visual languages - Bardohl, Minas et al. - 1999 ACM
27 State diagrams in UML: A formal semantics using graph transf.. - Gogolla, Parisi-Presicce - 1998
16 Modeling the dynamics of UML state machine (context) - Borger, Cavarra et al. - 2000
15 Automatic verification of a behavioural subset of uml statec.. (context) - Latella, Majzik et al. - 1999 DBLP
14 Specifying concurrent languages and systems with delta-gramm.. (context) - Kaplan, Loyall et al. - 1993
11 Graph transformation modules and their composition - Drewes, Knirsch et al. - 2000 ACM DBLP
9 Abstract syntax and semantics of visual languages (context) - Erwig - 1998 DBLP
5 ATOM : A tool for multiformalism and meta-modelling (context) - de Lara, Vangheluwe - 2002
5 Moses - a tool suite for visual modelling of discrete-event .. (context) - Esser, Janneck - 2001
4 Rank Xerox Research Centre (context) - Andreoli, forumtalk et al. - 1995
2 Research Directions in Concurrent Object Oriented Programmin.. (context) - Andreoli, Ciancarini et al. - 1993
2 Specification and dialogue control of visual interaction thr.. (context) - Bottoni, Costabile et al. - 1999 ACM DBLP
Documents on the same site (http://www.labic.disco.unimib.it/woa2002/programma.html): More
Experiments on Formal Verification of Mobile Agent Data.. - Maggi, Sisto (2002) (Correct)
RPG-Profiler: a MAS for Role Playing Games Based Tests.. - Bandini, Manzoni.. (2002) (Correct)
Peer-to-Peer and Multi-Agent Systems technologies.. - Bertolini, Busetta, .. (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC