The society of objects

Tokoro, Mario

doi:10.1145/260303.260305

Cited by 11 publications

(4 citation statements)

References 53 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Covrigaru and Lindsay deny the rock the quality of autonomy because it is not goal-directed, but ignore the possibility of agency, skipping over an important part of our framework. Other work includes that by Tokoro who offers a related view in which he distinguishes objects, concurrent objects, autonomous agents and volitional agents, similar in spirit to our own view [82]. In addition, Castelfranchi also characterises autonomy through the use of motivation [83].…”

Section: Discussionmentioning

confidence: 90%

A Conceptual Framework for Agent Definition and Development

Lück

d’Inverno

2001

The Computer Journal

View full text Add to dashboard Cite

The use of agents of many different kinds in a variety of fields of computer science and artificial intelligence is increasing rapidly and is due, in part, to their wide applicability. The richness of the agent metaphor that leads to many different uses of the term is, however, both a strength and a weakness: its strength lies in the fact that it can be applied in very many different ways in many situations for different purposes; the weakness is that the term agent is now used so frequently that there is no commonly accepted notion of what it is that constitutes an agent. This paper addresses this issue by applying formal methods to provide a defining framework for agent systems. The Z specification language is used to provide an accessible and unified formal account of agent systems, allowing us to escape from the terminological chaos that surrounds agents. In particular, the framework precisely and unambiguously provides meanings for common concepts and terms, enables alternative models of particular classes of system to be described within it, and provides a foundation for subsequent development of increasingly more refined concepts.

show abstract

Section: Discussionmentioning

confidence: 90%

A Conceptual Framework for Agent Definition and Development

Lück

d’Inverno

2001

The Computer Journal

View full text Add to dashboard Cite

show abstract

“…Moreover, the underlying system infrastructure is not only targeted at remote application execution, but also at the uniform deployment and integration of new applications. In other words, the vision [48], that system software such as compilers will some day in the future be offered as distributed service objects, seems to emerge. This evolution creates a completely new meaning for the notion of a client request.…”

Section: Applicabilitymentioning

confidence: 99%

Run-Time and Atomic Weaving of Distributed Aspects

Truyen

Joosen

2006

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Run-time weaving of distributed aspects, if performed without any support for atomicity, endangers the global behavioral integrity of the application. Existing aspect-oriented middleware supports runtime weaving of distributed aspects, without addressing this problem. This inherently limits the type of behavioral changes that can be performed at run-time. This paper presents a model and an architecture for middleware, named Lasagne, that supports run-time weaving of distributed aspects in an atomic way. The paper makes the case that runtime weaving of distributed aspects is well suited for supporting dynamic and behavioral adaptations that are cross-component, cross-node or cross-layer. Adding support for atomic weaving ensures that such system-wide adaptations are performed in a safe and coordinated way.

show abstract

“…The designers of such systems have long known of the problems with supporting the programming of naturally concurrent systems (such as booking systems), that cannot be described well with sequential programming languages [1]. So the notion of concurrent object-oriented programming has arisen naturally.…”

Section: Introductionmentioning

confidence: 99%

BDL: a specialized language for per-object reactive control

Bertrand

Augeraud

1999

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

AbstractÐThe problem of describing the concurrent behavior of objects in object-oriented languages is addressed. The approach taken is to let methods be the behavior units whose synchronization is controlled separate from their specification. Our proposal is a domain-specific language, called BDL, for expressing constraints on this control and actually implementing its enforcement. We propose a model where each object includes a so-called ªexecution controller,º programmed in BDL. This separates cleanly the concepts of what the methods do, the object processes, from the circumstances in which they are allowed to do it, the control. The object controller ensures that scheduling constraints between the object's methods are met. Aggregate objects can be controlled in terms of their components. This language has a convenient formal base. Thus, using BDL expressions, behavioral properties of objects or groups of interesting objects can be verified. Our approach allows, for example, deadlock detection or verification of safety properties, while maintaining a reasonable code size for the running controller.A compiler from BDL has been implemented, automatically generating controller code in an Esterel program, i.e., in a reactive programming language. From this code, the Esterel compiler, in turn, generates an automaton on which verifications are done. Then this automaton is translated into a C code to be executed. This multistage process typifies the method for successful use of a domainspecific language. This also allows high-level concurrent programming.

show abstract

The society of objects

Cited by 11 publications

References 53 publications

A Conceptual Framework for Agent Definition and Development

A Conceptual Framework for Agent Definition and Development

Run-Time and Atomic Weaving of Distributed Aspects

BDL: a specialized language for per-object reactive control

Contact Info

Product

Resources

About