By Topic

On legacy system reusability based on CPN and CCS formalism

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Y. Shinkawa ; Syst. Lab., IBM Japan Ltd., Tokyo, Japan ; M. J. Matsumoto

Most legacy systems have been developed in such a monolithic way that they can be used only for solving certain specific problems in the domain where the systems reside. When introducing improved or new business processes into the systems, and/or employing new information technologies such as object technologies or component-based software development methods, this monolithic property often becomes an obstacle. Usually, one cannot enhance the legacy systems because of this property. In this paper, we propose a formal approach which could be soundly applied for modeling such business processes and legacy systems as well. By means of this approach, we can easily evaluate equivalences and differences between them, and find the reusable parts of the legacy systems. Colored Petri nets (CPN) and the Calculus of Communicating Systems (CCS) are used for constructing this formal approach. A simple example from a mail-order processing system is illustrated to show how this approach works

Published in:

Database and Expert Systems Applications, 1998. Proceedings. Ninth International Workshop on

Date of Conference:

25-28 Aug 1998