Ilhyun Lee

Transformations from SPEM work sequences to BPMN sequence flows for the automation of software development process

Generally, different companies use distinct software development process. Due to it, OMG has specified an architecture to can define a software development process. This architecture uses a metamodel which is able to be abstracted from particular characteristics and to give the possibility of defining the different software development processes. The Software Process Engineering Metamodel (SPEM) is a metamodel used for describing a concrete software development process. Also, the OMG specify a standardized language to model business processes. This language is called Business Process Modeling Notation (BPMN). In this paper, a formalization of transformations between SPEM and BPMN is specified. The transformations are done using the language of formal specification RSL. One time that we obtain a BPMN specification, it is possible to generate XPDL code or BPEL code. The workflow technology can use this code and execute the process. It allows automate the business process, but in this case, the process is a software development process. Consider that workflow technologies automate, totally or partially, the business processes enabling an interaction between men and machines, under an established set of procedural rules. Such technologies use standard languages, like BPEL or XPDL, to specify the business process which is executed in a workflow engine. The BPMN allows to generate BPEL or XPDL codes. Therefore, if we specify a software development process using SPEM, we will automate this process using the workflow technology due to transformations between SPEM and BPMN done in this paper.

Reusing OE-Scheduler in Aperiodic Environments

OEA-scheduler is a scheduler that generates a schedule of aperiodic tasks and periodic tasks by the principle of eliminating unnecessary context switches under the rate monotonic algorithm. This new scheduler will minimize the average response time of aperiodic tasks and also guarantee the hard deadlines of an arbitrary number of periodic tasks in hard real-time environments. In previous research, the OE-scheduler was developed to schedule periodic tasks only, and later improved to use object-oriented methods. Due to the object-oriented approach, the authors have been able to reuse the OE-scheduler algorithm and extend it to work with both periodic tasks and aperiodic tasks. An object oriented design of the scheduler will be presented, along with an implementation result

A strategy based on LSP for the evaluation of specific languages for business processes modeling

The business process modeling presents a global vision of an organization. This characteristic allows for a better understanding of: the dynamics of the company, and the relationships that are given inside it and with its environment. Therefore, it is the best technique to align the development with the organizations goals. In this context, the role of modeling languages in the Business Processes specification is fundamental. Choosing the most appropriate language for specifying the company processes is an important and critical decision. This is because the models help to improve its performance and evolution avoiding many risk factors. In this paper, an evaluation strategy of business process modeling languages based in LSP is proposed. The main goal is to provide companies with a framework for the selection of the best business process modeling languages.

Algorithmic Design and Implementation of an Automated Testing Tool

This paper presents the design and implementation of an automated software testing tool. The described tool mechanically creates test cases for specific three-variable functions. The results of the testing tool are validated against predetermined results for each test case to measure correctness. This testing tool can be adapted and reused for similar functions.

A novel approach for hierarchical clustering in non - binary search space

Data clustering is one of the powerful techniques for the knowledge discovery from data. In this paper, a novel approach for hierarchical clustering has been proposed over non-binary search space. Besides the agglomerative methods, the proposed algorithm has considered the Strength of Presence associated with each transaction, to yield quality clusters which are again more close to the real life situation. The algorithm is also capable to produce clusters with customizable varying density along with varying number of clusters.

BIRP: Bank intra routing protocol

SWIFT is a financial institution, which provides an interface for banks in order to communicate and transfer money worldwide. These banks, together with their branches incur significant expenses including security infrastructure, SAA package license, yearly maintenance, and message costs. Banks always look for a good investment and the swift routing protocol does not deal with intra bank message processing as a separate case. If a message is sent for either a branch or another bank, it must pass through SWIFT before it continues to the correspondent. In this work, we provide a new protocol - bank intra routing protocol (BIRP) - that intra routes all messages exchanged between the main branch and all its branches.

Design and implementation of a reusable software tool with application

This paper describes the design and implementation of a software tool that can be reused for an empirical validation experiment of several commonly used software metrics in object-oriented environments. A detailed description of the steps of the potential validation experiment is provided. An overview of the software metrics considered and the required implementation of the test data to be used in the proposed experiment are also presented.