Software has for a long time been used for controlling different systems. Today, there is a trend towards integrating more software in consumer electronics, home appliances, cars etc. Suddenly software is moving from ...
详细信息
Software has for a long time been used for controlling different systems. Today, there is a trend towards integrating more software in consumer electronics, home appliances, cars etc. Suddenly software is moving from traditional environments, such as the desktop computer into new and unknown territory. This will influence many aspects of the software engineering process; above all, several new problems have arisen in the domain of software deployment. How can software be effectively deployed in these environments? Current deployment strategies are not directly applicable. The paper discusses problems with current deployment models and proposes a new, modified model. A deployment model for pervasive computing must support component based development, different delivery models, and installation and activation strategies. Support for dynamic installation and activation (i.e. making modifications without de-activating the software), is especially important. We introduce a prototype implementation, the Java Distributed Run-time Updating Management System (JDRUMS), which we have used as a vehicle for eliciting requirements for our deployment model.
objectoriented systems are particularly difficult to comprehend because of the distribution of functionality and polymorphism which limits the effectiveness of conventional static analysis methods. The paper proposes...
详细信息
objectoriented systems are particularly difficult to comprehend because of the distribution of functionality and polymorphism which limits the effectiveness of conventional static analysis methods. The paper proposes a dynamic analysis approach using animation to simulate the use cases in a financial application system. The objective is to offer maintenance programmers a means of familiarizing themselves with complex C++ code while at the same time validating the correctness of the code. For this purpose, control flow slicing and concept lattices are used.
In this paper, a program generator for communication protocol software will be presented. Our program generator takes an extended finite state machine as a domain model and generates a group of C++ classes needed for ...
详细信息
In this paper, a program generator for communication protocol software will be presented. Our program generator takes an extended finite state machine as a domain model and generates a group of C++ classes needed for an implementation. For each state of the FSM, a C++ class is generated, where the interface events are implemented as member functions of the corresponding state object. Protocol data units (PDUs) are embedded as Message objects and specified in the same way as packet filter and is interpreted to generate necessary PDU definition statements and PDU manipulation statements. Also, protocol objects from different layers can be linked together by using an organization model, where a protocol entity is invoked by its upper layer entity or lower layer entity by member function calls.
The design pattern concept is widely used in large object-oriented software development, but this should not be limited to the object-oriented field: it can be used in many other areas. Explicit parallel programming i...
详细信息
The design pattern concept is widely used in large object-oriented software development, but this should not be limited to the object-oriented field: it can be used in many other areas. Explicit parallel programming is well-known to be complex and error-prone, and design patterns can ease this work. This paper introduces a pattern-based approach for parallel programming, in which we classify design patterns into two levels to support (a) the parallel algorithm design phase and (b) the parallel coding phase, respectively. Through this approach, a programmer doesn't need much additional knowledge about parallel computing; what he need to do is to describe the problem he wants to solve and offer some parameters, sequential code or components. We demonstrate this approach with a case study in this paper.
The process paradigm, the object-oriented paradigm and the subject paradigm offer three different approaches to programming. In this paper, each model is evaluated by employing a 10-point criterion. Subject-oriented p...
详细信息
In this paper, we describe the implementation of a database design environment (Swift) that incorporates several novel features: Swift's data modelling approach is derived from viewpoint-oriented methods;Swift is ...
详细信息
ISBN:
(纸本)081868271X
In this paper, we describe the implementation of a database design environment (Swift) that incorporates several novel features: Swift's data modelling approach is derived from viewpoint-oriented methods;Swift is implemented in Java, which allows us to easily construct a client/server based environment;the repository is implemented using PostgreSQL, which allows us to store the actual application code in the database;and the combination of Java and PostgreSQL reduces the impedance mismatch between the application and the repository.
A current trend in control system design is to provide an object oriented programming interface for application developers. This talk will discuss important aspects and features of objectoriented APIs for accelerator...
详细信息
A current trend in control system design is to provide an object oriented programming interface for application developers. This talk will discuss important aspects and features of objectoriented APIs for accelerator control systems, and explore why such interfaces are becoming the norm.
Based on CHG, the authors present a framework for analyzing object-oriented programs - OOAF, and discuss the functions, the algorithms and the design ideas of OOAF in this paper. The algorithms for identifying subobje...
详细信息
Based on CHG, the authors present a framework for analyzing object-oriented programs - OOAF, and discuss the functions, the algorithms and the design ideas of OOAF in this paper. The algorithms for identifying subobject and determining visible methods and the most-dominant-method are also given to create visible -method-class-hierarchy-graph (VM-CHG). The virtual-function-call-graph (VFCG) of the program is obtained by computing inheritance-set,override-set, and override frontier, which provides a feasible way for understanding virtual function call in object-oriented programs.
A method is proposed to develop a concurrent program from a VDM-SL (Vienna development method-specification language) specification. On the basis of DD-VDM (data decomposition-Vienna development method), service paral...
详细信息
A method is proposed to develop a concurrent program from a VDM-SL (Vienna development method-specification language) specification. On the basis of DD-VDM (data decomposition-Vienna development method), service parallelism, internal parallelism and virtual atomicity can be observed in the development process. Then a nested object structure is presented to specify these parallelism. This nested structure can be implemented with several language structures for two different kinds of applications including share-variables parallel system and distributed parallel system.
This paper describes an object-oriented distributed control environment for industrial multirobot applications. A distributed computing environment, where workpieces, robots, and other industrial devices such as a vis...
详细信息
This paper describes an object-oriented distributed control environment for industrial multirobot applications. A distributed computing environment, where workpieces, robots, and other industrial devices such as a vision sensor are defined as software objects with class inheritance hierarchy, supports human-friendly task-level programming and automated robot program generation with 3D graphic simulation, and performs supervisory and real-time sensor-based coordinated control of multirobot systems. Using object-oriented multitasking control with a preemptive rescheduler, vision-based robot positioning and pick and place operations for exchange of a workpiece are demonstrated to validate the control performance of the computing environment.
暂无评论