A MATHEMATICAL MODEL FOR GOAL ORIENTED SYSTEM
EL- SHARAWY A. · International Conference on Aerospace Sciences and Aviation Technology · 2001
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.