In this paper we provide a framework for building management services for software agents using conversation patterns. These patterns classify agent interaction, using the principles of objectoriented software design...
详细信息
作者：
Jul, EricDIKU
Department of Computer Science University of Copenhagen Universitetsparken 1 CopenhagenDK 2100 Denmark
Emerald is an object-oriented language and system specifically developed for distributed computing (see [Black 87, Hutchinson 87b, Hutchinson 87a]). It incorporates many different paradigms both at the language level ...
详细信息
Emerald is an object-oriented language and system specifically developed for distributed computing (see [Black 87, Hutchinson 87b, Hutchinson 87a]). It incorporates many different paradigms both at the language level and at the operating system level. In the following, we discuss three of these paradigms and present a new one currently being developed.
Sharing mutable data (via aliasing) is a powerful programming technique. To facilitate sharing, object-orientedprogramming languages permit the programmer to selectively break encapsulation boundaries. However, shari...
详细信息
Compared with traditional development methods, Agent software engineering is a new method in the field of software engineering, which has a strong ability to complete higher level abstractions of active entities in a ...
详细信息
Multi-staging programming (MSP) is one of the discerning approaches that emerged to improve software performance. It proved its effectiveness when applied to a variety of applications in general and complex ones in sp...
详细信息
object types are abstract specifications of object behaviors and semantics. object behaviors and semantics are abstractly indicated by object component interdependencies. In conventional object type systems, object co...
详细信息
ISBN:
(纸本)9781932415759
object types are abstract specifications of object behaviors and semantics. object behaviors and semantics are abstractly indicated by object component interdependencies. In conventional object type systems, object component interdependencies are not taken into account, and as such, fundamental typing/subtyping loopholes that make program run-time errors inevitable still persist in current object type systems. In this short paper, we use Abadi-Cardelli's ζ-calculus to present a typing/subtyping problem that is due to the overlooking of object component interdependencies and causes program semantics trouble and run-time errors. We argue that, in order to rectify this kind of problem, object component interdependency information need to be included in object types and participate in object typing/subtyping.
Computer-supported annotation of software systems and their documentation, including design documentation and source code, is a common and important software engineering activity. Annotated documentation is used in bo...
详细信息
Coercion can greatly improve the readability of programs, especially in arithmetic expressions. However, coercion interacts with other features of programming languages, particularly subtyping and overloaded functions...
详细信息
ISBN:
(纸本)9781595937537
Coercion can greatly improve the readability of programs, especially in arithmetic expressions. However, coercion interacts with other features of programming languages, particularly subtyping and overloaded functions and operators, in ways that can produce surprising behavior. We study examples of such surprising behavior in existing languages. This study informs the design of the coercion mechanism of Fortress, an object-oriented language with multiple dynamic dispatch, multiple inheritance and user-defined coercion. We describe this design and show how its restrictions on overloaded declarations prevent ambiguous calls due to coercion.
object composition a well-known programming technique for supporting dynamic adaptation in statically typed class-based object-orientedprogramming languages suffers from two non-trivial problems;the common-self probl...
详细信息
ISBN:
(纸本)0889865744
object composition a well-known programming technique for supporting dynamic adaptation in statically typed class-based object-orientedprogramming languages suffers from two non-trivial problems;the common-self problem and the object reference update problem. Recently, it has been shown that the common-self problem can be solved for object composition in statically typed class-based languages by introducing delegation, i.e., object-based inheritance as known from class-free prototype-based languages. With delegation the common-self problem disappears, but the object reference update problem remains. In this paper we propose superimposed delegation, a novel form of delegation, which simultaneously solves both problems. The paper presents superimposed delegation by a systematic but informal discussion of its similarities and differences with delegation.
An architecture for the implementation of possibilistic models in an object-orientedprogramming environment (C++ in particular) is described. Fundamental classes for special and general random sets, their associated ...
详细信息
暂无评论