Denotational semantics for cloud # language

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

السيمانتك الشكلي للغة الكلود شارب

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

Abd al-Rahman, Yahya Mustafa

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

Maush, Murad

أعضاء اللجنة

Ababinah, Ismail M.
al-Ghul, Said

الجامعة

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

الكلية

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

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

قسم علم الحاسوب

دولة الجامعة

الأردن

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

ماجستير

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

2013

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

-CloudMDE is considered as one of the most significant research areas in software development nowadays.

It has attracted an increasing attention from the research community.

CloudMDE aims at identifying opportunities for making Cloud Computing benefits from model-driven engineering techniques and vice versa.

Cloud# language has been proposed as a way for using model-driven engineering techniques to support Cloud Computing.

It is a domain-specific modeling language for modeling the infrastructure of the cloud.

Cloud# is an imperative language with a textual concrete syntax.

It manipulates the cloud infrastructure components as first class citizens.

Furthermore, it supports concurrency and event-driven actions.

Until now a BNF abstract syntax, a concrete syntax and an informal semantics description for Cloud# language are available.

However, this language lacks a formal semantics definition.

In this thesis, we have defined a formal denotational semantics for Cloud# language.

Object-Z language has been used as a meta-language for defining the formal semantics of Cloud# in a single unified framework.

That is, the abstract syntax, static and dynamic semantics of a single language construct are specified in one Object-Z class.

Not only does this help the readability of the semantic, but if the language is enhanced or evolved, the required modifications can be done by minimal disruption to the existing semantics.

Also it is possible to use some parts of semantics definition of one language to define another.

On the other hand, the consistency checking for Cloud# language has been done using an Object-Z type-checker tool.

A sample Cloud# model has been converted to the Object-Z specifications and then applied along with the existing formal denotational semantics to the type-checker.

No typing errors have been found which indicates the consistency of Cloud# language.

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

الرياضيات

الموضوعات

• معالجة البيانات
• برمجيات الحاسوب
• الشبكة العنكبوتية العالمية
• علم الدلالة
• الحوسبة السحابية
• خوادم الويب

عدد الصفحات

85

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

• APA
• MLA
• AMA

لغة النص

الإنجليزية

نوع البيانات

رسائل جامعية

رقم السجل

BIM-549105