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.
A., E. S. (2003). A MATHEMATICAL MODEL FOR GOAL ORIENTED SYSTEM. International Conference on Aerospace Sciences and Aviation Technology, 10(10th International Conference On Aerospace Sciences & Aviation Technology), 931-937. doi: 10.21608/asat.2001.59772
MLA
EL- SHARAWY G. A.. "A MATHEMATICAL MODEL FOR GOAL ORIENTED SYSTEM", International Conference on Aerospace Sciences and Aviation Technology, 10, 10th International Conference On Aerospace Sciences & Aviation Technology, 2003, 931-937. doi: 10.21608/asat.2001.59772
HARVARD
A., E. S. (2003). 'A MATHEMATICAL MODEL FOR GOAL ORIENTED SYSTEM', International Conference on Aerospace Sciences and Aviation Technology, 10(10th International Conference On Aerospace Sciences & Aviation Technology), pp. 931-937. doi: 10.21608/asat.2001.59772
VANCOUVER
A., E. S. A MATHEMATICAL MODEL FOR GOAL ORIENTED SYSTEM. International Conference on Aerospace Sciences and Aviation Technology, 2003; 10(10th International Conference On Aerospace Sciences & Aviation Technology): 931-937. doi: 10.21608/asat.2001.59772