Formal specification method for Gaia methodology

Other Title(s)

طريقة المواصفات الرسمية لمنهجية غايا

Dissertant

Ubaydat, Layth Hasan

Thesis advisor

Arabiyat, Abd al-Salam Walid

University

Isra University

Faculty

Faculty of Information Technology

Department

Department Software Engineering

University Country

Jordan

Degree

Master

Degree Date

2016

English Abstract

The software development life cycle process is in continuity and expansion.

So that may occurs and leads to complex software systems which need to have technologies to realize and understand of large-scale and complex software systems.

One of these methods helps to achieve this goal which called agent technology that is compatible and deals with complex software systems characterized by a high degree of distribution.

So a collection of software agents collaborates or competes with each other to achieve single or collective task lead to multi-agent.

In other hands, the correctness of specifications in the first phase of software development life cycle it is the main factor that lead to successful project.

The problem is that the specifications are written by informal method may occur misunderstanding and ambiguity.

In this research, I will give a solution by doing formal specifications method for Gaia methodology which is one of the methods used in multi-agent systems.

This step will enhance the specification based-on Object Constraints Language.

Main Subjects

Information Technology and Computer Science

No. of Pages

74

Table of Contents

• APA
• MLA
• AMA

Language

English

Data Type

Arab Theses

Record ID

BIM-707523