Nicola Dragoni, Mauro Gaspari  Home/Search
Context Related
| cs.unibo.it/~dragoni/P...200309.pdf.gz Cached: PS.gz PS 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.
Image Update HelpPS.gz PS PDF From: cs.unibo.it/~dragoni/research (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we present an algebra of actors extended with mechanisms to model crash failures and their detection. We show how this extended algebra of actors can be successfully used to specify distributed software architectures. The main components of a software architecture can be specified following an object-oriented style and then they can be composed using asynchronous message passing or more complex interaction patterns. We illustrate this process by means of a case study: the... (Update)
Cited by: More
A Reasoning Infrastructure to Support Cooperation of.. - Dragoni, Gaspari, Guidi (2005) (Correct)
NOWHERE - An Open Service Architecture to Support Agents.. - Dragoni, Gaspari, Guidi (Correct)
Active bibliography (related documents): More All
1.1: Integrating Agent Communication Languages in Open Services.. - Dragoni, Gaspari (2003) (Correct)
0.5: A Process Algebraic Specification of the New Asynchronous.. - Gaspari, Zavattaro (1999) (Correct)
0.5: Generalised Object-Oriented Concepts for Inter-Agent .. - van Eijk, de Boer.. (2000) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.6: Intelligent Web Servers as Agents - Gaspari, Dragoni, Guidi (2004) (Correct)
0.4: An Algebra of Actors - Gaspari, Zavattaro (1997) (Correct)
0.4: Knowledge-Level Speech Acts - Gaspari (1997) (Correct)
Related documents from co-citation: More All
2: Deadlock detection in distributed systems (context) - Singhal - 1989
2: Distributed Systems (context) - Mullender - 1993
2: Web: an Agent-based Open Service Architecture (context) - Dragoni, Gaspari et al. - 2005
BibTeX entry: (Update)
N. Dragoni and M. Gaspari. An Object Based Algebra for Specifying A Fault Tolerant Software Architecture. Journal of Logic and Algebraic Programming, 63(2):271--297, 2005. http://citeseer.ist.psu.edu/dragoni03object.html More
@misc{ dragoni05object,
author = "N. Dragoni and M. Gaspari",
title = "An Object Based Algebra for Specifying A Fault Tolerant Software Architecture",
text = "N. Dragoni and M. Gaspari. An Object Based Algebra for Specifying A Fault
Tolerant Software Architecture. Journal of Logic and Algebraic Programming,
63(2):271--297, 2005.",
year = "2005",
url = "citeseer.ist.psu.edu/dragoni03object.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
673 Actors: A Model of Concurrent Computation in Distributed Sys.. (context) - Agha - 1986
512 KQML as an agent communication language - Finin, Labrou et al. - 1996
414 Unreliable failure detectors for reliable distributed system.. - Chandra, Toueg - 1996
331 Logical Foundation of Artificial Intelligence (context) - Genesereth, Nilsson - 1986
297 A calculus of mobile processes (context) - Milner, Parrow et al. - 1992
185 Distributed Systems (context) - Mullender - 1993
126 Foundation for Intelligent Physical Agents - Act, Specification - 2001
69 Systematic Concurrent Object-Oriented Programming - Meyer - 1993
38 Facilitating Open Communication in Agent Systems: The InfoSl.. - Nodine, Unruh - 1997
31 Deadlock Detection in Distributed Systems (context) - Singhal - 1989
9 Concurrency and knowledge-level communication in agent langu.. (context) - Gaspari - 1998
9 A process algebraic specification of the new asynchronous co.. - Gaspari, Zavattaro - 1999
5 Technical Report UBLCS (context) - Gaspari, Zavattaro et al. - 1997
5 An actor algebra for specifying distributed systems: the hur.. - Gaspari, Zavattaro - 2001
5 Analyzing the roles of descriptions and actions in open syst.. (context) - Hewitt, de Jong - 1983
3 Understanding UML (context) - Harmon, Watson - 1998
2 An ACL for a Dynamic System of Agents - Gaspari - 2002
2 Open multi-agent systems: Agent Communication and Integratio.. - van Eijk, de Boer et al. - 1999
Documents on the same site (http://www.cs.unibo.it/~dragoni/research.html):
Integrating Agent Communication Languages in Open Services.. - Dragoni, Gaspari (2003) (Correct)
Intelligent Web Servers as Agents - Gaspari, Dragoni, Guidi (2004) (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