The type system of a programming language system PL/LL is described. PL is a simple object oriented programming language and LL is a language for composing PL modules into programs. The goals of the PL/LL system are t...
详细信息
This paper describes our research on the design and implementation of an interface definition language, called RIDL, for distributed objectoriented systems. The major goal of this language is to provide more expressi...
详细信息
This paper describes our research on the design and implementation of an interface definition language, called RIDL, for distributed objectoriented systems. The major goal of this language is to provide more expressive and flexible facilities for describing not only the signatures of distributed objects as supported by CORBA's IDL[8] and Microsoft's MIDL[6], but also their behaviour, including fault tolerance semantics, in an implementation-independent manner. This allows for more checking and reasoning on the system's behaviour at an early stage so that more cost-effectiveness and reliability could be achieved. Also, by using a sophisticated separation and distribution of the interfaces of objects in a system, RIDL can still allow for the pragmatic requirements of flexibility and performance.
This paper aims to introduce object-orientedprogramming (OOP) concepts in the context of gas turbine engine performance computations. objects are collections of data and functions that represents useful elements in a...
详细信息
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.
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.
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...
详细信息
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.
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 research article examines the role of coupling in making of software complex. An inference has been made that more coupling increases complexity which results unreliable system. Different kinds of coupling is pro...
详细信息
暂无评论