Apparatus and method for software system management using second

Details Apparatus and method for software system management using second Apparatus and method for software system management using second

1994-05-19

1997-06-17

Kriess, Kevin A.

395701, 395702, 395 50, 395922, G06F 1700

Patent

active

056405677

ABSTRACT:
A software system manager to achieve second-order logical management of a software system model is described. The system relies upon a second-order logic system description that uses variable functors with specified import predicate arguments and export predicates. The second-order logical system description includes a second-order system model, a second-order rule set, and a second-order operation module. The second-order system model defines a set of existing program files, the second-order rule set defines a set of operations that can be performed on the existing program files, and the second-order operation module specifies an operation to be executed by the secondorder rule set on the set of existing program files. The second-order logic system description is used to generate a set of system construction commands. The system construction commands specify the commands necessary to transform the existing program files into intermediate object files that are used to produce an executable program.

REFERENCES:
patent: 5159687 (1992-10-01), Richburg
patent: 5257363 (1993-10-01), Shapiro et al.
patent: 5274820 (1993-12-01), Gillet
patent: 5274821 (1993-12-01), Rouquie
patent: 5276775 (1994-01-01), Meng
patent: 5321606 (1994-06-01), Kuruma et al.
"Formal Specification of Geographic Data Processing Requirements", Gruia-catalin Roman, IEEE Transaction on Knowledges and Data Engineering, vol. 2, No. 4, Dec. 1990.
Adams, Paul; "An Overview of the CAPITL Software Development Environment in Proceedings of the Fourth Software Configuration Management Workshop", Baltimore, Maryland, USA, May 21-22, 1993.
Chen, Weidong; "A Theory of Modules Based on Second-Order Logic", In Proceedings of the Symposium of Logic Programming, 1987.
Make; Sun Microsystems, Inc., "Make User's Guide", Progamming Utilities and Libraries, Chapter 5, Part No. 800-3847-10.

Affiliated with

Also associated with

Rating

Apparatus and method for software system management using second does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Apparatus and method for software system management using second, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Apparatus and method for software system management using second will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2165761