10738488
Automating speculative queries through event-based requirements traceability
Posing speculative questions about a software system is an important yet often unsupported activity. Current impact analysis techniques tend to focus upon the functionality of the system, whilst the effects of change upon performance requirements are largely ignored until after implementation. This tendency can lead to costly and time-consuming mistakes. Event-based traceability provides a robust method for handling both long-term evolutionary change as well as the short-term speculative change needed to support performance related impact analysis. By establishing dynamic links, capable of propagating data values and commands between requirements and performance models, it becomes possible to automate a wide range of speculative queries and to enhance the overall ability to predict the impact of change upon the performance of the system.
18643244
An Empirical Performance Study on PSIM
It is well known that errors caught in the early stages of system development life cycle greatly helped reduce the expense for later error fixing and mitigate risks and complications. Performance analysis is one of the methods to ensure satisfactory system performance that can avoid redesign and patch in the later stage of system development when performance problems emerge. Much work has been done to address such concerns collectively known as the 'performance engineering' problem. However, a comprehensive method is still needed to provide an end-to-end support for performance evaluation on software architecture design. Automated tools to support the method must be developed, and its validation must be carefully planned and conducted. In response to this need, we propose our approach, PSIM (performance simulation and modeling). PSIM is a performance simulation and modeling tool that integrated performance properties into software architecture specifications expressed in several major UML diagrams. PSIM models can be transformed into Colored GSPN (colored generalized stochastic Petri nets) via an automated tool. As a result, the Colored GSPN models can be simulated to perform model-based performance evaluation. In this paper PSIM is first briefly reviewed and illustrated through modeling a web-based electronic conferencing system, called M-Net, to derive performance metrics. We then conduct runtime performance testing to the implementation of M-Net and compare the simulation results against the runtime testing data. PSIM is shown to be effective in predicting system performance and in identifying system performance bottlenecks through this experimentation.
8941164
Supporting agent-based distributed software development through modeling and simulation
In today's software engineering environment, it is becoming increasingly commonplace for team members and stakeholders to be distributed in multiple locations and time zones. Under these circumstances, the coordination of software development activities becomes increasingly more complex. One solution uses mobile agent-based tools to support collaborative software engineering tasks, such as requirements management. Despite the fact that development and validation of such tools would be facilitated by the use of modeling and simulation, very little work relating formal methods to agent-based system development has been performed. This paper therefore presents a hierarchical colored Petri Net (CPN) model as a formal framework for agent-based distributed software development, and demonstrates its usefulness by applying the framework to the development of a requirements management system.
1871945
Specifications in software prototyping
Abstract We explore the use of software specifications for software prototyping. This paper describes a process model for software prototyping, and shows how specifications can be used to support such a process via a cellular mobile phone switch example.
15614662
Towards increasing web application productivity
In this paper we present and discuss a template/meta-data based partial code generation system supporting web application development. Seamlessly incorporating the recent top-notch technologies, the framework maximally exploits the capabilities of the underlying implementation technologies. Our approach primarily benefits the framework and code developers. In addition, the complete separation of data model, navigation model, and presentation model reflects on a more general conceptual process that would decouple the technique and methodology from its underlying technology choices. The decoupling between the generated code and the code that is necessarily added later on through other development pathways than the generator deals with the incremental changes and adaptations of the models in the face of an operational system, therefore further enhances the extensibility, maintainability, and reusability of the generated applications.
10317156
A research on Collaboration Net
We present research on computer-supported cooperative work by introducing an approach to the multimedia based net-centric conference environment-Collaboration Net. Some basic definitions of the distributed Web-based meeting are provided, and the properties of this kind of collaboration are given. We explain problems associated with the well-known yet old-fashioned parliamentary procedure, Robert's Rules of Order, which must be formally modeled and adapted to the modern net-centric virtual conference where time synchronism is hard to enforce. A prototype of our Web-browser based approach to developing the Collaboration Net is also briefly presented. Finally, research challenges in this area are highlighted.
12945067
A Fast Search Algorithm for Vector Quantization
285,641. British Celanese, Ltd., and Olpin, H. C. Feb. 9, 1927. Samples furnished. Anthraquinone derivatives.-Sulphuric esters of anthraquinonylamino alcohols, which are dyestuffs for organic substitution products of cellulose, e.g. cellulose esters and ethers, and for animal fibres, are made by treating the corresponding alcohols with sulphuric acid or oleum; or by the action of sulphuric esters of aminoalcohols on leuco oxyanthraquinones, e.g. the leuco compounds of 1-oxy-, 1 : 4-dioxy-, 1 : 4 : 5- trioxy or 1 : 4 : 5 : 8-tetraoxy-anthraquinone, followed by oxidation of the leuco body; or by replacement of chlor, nitro, methoxy &c. groups by treatment with sulphuric esters of aminoalcohols, e.g. #-aminoethyl alcohol. The anthraquinonylamino alcohols, for treatment with sulphuric acid or oleum, may be obtained by treating amino or mono-substituted amino derivatives of anthraquinone or substituted anthraquinones with halohydrins, e.g. ethylene, propylene or glyceryl chlorhydrins, epichlorhydrin, or chlorbutylene glycol, or with alkylene oxides, e.g. ethylene or propylene oxide, or with oxyaldehydes or ketones, or by replacement of chlor, nitro, hydroxy, methoxy &c. groups by treatment with an amino alcohol. The sulphuric esters of 1-#-oxyethylamino-, 1-#-oxyethylamino-2 (and 4)- methyl-, 1-#-oxyethylamino-4-oxy (and amino)-, 1-#-oxyethylamino-2-brom-4-amino-, and 1 : 4- and 1: 5-di-#-oxyethylamino-anthraquinones are specified.
14595145
An Approach to Vision-Based Person Detection in Robotic Applications
We present an approach to vision-based person detection in robotic applications that integrates top down template matching with bottom up classifiers. We detect components of the human silhouette, such as torso and legs; this approach provides greater invariance than monolithic methods to the wide variety of poses a person can be in. We detect borders on each image, then apply a distance transform, and then match templates at different scales. This matching process generates a focus of attention (candidate people) that are later confirmed using a trained Support Vector Machine (SVM) classifier. Our results show that this method is both fast and precise and directly applicable in robotic architectures.
17968637
Robust localization of multiple events in sensor networks
Localization of events is a canonical problem for sensor networks, especially for applications such as intrusion detection or neighborhood monitoring. We employ a general sensor model which models various types of sensor nodes. However, traditional triangulation method will be unsolvable when the sensor nodes are positioned on a line. To overcome such ill-conditioned cases, we can use MAP or MMSE methods to estimate event locations. Moreover, to locate multiple simultaneous events and overcome the ill-conditioned case when the sensor nodes are collinear, we need to solve a system of nonlinear equations. We propose a novel method which solves this system of nonlinear equations and multiple-event locations can be found. Experiments and error analysis of the method demonstrate the performance of our methods
553852
Creating a distributed environment using object oriented technology
The paper gives a detailed description of the development of a distributed environment. A brief description of an object oriented technology used in the development of the environment is also presented. The environment described is suitable for rapid prototyping of distributed applications and complete development of distributed software systems. This environment was used in the development of client/server applications and the simulation of a cellular system. The cellular system featured Call-Handoff Cell-spitting and the dynamic allocation of cellular phones in the system.
6704782
A uniform meta-model for mediating formal electronic conferences
Formal electronic conferences (FEC) refers to online meetings for a geographically distributed group of people that are regulated by a rigorous set of rules. FEC technologies enable organizations to replace face-to-face business meetings with trustworthy virtual online meetings. In This work we present a Robert's rules of order (RRO)-compatible, motion-driven discussion-thread-centered meta-model, which is capable of uniformly modeling formal electronic conference activities. A tailored computerized mechanism, the collaboration description language (CODL) and its runtime environment, is also developed to formalize the model. The CODL virtual machine adds a layer of encapsulation that decouples FEC applications from underlying platforms: therefore, the development of FEC applications will become more reliable, efficient, and secure. Our preliminary experience with this meta-model is also reported.