Formal specification method for Gaia methodology

العناوين الأخرى

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

مقدم أطروحة جامعية

Ubaydat, Layth Hasan

مشرف أطروحة جامعية

Arabiyat, Abd al-Salam Walid

الجامعة

جامعة الإسراء

الكلية

كلية تكنولوجيا المعلومات

القسم الأكاديمي

قسم هندسة البرمجيات

دولة الجامعة

الأردن

الدرجة العلمية

ماجستير

تاريخ الدرجة العلمية

2016

الملخص الإنجليزي

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.

التخصصات الرئيسية

تكنولوجيا المعلومات وعلم الحاسوب

عدد الصفحات

74

قائمة المحتويات

• APA
• MLA
• AMA

لغة النص

الإنجليزية

نوع البيانات

رسائل جامعية

رقم السجل

BIM-707523