Refactoring from object-oriented systems to service-oriented systems: A categorical approach

Proceedings - 2010 International Conference on Service Science, ICSS 2010

Volumn , Issue , 2010, Pages 214-218

  Haifeng, Ling ^a   Xianzhong, Zhou ^a   Yujun, Zheng ^b  

^a NANJING UNIVERSITY   (China)

^b INSTITUTE OF SOFTWARE   (China)

Author keywords

Category theory; Object oriented; Refactoring; Service oriented

Indexed keywords

CATEGORICAL MODEL; CATEGORY THEORY; CRITICAL ENVIRONMENT; DESIGN KNOWLEDGE; MODULARIZED; OBJECT ORIENTED; OBJECT-ORIENTED SYSTEM; PRIOR KNOWLEDGE; REFACTORINGS; SERVICE ORIENTED; SERVICE ORIENTED COMPUTING; SERVICE ORIENTED SYSTEMS;

COMPUTER SOFTWARE REUSABILITY; OBJECT ORIENTED PROGRAMMING;

INTELLIGENT CONTROL;

EID: 77954911029     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSS.2010.11     Document Type: Conference Paper

References (12)

1. J. L. Fiadeiro, "Algebraic support for service-oriented architecture," Proc. 9th int'l Conf. Algebraic Methodology and Software Technology, Lecture Notes In Computer Science, vol. 2422, 2002, pp. 75-82.
2. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella, "Automatic composition of e-services that export their behavior," Proc. 1st Int'l. Conf. Service Oriented Computing, Lecture Notes in Computer Science, vol. 2910, 2003, pp. 43-58
3. J. L. Fiadeiro, A. Lopes, and L. Bocchi, "A formal approach to service component architecture," Proc. 3d Int'l Workshop. Services and Formal Methods, Lecture Notes in Computer Science, vol. 4184. 2006, pp. 193-213.
4. Z. Shen, J. Su, "On completeness of web service compositions," Proc. IEEE Int'l Conf. Web Services, Salt Lake City Utah, IEEE Press, 2007, pp.800-807
5. B. Kanagwa and E. K. Mugisa, Th.P. Weide, "On systematic design of service-oriented architectures," Proc. 2008 Int'l Conf. Software Engineering Research & Practice, Las Vegas Nevada, USA, 2008, 374-381
6. Y. J. Zheng, Y. J. Xue, W. B. Liu, "Object-oriented specification composition and refinement via category theoretic computations," Proc. 3rd Int'l Conf. Theory and Applications of Models of Computation , Lecture Notes in Computer Science, vol. 3959, 2006, pp. 601-610
7. Y.J. Zheng, Q.M. Hu, J.Y. Xue, "Knowledge-based support for object-oriented software design and synthesis: a category theoretic approach," Journal of Digital Information Management, vol. 5, 2007, pp. 115-122.
8. A. Asperti and G. Longo, Categories, types, and structures: an introduction to category theory for the working computer scientist. Cambridge, MA: MIT Press, 1991.
9. J. L. Fiadeiro, Categories for Software Engineering. Berlin: Springer, 2004.
10. H. D. Ehrich and M. Gogolla, "Objects and their specifications, " Proc. 8th Workshop on Abstract Data Types, Lecture Notes in Computer Science, vol. 665, 1991, pp. 40-65.
11. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Systems. Reading, MA: Addison-Wesley, 1995.
12. S. Labey, E. Steegmans, M. Dooren, "Bridging the gap between object oriented programming and service oriented computing," Proc. 1st Int'l Workshop. Foundations of Service Oriented Architecture, Lisbon, Portugal, 2007.