From a perspective of theoretical study, there are some faults in the models of the existing object-oriented programming languages. For example, C# does not support metaclasses, the primitive types of Java and C# are ...
详细信息
From a perspective of theoretical study, there are some faults in the models of the existing object-oriented programming languages. For example, C# does not support metaclasses, the primitive types of Java and C# are not objects, etc. So, this paper designs a programming language, Shrek, which integrates many language features and constructions in a compact and consistent model. The Shrek language is a class-based purely object-oriented language. It has a dynamical strong type system, and adopts a single-inheritance mechanism with Mixin as its complement. It has a consistent class instantiation and inheritance structure, and the ability of intercessive structural computational reflection, which enables it to support safe metaclass programming. It also supports multi-thread programming and automatic garbage collection, and enforces its expressive power by adopting a native method mechanism. The prototype system of the Shrek language is implemented and anticipated design goals are achieved.
Reflective architectures support the incremental development of object-oriented systems, but they are mostly implemented in the interpretation-based languages. This paper presents a new reflective architecture, XDRC++...
详细信息
Reflective architectures support the incremental development of object-oriented systems, but they are mostly implemented in the interpretation-based languages. This paper presents a new reflective architecture, XDRC++,for reflective programming in the C++ language. XDRC++ provides a run-time system constructed by a collection of built-in classes, and the reflective facilities to switch between methods and meta-methods at run-time. All these facilities are constructed in an integrated way using only the compile-time mechanisms of C++. In XDRC++ we propose a new viewpoint that the object identity is an object. The identity of an object is then a meta-object carrying on the type-free reflective computations about the object. Two prototypes of XDRC++ for distinct C++ compilers have been implemented
Recent years have seen a shift in perception of the nature of HCI and interactive systems. As interface work has increasingly become a focus of attention for the social sciences, we have expanded our appreciation of t...
详细信息
Recent years have seen a shift in perception of the nature of HCI and interactive systems. As interface work has increasingly become a focus of attention for the social sciences, we have expanded our appreciation of the importance of issues such as work practice, adaptation, and evolution in interactive systems. The reorientation in our view of interactive systems has been accompanied by a call for a new model of design centered around user needs and participation. This article argues that a new process of design is not enough and that the new view necessitates a similar reorientation in the structure of the systems we build. It outlines some requirements for systems that support a deeper conception of interaction and argues that the traditional system design techniques are not suited to creating such systems. Finally, using examples from ongoing work in the design of an open toolkit for collaborative applications, it illustrates how the principles of computational reflection and metaobject protocols can lead us toward a new model based on open abstraction that holds great promise in addressing these issues.
In this paper, we propose a metaphysical framework inspired from computational reflection put forward by B. C. Smith. We introduce phenomenals as an ontological device and therapeutic understanding as an epistemologic...
详细信息
ISBN:
(纸本)9781920682194
In this paper, we propose a metaphysical framework inspired from computational reflection put forward by B. C. Smith. We introduce phenomenals as an ontological device and therapeutic understanding as an epistemological one. To describe and understand them, we introduce three forms for description, called Hume-Bergson Forms, in which every phenomenals are situated between pure description and pure duration. In these forms, we explicitly treat transcendent entities and, accordingly, they cannot be authorized by formal proofs and must be metaphysical up to a point. Our strategy is to prompt readers to understand descriptions of those devices on the fact that this theory is applicable to understanding the descriptions of the theory itself. Finally we remark future directions of research in this framework.
This paper discusses an approach to evaluating the separation of concerns for an object-oriented software system. For assessing this separation, the developer is asked to specify the nature of classes through annotati...
详细信息
ISBN:
(纸本)9781581139648
This paper discusses an approach to evaluating the separation of concerns for an object-oriented software system. For assessing this separation, the developer is asked to specify the nature of classes through annotations. Automatic identification of some structural characteristics (e.g., inheritance, libraries, synchronisation) is used to appraise the composition and intertwining of concerns inside a class.
Modeling environment is essential for agents to cooperate with each other in a distributed system. In this paper, we propose two strategies for selecting agents' communication structures in a cooperative search us...
详细信息
Modeling environment is essential for agents to cooperate with each other in a distributed system. In this paper, we propose two strategies for selecting agents' communication structures in a cooperative search using their local histories as a model of their computational environment. Under the assumption of homogeneity of agents, an agent can select a proper communication structure by using a history of local computation, and the utility of communication always matches its cost. Simulations using the traveling salesman problem show that strategies produce high performance. We also describe an extension of these strategies to other areas and the means to separate them from application programs using meta-object programming in Object-Oriented Programming Languages (OOPL).
Agent Coordination Contexts (ACCs) have been proposed as virtual environments where agents live and interact. In this way, as in a human society, interactions may be subjected to conventions and laws depending on thei...
详细信息
ISBN:
(纸本)9781581138122
Agent Coordination Contexts (ACCs) have been proposed as virtual environments where agents live and interact. In this way, as in a human society, interactions may be subjected to conventions and laws depending on their context. This is obtained by a suitable ACC that embeds the communication laws relevant to a specific application and checks whether they are fulfilled as interactions take *** modelling, while representing a communication aspect relevant for all the agents of an application, is a crosscutting concern with respect to the design of the activities of each agent. In this paper, we propose an approach allowing a separate design and implementation of, respectively, behaviour and the interaction aspects constituting the context. Once the latter have been formalised in a specification consisting of communication laws, a tool generates the necessary management and checking code from the ***, we automate the way laws are enforced on agent communication by suitably redirecting any interaction between agents, so as to ensure that the constraints specified by the laws are respected by the interaction, and the actions required by some laws are taken before it actually takes place. Redirection is accomplished by means of computational reflection, which transparently changes the meaning of the communication primitives normally used by agents programmers.
暂无评论