A case study on business process recovery using an e‐government system

Business processes have become one of the key assets of organization, since these processes allow them to discover and control what occurs in their environments, with information systems automating most of an organization's processes. Unfortunately, and as a result of uncontrolled maintenance, information systems age over time until it is necessary to replace them with new and modernized systems. However, while systems are aging, meaningful business knowledge that is not present in any of the organization's other assets gradually becomes embedded in them. The preservation of this knowledge through the recovery of the underlying business processes is, therefore, a critical problem. This paper provides, as a solution to the aforementioned problem, a model‐driven procedure for recovering business processes from legacy information systems. The procedure proposes a set of models at different abstraction levels, along with the model transformations between them. The paper also provides a supporting tool, which facilitates its adoption. Moreover, a real‐life case study concerning an e‐government system applies the proposed recovery procedure to validate its effectiveness and efficiency. The case study was carried out by following a formal protocol to improve its rigor and replicability. Copyright © 2011 John Wiley & Sons, Ltd.     

Capacity estimation algorithm for simultaneous support of multi-class traffic services in Mobile WiMAX

Mobile profile of WiMAX technology, based on IEEE 802.16e standard, is due to support multi-application services, while benefiting a wide range of implementation flexibilities. The current document presents a simple capacity estimation methodology for WiMAX systems. In this paper, the term capacity concerns with the maximum number of simultaneous multi-service users that each specific Mobile WiMAX access point can jointly support. A dynamic PHY+MAC overhead removal method is formulated to achieve an improved system goodput with respect to users distribution and multi-burst construction strategy. A service delivery model is presented that investigates the QoS requirements of the services to be supported, along with elaborating an application profile as a consistent input for capacitating and dimensioning studies. The minimum resource consumption calculation for the joint-application users is derived at each given time. An incremental algorithm compares the optimal available resources with minimum service demand for each number of users to arrive at maximum system capacity. Using the proposed algorithm, different simulation scenarios are studied based on the most used WiMAX implementation parameters in practice. The simulation results prove the significant roll of overhead calculation in performance evaluation studies. Furthermore, these results can be used for network planning and dimensioning purposes, as well as providing reference measures for scheduling performance analysis and detailed simulations.     

Integration of collaboration and interaction analysis mechanisms in a concern-based architecture for groupware systems

Collaboration and interaction analysis allows for the characterization and study of the collaborative work performed by the users of a groupware system. The results of the analyzed processes allow problems in users’ collaborative work and shortcomings in the functionalities of the groupware system to be identified. Therefore, automating collaboration and interaction analysis enables users’ work to be assessed and groupware system support and behavior to be improved. This article proposes a concern-based architecture to be used by groupware developers as a guide to the integration of analysis subsystems into groupware systems. This architecture was followed to design the COLLECE groupware system, which supports collaborative programming practices and integrates an analysis subsystem that assesses different aspects of the work carried out by the programmers and adapts the functionality of the system under specific conditions.     

Adaptive Cross‐sections of Anatomical Models

Medical illustrations have been used for a long time for teaching and communicating information for diagnosis or surgery planning. Illustrative visualization systems create methods and tools that adapt traditional illustration techniques to enhance the result of renderings. Clipping the volume is a popular operation in volume rendering for inspecting the inner parts, though it may remove some information of the context that is worth preserving. In this paper we present a new editing technique based on the use of clipping planes, direct structure extrusion, and illustrative methods, which preserves the context by adapting the extruded region to the structures of interest of the volumetric model. We will show that users may interactively modify the clipping plane and edit the structures to highlight, in order to easily create the desired result. Our approach works with segmented volume models and non‐segmented ones. In the last case, a local segmentation is performed on‐the‐fly. We will demonstrate the efficiency and utility of our method.     

Segmentation of cervical cell nuclei in high-resolution microscopic images: A new algorithm and a web-based software framework

In order to automate cervical cancer screening tests, one of the most important and longstanding challenges is the segmentation of cell nuclei in the stained specimens. Though nuclei of isolated cells in high-quality acquisitions often are easy to segment, the problem lies in the segmentation of large numbers of nuclei with various characteristics under differing acquisition conditions in high-resolution scans of the complete microscope slides. We implemented a system that enables processing of full resolution images, and proposes a new algorithm for segmenting the nuclei under adequate control of the expert user. The system can work automatically or interactively guided, to allow for segmentation within the whole range of slide and image characteristics. It facilitates data storage and interaction of technical and medical experts, especially with its web-based architecture. The proposed algorithm localizes cell nuclei using a voting scheme and prior knowledge, before it determines the exact shape of the nuclei by means of an elastic segmentation algorithm. After noise removal with a mean-shift and a median filtering takes place, edges are extracted with a Canny edge detection algorithm. Motivated by the observation that cell nuclei are surrounded by cytoplasm and their shape is roughly elliptical, edges adjacent to the background are removed. A randomized Hough transform for ellipses finds candidate nuclei, which are then processed by a level set algorithm. The algorithm is tested and compared to other algorithms on a database containing 207 images acquired from two different microscope slides, with promising results.     

Testing interruptions in reactive systems

Modelling and testing of reactive systems with interruptions are discussed. These systems are commonly found in portable devices, where interruptions to a running application can be demanded at any time, due to concurrent execution of processes sharing a single resource, such as screen, as well as arrival of calls from network distributed services. Since the possible number of combinations of allowed interruptions is large, proper test case selection activities need to be performed. But, in order to systematically investigate and select test cases, it is fundamental to explicitly model interruption behaviour in a compositional way, avoiding the need for explicit enumeration. This work presents a strategy for testing interruptions in reactive systems that covers modelling for testing of systems with interruptions, generation and selection of sound test cases. The strategy is supported by the LTS-BT tool. Moreover, a formal model of an environment devoted to execution of test cases with interruptions is presented. Finally, a case study illustrates its applicability in the mobile phone application domain.     

Modelling and characterization of AlN-actuated microcantilevers vibrating in the first in-plane mode

The characterization of the first in-plane mode of aluminum nitride-actuated piezoelectric microcantilevers was carried out by using electrical and optical techniques. The top electrode of the cantilever was specifically designed to allow for an efficient electrical actuation of these in-plane modes. In order to confirm the in-plane nature of the modal vibration, the detection of the electrically induced movement was performed optically with the help of a stroboscopic microscope. In parallel, resonances were also measured electrically by means of an impedance analyzer. The quality factor and the resonant frequencies of the in-plane modes were estimated from the corresponding measurement data when applying both detection techniques. Our results show quality factor values as high as 3,000 for the first in-plane mode in air.     

一类差分方程组非负解的收敛性

通过考查一类差分方程组,研究其非负解的收敛性,得到了方程组的非负解收敛于方程组的平衡点的结论,该研究的主要结果改进了相关文献中的结果．