Refactoring from Object-Oriented Systems to Service-Oriented Systems: A Categorical Approach

In today´s business-critical environments, there is only a limited possibility that all services are to be developed from scratch. To reuse prior knowledge of existing object-oriented system design and adapt them to more flexible and scalable service-oriented systems, the paper presents a systematic approach that employs categorical models to formalize design knowledge in both kinds of software, and utilizes category theoretic computations to mechanize lifting, integration, and distribution in refactoring from object-oriented systems to service-oriented systems. Our approach provides highly abstract, modularized and effective evolution towards service-oriented computing.