This paper presents an object-oriented distributed system, called DAISY, for the development and experimentation of Distributed Artificial Intelligence systems and algorithms. This system is based on two programming l...
详细信息
Recent proposals for adding parameterized types to Java have left a number of important practical issues undiscussed. In this paper we present the language Genja which is a new generic extension of Java oriented towar...
详细信息
Recent proposals for adding parameterized types to Java have left a number of important practical issues undiscussed. In this paper we present the language Genja which is a new generic extension of Java oriented towards practical support for generic collection types. We discuss design alternatives related to extending the power of unconstrained genericity, solving the weaknesses of constrained genericity in other proposals and defining the compatibility of named and anonymous instantiations. By enhancing support for reusability and providing a higher level style of programming via a library of standard generic collection types Genja aims to extend Java's contribution to efficient software production.
While objectoriented (OO) methodologies have some advantages over structured methods, OO is not as mature as structured analysis and design and does not contain all of the tools/techniques needed to support a large s...
详细信息
While objectoriented (OO) methodologies have some advantages over structured methods, OO is not as mature as structured analysis and design and does not contain all of the tools/techniques needed to support a large system design. By using both OO models and Structured models (e.g., data flow diagrams, control flow diagrams, state transition tables) during systems analysis, a more complete understanding of the system requirements can be developed. During the design process, the software architecture components can be designed and built either as OO modules or structured modules depending upon the requirements of the module. Since both views of the system (OO and structured) have been built during the analysis phase, there is no "translation/conversion" from one methodology to the other. By combining models and approaches from both OO and structured methods in one process we can take advantage of the strengths of both methodologies.
In this paper we propose a model of attribute laden virtual tools to aid manipulation, interaction and navigation in a virtual manufacturing environment for controlling robots and machines. Fundamental to the concept ...
详细信息
In this paper we propose a model of attribute laden virtual tools to aid manipulation, interaction and navigation in a virtual manufacturing environment for controlling robots and machines. Fundamental to the concept of using such virtual tools, and other object-oriented virtual entities of this type generally (e.g. virtual obstacles, virtual work-pieces, virtual machines etc.), is that each virtual entity represents both the graphical representation, and other physical plus 'intellectual' attributes of the real entity. The aim of the virtual tool concept is to create the next generation of interface which will solve problems associated with multiple hierarchies of menu, information and other tasks such as interaction, and manipulation associated with cyberspace.
This paper proposes the unification of active and passive objects in object-oriented operating systems. With such a unification, programmers can concentrate on programming an algorithm without having to consider how o...
详细信息
This paper proposes the unification of active and passive objects in object-oriented operating systems. With such a unification, programmers can concentrate on programming an algorithm without having to consider how objects are used and executed. Also, all objects can be migrated in a distributed system. To achieve this unification, meta level scheduling control is introduced, and the scheduling policy is determined at object creation time. We named this system Cognac. In Cognac, the execution domain of an object is an object cluster, in which some metaobjects control the execution of member objects at run-time. The scheduler metaobject manages method invocation and the status of its member objects. Since all objects' attributes are managed by metaobjects, mutual exclusion is guaranteed.
Binary class methods are often more suitable for modelling binary operations than binary instance methods. Allowing covariant parameter type adaptations in class methods can make them even more attractive. In this pap...
详细信息
Binary class methods are often more suitable for modelling binary operations than binary instance methods. Allowing covariant parameter type adaptations in class methods can make them even more attractive. In this paper we discuss the implications of covariant class methods on type safety. We discuss two examples, one type-safe at run-time and the other not, and formulate type rules that make it possible to identify the difference at compile-time.
Specification and verification for objectoriented (OO) programs remains a great challenge despite of decades' efforts. To address the problem, we propose a novel specification and verification framework, which su...
详细信息
Path dependent types have long served as an expressive component of the Scala programming language. They allow for the modelling of both bounded polymorphism and a degree of nominal subtyping. Nominality in turn provi...
详细信息
This paper describes the result of a research and development effort supported by IBM under Contract #S919FM81 and carried out jointly by the Database Systems Research and Development Center of the University of Flori...
详细信息
ISBN:
(纸本)0818626976
This paper describes the result of a research and development effort supported by IBM under Contract #S919FM81 and carried out jointly by the Database Systems Research and Development Center of the University of Florida and the Design Research Center of the Rensselaer Polytechnic Institute. It provides the motivation for integrating two technologies (*** and ROSE) which were separately developed at these two centers for supporting computer integrated engineering and manufacturing applications. The similarities, differences, and the complementary nature of these two technologies are described. The integrated system which consists of a graphical user interface, a query processor, an object manager, a dictionary manager, and a storage manager is described. The system has been implemented and demonstrated in a network of Sun and IBM RS/6000 workstations.
暂无评论