A MATHEMATICAL MODEL FOR GOAL ORIENTED SYSTEM

Document Type : Original Article

Author

Lecturer, Dpt., of Mathematics, Faculty of Science, Al-Azhar University, Cairo, Egypt.

Abstract

This work presents a mathematical model that incorporates goal oriented computer system problem with predicate calculus PC. In this model, the client - server paradigm is exploited so that the object, which provides a service, is a server while the object, which requests it, is regarded as a client. This work introduces a technique for modeling goal oriented computer system using mathematical notations. The model defines the system states and operations needed for system transition from state to another using first order language.

Keywords