This paper describes the development of an agent-based intelligent distributed reconfigurable multi-axis machining system structure through traditional manufacturing engineering activity analysis and systematic softwa...
详细信息
ISBN:
(纸本)9782748345988
This paper describes the development of an agent-based intelligent distributed reconfigurable multi-axis machining system structure through traditional manufacturing engineering activity analysis and systematic software engineering methods. The advantages of a distributed agent-based system include ease of manipulation, high expandability, flexibility and the achievement towards the goal of intelligent distributed networked manufacture. The proposed system has presented the feasibility in applying software agent-based technology in constructing a distributed intelligent multi-axis machining system. Several intelligent agents have been developed in fulfilling the proposed system. These agents can communicate via pre-defined performatives through the Knowledge Query and Manipulation Language (KQML). The object-orientedprogramming methodology has been adopted to construct the reconfigurable ontology for the distributed multi-axis surface machining services forming a distributed multi-axis machining system successfully. This means agent-based technology has been shown to be very promising in enhancing the communication of a distributed system to be able to communicate with higher level knowledge KQML rather than only in remote function call through platform independent networking architecture.
Reference immutability type systems such as Javari and ReIm ensure that a given reference cannot be used to mutate the referenced object. These systems are conservative in the sense that a mutable reference may be mut...
详细信息
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of the purpose of inheritance. The correctness of the model is demonstrated by proving it equivalent to an operati...
详细信息
The success of distributed object technology, depends on the advent of object Request Broker (ORB) architectures that are able to integrate flexible support for various non-functional requirements such as security, re...
详细信息
The success of distributed object technology, depends on the advent of object Request Broker (ORB) architectures that are able to integrate flexible support for various non-functional requirements such as security, real-time, transactions, etc. We promote component framework technology as the cornerstone for realizing such generic platforms. An ORB component framework leverages the 'glue' that connects customized ORB components together. In this paper we present a reflective component architecture that improves the dynamics of this glue, such that system-wide integration of a new non-functional requirements into a running ORB system becomes possible.
Tracking the changing dynamics of object-oriented frameworks, design patterns, architectural styles, and subsystems during the development and reuse cycle can aid producing complex systems. Unfortunately, current obje...
详细信息
ISBN:
(纸本)9780897917889
Tracking the changing dynamics of object-oriented frameworks, design patterns, architectural styles, and subsystems during the development and reuse cycle can aid producing complex systems. Unfortunately, current object-orientedprogramming tools are relatively oblivious to the rich architectural abstractions in a system. This paper shows that architecture-oriented visualization, the graphical presentation of system statics and dynamics in terms of its architectural abstractions, is highly beneficial in designing complex systems. In addition, the paper presents architecture-aware instrumentation, a new technique for building efficient on-line instrumentation to support architectural queries. We demonstrate the effectiveness and performance of the scheme with case studies in the design of the Choices object-oriented operating system.
The purpose of the JVM is to abstract the Java language from the hardware and software platforms it runs on. For this reason, the JVM uses services offered by the host operating system in order to implement identical ...
详细信息
ISBN:
(纸本)9781595938657
The purpose of the JVM is to abstract the Java language from the hardware and software platforms it runs on. For this reason, the JVM uses services offered by the host operating system in order to implement identical services for the Java language. The obvious duplication of effort in service provision and resource management between the JVM and the operating system has a measurable cost on the performance of Java programs. In my PhD research, I try to find ways of minimizing the cost of sharing resources between the OS and the JVM, by identifying and removing unnecessary software layers.
object-oriented modeling favors the modeling of object behavior from different viewpoints and the successive refinement of behavioral models in the development process. This gives rise to consistency problems of behav...
详细信息
ISBN:
(纸本)9781581133905
object-oriented modeling favors the modeling of object behavior from different viewpoints and the successive refinement of behavioral models in the development process. This gives rise to consistency problems of behavioral models. The absence of a formal semantics for UML models and the numerous possibilities of employing behavioral models within the development process lead to the rise of a number of different consistency notions. In this paper, we discuss the issue of consistency of behavioral models in the UML and present a general methodology how consistency problems can be dealt with. According to the methodology, those aspects of the models relevant to the consistency are mapped to a semantic domain in which precise consistency tests can be formulated. The choice of the semantic domain and the definition of consistency conditions can be used to construct different consistency notions. We show the applicability of our methodology by giving an example of a concrete consistency problem of concurrent object-oriented models.
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion specifications of objects from other clas...
详细信息
ISBN:
(纸本)0897916425
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion specifications of objects from other classes. Each such specification consists of a predicate determining the subset of objects to be included and a viewing function under which those included objects are manipulated. Both predicates and viewing functions can be any type consistent programs definable in the polymorphic calculus. Inclusion specifications among classes can be cyclic, allowing mutually recursive class definition. These features achieve flexible view definitions and wide range of class organizations in a compact and elegant way. Moreover, the calculus provides a suitable set of operations for views and classes so that the programmer can manipulate views and classes just the same way as one deals with ordinary records and sets.
This research aims at developing a tool-supported method for introducing object-orientedprogramming (OOP) in undergraduate courses while exposing students to the notion of OO Analysis and Design (OOAD).
ISBN:
(纸本)1595930248
This research aims at developing a tool-supported method for introducing object-orientedprogramming (OOP) in undergraduate courses while exposing students to the notion of OO Analysis and Design (OOAD).
暂无评论