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, Pages 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: 134 PDF Download: 172 |
||
