Equivalent Transformation Rules as Components of Programs

Based on the equivalent transformation (ET) computation model, where computation is regarded as ET of problem descriptions and a program consists of many ET rules, we discuss how to regard ET rules as components of programs and how to define specifications of ET rules in order to guarantee correct and wide applicability of components

[1]  Nicolas Beldiceanu,et al.  Constraint Logic Programming , 1997 .

[2]  하수철,et al.  [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .

[3]  Mikio Aoyama,et al.  New Age of Software Development: How Component-Based Software Engineering Changes the Way of Software Development ? , 1998 .

[4]  Kiyoshi Akama,et al.  Problem solving by equivalent transformation of negative constraints , 2005, 2005 IEEE International Conference on Systems, Man and Cybernetics.

[5]  Akcell Chiang,et al.  DEVELOPING AN INTELLIGENT SYSTEM TO ACQUIRE MEETING KNOWLEDGE IN PROBLEM-BASED LEARNING ENVIRONMENTS , 2006 .

[6]  Alberto Pettorossi,et al.  Transformation of Logic Programs , 1994 .

[7]  Guy Eddon,et al.  Inside Distributed COM , 1998 .

[8]  Thomas J. Mowbray,et al.  Inside CORBA - distributed object standards and applications , 1998, Addison-Wesley object technology series.

[9]  Hironori Washizaki,et al.  A component-extraction-based program reuse system , 2005 .

[10]  クイック,et al.  ActiveX controls inside out , 1997 .

[11]  Charles W. Krueger,et al.  Software reuse , 1992, CSUR.

[12]  Jon Hopkins,et al.  Component primer , 2000, CACM.

[13]  Hidekatsu Koike,et al.  Equivalent Transformation of Member Constraints on Interval-Variable Domain , 1998 .

[14]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[15]  Abdille Abdullahi,et al.  Component-based Software development , 2008 .

[16]  Thom W. Frühwirth,et al.  Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..

[17]  Jim Q. Ning.  A Component-Based Software Development Model , 1996, Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96.

[18]  Kiyoshi Akama,et al.  Constraint Solving Specializations for Equality on an Interval-Variable Domain , 2007, J. Adv. Comput. Intell. Intell. Informatics.

[19]  Richard Monson-Haefel,et al.  Enterprise JavaBeans , 1999, Java series.

[20]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[21]  Kiyoshi Akama,et al.  State-Transition Computation Models and Program Correctness Thereon , 2007, J. Adv. Comput. Intell. Intell. Informatics.

[22]  Pascal Van Hentenryck.  Constraint logic programming , 1991, The Knowledge Engineering Review.