Beta
31146

A MATHEMATICAL MODEL FOR GOAL ORIENTED SYSTEM

Article

Last updated: 04 Jan 2025

Subjects

-

Tags

-

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.

DOI

10.21608/asat.2001.31146

Keywords

System Modeling, Predicate Calculus, and First Order language

Authors

First Name

EL- SHARAWY

Last Name

A.

MiddleName

G.

Affiliation

Lecturer, Dpt., of Mathematics, Faculty of Science, Al-Azhar University, Cairo, Egypt.

Email

-

City

-

Orcid

-

Volume

9

Article Issue

ASAT Conference, 8-10 May 2001

Related Issue

4547

Issue Date

2001-05-01

Receive Date

2019-05-06

Publish Date

2001-05-01

Page Start

1

Page End

7

Print ISSN

2090-0678

Online ISSN

2636-364X

Link

https://asat.journals.ekb.eg/article_31146.html

Detail API

https://asat.journals.ekb.eg/service?article_code=31146

Order

66

Type

Original Article

Type Code

737

Publication Type

Journal

Publication Title

International Conference on Aerospace Sciences and Aviation Technology

Publication Link

https://asat.journals.ekb.eg/

MainTitle

A MATHEMATICAL MODEL FOR GOAL ORIENTED SYSTEM

Details

Type

Article

Created At

22 Jan 2023