This paper proposes the generation of Java applets from specifications given in an extended Petri Net formalism. The anticipated advantages of this approach are to gain a greater confidence in the correctness of the f...
详细信息
ISBN:
(纸本)0818684852
This paper proposes the generation of Java applets from specifications given in an extended Petri Net formalism. The anticipated advantages of this approach are to gain a greater confidence in the correctness of the final product, and to harness the capabilities of Java in a consistent framework. The emphasis of this paper is on the generation of the Java code from the Petri Net specification, on the assessment of both Java and C++ as suitable targets for this translation, and on the suitability of this extended form of Petri Nets as a host for various extensions to Java.
To design a program: first find your objects. Unfortunately, the right objects are not easy to find, and as a result most programs are not as well designed as they could be. This paper presents four patterns which des...
详细信息
ISBN:
(纸本)0818684852
To design a program: first find your objects. Unfortunately, the right objects are not easy to find, and as a result most programs are not as well designed as they could be. This paper presents four patterns which describe how objects can be found within the designs of existing programs. By using these patterns, programs and designs can be made more simple, more general, and more easy to change.
The Eliot system visualizes program execution;it concentrates on program logic, i.e., dynamic semantics of a program. The Eliot approach to program visualization is based on visual data types capable of animating thei...
详细信息
ISBN:
(纸本)081868383X
The Eliot system visualizes program execution;it concentrates on program logic, i.e., dynamic semantics of a program. The Eliot approach to program visualization is based on visual data types capable of animating their instances. The architecture of Eliot applies the object-oriented approach by implementing visual data types as classes of self-animated objects. The benefits of the object-oriented approach to program visualization are clear: in addition to providing a programmer with a flexible and interactive animation Environment, it shortens the construction time of animation from hours to minutes. This makes Eliot an interesting choice for uses in education, program development, and visual debugging, as well us algorithm research.
In languages like C++, the mechanism of protected members is critical to making inheritance work. It allows access to some of the internals of a base class B to the designer of a derived class D, while denying it to c...
详细信息
ISBN:
(纸本)081868383X
In languages like C++, the mechanism of protected members is critical to making inheritance work. It allows access to some of the internals of a base class B to the designer of a derived class D, while denying it to clients of B. We develop a formal approach in which class behavior is precisely specified in terms of an abstract specification and a concrete specification, the former for use by a client, the latter containing information about how the protected members change, for use by a derived class designer. We present rules that allow us to establish that a class meets both specifications.
This paper describes the benefits ofusing an enterprise information architecture to develop and manage reusable software components - specifically objects. The paper also describes Enterprise Engineering - a rigorous ...
详细信息
The results and new technology proposal of applying object-oriented technologies to embedded control software are discussed in this paper. There exists following obstacles when we apply object-oriented technologies to...
详细信息
ISBN:
(纸本)081868383X
The results and new technology proposal of applying object-oriented technologies to embedded control software are discussed in this paper. There exists following obstacles when we apply object-oriented technologies to embedded control software: (1) the analysis and design method for control algorithms find the method of reusing them as software components, and (2) the size reduction method reserving advantages of object-oriented technologies. We propose solutions for each of them. First, we extend the usual object-oriented analysis method. The object structures are identified based on the structure of the control algorithms. Second, we give hierarchical implementation architecture on the small microcomputers. We use assembly language at the lower level of this architecture, and the use of C++ language is restricted only at the upper level. We show this mixed use of object-oriented language with assembly language gives the expected balance of productivity and performance.
This paper presents pattern histories for deriving two different callback libraries. The pattern histories document the important design decisions behind each library. The two resulting libraries are compared to deter...
详细信息
ISBN:
(纸本)081868383X
This paper presents pattern histories for deriving two different callback libraries. The pattern histories document the important design decisions behind each library. The two resulting libraries are compared to determine which patterns led to a better solution. The patterns community is identifying many different patterns that solve the sa,ne problems. This paper, shows that it is possible to use objective comparisons of the resulting solutions, as opposed to relying on personal reactions, the expertise of the author, and finding three previous uses of the pattern to determine,which patterns lead to better solutions.
This paper describes an object-oriented development method and an optimization method for embedded control systems. In embedded control systems development, specifications are changed frequently and there is strong co...
详细信息
ISBN:
(纸本)0818684852
This paper describes an object-oriented development method and an optimization method for embedded control systems. In embedded control systems development, specifications are changed frequently and there is strong constraint of memory. We present an object-oriented analysis and design method based on polymorphism patterns. Polymorphism patterns are standard of a method interfaces which are shared by several objects. With this method, a system is constructed with objects which have polymorphism patterns. This system ensures reusability because it easy to replace objects where the specification of the system is changed. object-orientedtechnology has several functions, such as instantiation, inheritance and polymorphism, where functions are implemented with both method-tables and inheritance hierarchy tables. But these mechanisms are needless, in the automotive engine control application which execute fixed control flow. Our optimization method eliminates these mechanisms and reduces executable code size. We have applied above techniques to the development of automotive engine control applications.
object-Z is one of the object-oriented extensions to the formal notation Z. Though object-Z notation includes some temporal operators to deal with history invariants, it still cannot be used as is for the specificatio...
详细信息
ISBN:
(纸本)081868383X
object-Z is one of the object-oriented extensions to the formal notation Z. Though object-Z notation includes some temporal operators to deal with history invariants, it still cannot be used as is for the specification of real-time systems. This paper proposes an extension to object-Z to specify real-time constraints. The novelty of our approach lies in the minimal set of syntactic extensions and the visible separation of real-time constraints from the specification of classes in the application The proposed new language is called Real-Time object-Z (RTOZ). The semantics of RTOZ provides a consistent mapping between the class definitions and the real-time constraints. This paper describes the syntactic extensions to object-Z and illustrates the expressive power of RTOZ through the specification of a robotic assembly cell. A type checker for RTOZ is currently tinder development.
作者：
Zhang, QLi, WHChen, SHWuhan Univ
Comp Sci & Technol Coll Natl Engn Technol Res Ctr Multimedia Software Open Res Lab Multimedia Software State Educ Commi Wuhan 430072 Peoples R China
The research of concurrent object-oriented programming languages has suffered from the lack of a widely accepted formal foundation for describing the semantics of concurrent objectsystems. Basing on pi-calculus and a...
详细信息
ISBN:
(纸本)0818690968
The research of concurrent object-oriented programming languages has suffered from the lack of a widely accepted formal foundation for describing the semantics of concurrent objectsystems. Basing on pi-calculus and actor model respectively, people have tried to define a common semantic framework for concurrent object-oriented programming. In this paper, we try to compromise these two approaches. We defined a formalism that enjoys a clean formal definition which allowing the reuse of standard results of the theory of concurrency, meanwhile preserving a high level object-oriented programming style. We propose the actor algebra and the concurrent object calculus, and then we give the translation relationship between these two.
暂无评论