A MATHEMATICAL MODEL FOR GOAL ORIENTED SYSTEM | ||||
International Conference on Aerospace Sciences and Aviation Technology | ||||
Article 101, Volume 10, 10th International Conference On Aerospace Sciences & Aviation Technology, May 2003, Page 931-937 PDF (965.33 K) | ||||
Document Type: Original Article | ||||
DOI: 10.21608/asat.2001.59772 | ||||
![]() | ||||
Author | ||||
EL- SHARAWY G. A. | ||||
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 | ||||
System Modeling; Predicate Calculus; and First Order language | ||||
Statistics Article View: 76 PDF Download: 144 |
||||