36174550
Service-oriented design with aspects (SODA)
In this paper, we introduce a service-oriented design method by integrating the concept of aspects, which is called service-oriented design with aspects (SODA) in order to utilize services and aspects as fundamental and abstract elements in the design phase of software lifecycle. The service model is represented in the structural and behavior views using UML with its extension mechanism and Petri net respectively. Aspects are used to capture service-specific concerns required for delivering high-quality and user-friendly services. By weaving services and aspects, we can generate various versions of a service system as well as their Petri net based service semantics that also facilitates the verification of service design results. We exemplify a service design result of SODA by applying it to a supply-chain management application.
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.
17140893
An Aspect-Oriented Approach to Resource Composition in Petri net-based Software Architectural Models
Petri net has been widely used for modeling software systems due to its mathematical soundness and support of various tools. In many cases, performance-related analyses of Petri net for a software system need to consider the resource limitations caused by a specific platform. In terms of aspect-oriented approach, the interference of various resources scattered across a software system can be regarded as a specific concern that is only necessary during its performance-related analysis process. To capture the interactions of resources within the Petri net-based software architectural model, we propose an aspect-oriented resource composition model and the XML-based representation language called the resource extension markup language (ReML) for its description. In our approach, one or more resource composition models can be developed and described in ReML separately from the development of base software architectural models. Through the weaving process, a resource composition model can be applied to extend several Petri net-based software architectural models. The resource weaver generates an augmented Petri net used for analyzing performance characteristics of the extended software architectural model with resource interactions. Our aspect-oriented approach facilitates selecting an optimal or superior resource composition model for a software architectural model, and vice versa, which is illustrated using two exemplary server models
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.
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.
9710130
A specification language for real-time distributed systems
The authors introduce a design specification method, extended modified Petri nets (EMPN), and its description language (EMPNDL). The specification is based on a stochastic Petri-net model and is suitable for modeling real-time distributed systems. The syntax of the language is formally described in BNF grammar while the semantics is based on that for stochastic Petric nets. In addition to the modeling capability of EMPN and EMPNDL, methods for verification and validation of such systems are also discussed. EMPN and EMPNDL have been extensively used to the specification of a prototype switching system, UICPBX. Based on the presented formulation, verification and validation of UICPBX can be automated to a great extent.<<ETX>>
39044537
Second-Order Conditioning in Mobile Robots
We have proposed a neural network that learns to control avoidance behaviors of a physical mobile robot through classical conditioning and operant conditioning. In this article we test whether our network can acquire second-order conditioning. During training we first associate the activation of the robot's infrared sensors with collisions. Then, the activation of a visual sensor is repeatedly paired with the activation of the infrared sensors. Results show that the robot learns to elicit avoidance responses whenever the visual sensor becomes active.
7769541
A Net Practice for Software Project Management
Technical and managerial complexity increasingly overwhelm project managers. To rein in that complexity, the authors propose PM-Net, a model that captures the concurrent, iterative, and evolutionary nature of software development. It adopts the basic concepts of Petri nets, graphical models of information flow, with extensions to represent both decisions and artifacts.
1331907
An efficient representation of complex materials for real-time rendering
In this paper, we propose an appearance representation for general complex materials which can be applied in real-time rendering framework. By combining a single parametric shading function (such as the Phong model) and the proposed spatial-varying residual function (SRF), this representation can recover the appearance of complex materials with little loss of visual fidelity. The difference between the real data and the parametric shading is directly fitted by a specific function for easy reconstruction. It is simple, flexible and easy to be implemented on programmable graphics hardware. Experiments show that the mean square error (MSE) between the reconstructed appearance and real photographs is less than 5%.
358297
LDI tree: a hierarchical representation for image-based rendering
Using multiple reference images in 3D image warping has been a challenging problem. Recently, the Layered Depth Image (LDI) was proposed by Shade et al. to merge multiple reference images under a single center of projection, while maintaining the simplicity of warping a single reference image. However it does not consider the issue of sampling rate. We present the LDI tree, which combines a hierarchical space partitioning scheme with the concept of the LDI. It preserves the sampling rates of the reference images by adaptively selecting an LDI in the LDI tree for each pixel. While rendering from the LDI tree, we only have to traverse the LDI tree to the levels that are comparable to the sampling rate of the output image. We also present a progressive refinement feature and a “gap filling” algorithm implemented by pre-filtering the LDI tree. We show that the amount of memory required has the same order of growth as the 2D reference images. This also bounds the complexity of rendering time to be less than directly rendering from all reference images. CR Categories: I.3.3 [Computer Graphics]: Picture/Image Generation Viewing Algorithms; I.3.6 [Computer Graphics] Methodology and Techniques Graphics data structures and data types; I.3.7 [Computer Graphics]: Three-Dimensional Graphics and Realism. Additional