A MATHEMATICAL MODEL FOR GOAL ORIENTED SYSTEM | ||||
International Conference on Aerospace Sciences and Aviation Technology | ||||
Article 66, Volume 9, ASAT Conference, 8-10 May 2001, May 2001, Page 1-7 PDF (965.33 K) | ||||
Document Type: Original Article | ||||
DOI: 10.21608/asat.2001.31146 | ||||
![]() | ||||
Author | ||||
EL- SHARAWY G. A. | ||||
Lecturer, Dpt., of Mathematics, Faculty of Science, Al-Azhar University, Cairo, Egypt. | ||||
Abstract | ||||
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: 99 PDF Download: 192 |
||||