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, Pages 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: 142 PDF Download: 227 |