40684547
Supporting event based traceability through high-level recognition of change events
Although requirements traceability is crucial in both the development and maintenance of a software system, traceability links and related artifacts tend to deteriorate, as time-pressured practitioners fail to systematically update them in response to change. Event-based traceability addresses this issue by establishing links through a loosely coupled publisher/subscriber scheme. Dependent entities subscribe to requirements and receive event notifications as changes occur. This paper focuses upon the role played by the requirements specification as a publisher of events. A set of standard change events is defined and a method for monitoring a user's actions within a requirements management environment and the subsequent recognition and publication of the change events is proposed. Early results obtained from testing this approach are reported.
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.
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.
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.
18290622
Transport measurements on MOVPE-grown InN films
We have performed electrical transport measurements on InN films. Our results show that the electron transport in our InN films is metallic-like, that is, within the experimental error the carrier density is temperature-independent over a wide temperature range (4 K≤T≤290 K). At low temperatures, the resistivities of our InN devices appear to saturate and show gradual increase with increasing temperatures. We suggest that residue impurity scattering limits the electron mobility in InN films. We compare our results with existing theoretical models.
12151320
Mining Periodic Patterns in Sequence Data
Periodic pattern mining is the problem that regards temporal regularity. There are many emerging applications in periodic pattern mining, including web usage recommendation, weather prediction, computer networks and biological data. In this paper, we propose a Progressive Timelist-Based Verification (PTV) method to the mining of periodic patterns from a sequence of event sets. The parameter min_rep, is employed to specify the minimum number of repetitions required for a valid segment of non-disrupted pattern occurrences. We also describe a partitioning approach to handle extra large/long data sequence. The experiments demonstrate good performance and scalability with large frequent patterns.
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
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>>
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.