Denotational semantics for cloud # language
Other Title(s)
السيمانتك الشكلي للغة الكلود شارب
Dissertant
Thesis advisor
Comitee Members
Ababinah, Ismail M.
al-Ghul, Said
University
Philadelphia University
Faculty
Faculty of Information Technology
Department
Department of Computer Science
University Country
Jordan
Degree
Master
Degree Date
2013
English Abstract
-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.
Main Subjects
Topics
No. of Pages
85
Table of Contents
Table of contents.
Abstract.
Abstract in Arabic.
Chapter One : Introduction.
Chapter Two : Literature review.
Chapter Three : Method.
Chapter Four : An abstract syntax for cloud.
Chapter Five : A static semantics model for cloud #.
Chapter Six : A denotational semantics model for cloud #.
Chapter Seven : Evaluation.
Chapter Eight : Conclusions and future works.
References.
American Psychological Association (APA)
Abd al-Rahman, Yahya Mustafa. (2013). Denotational semantics for cloud # language. (Master's theses Theses and Dissertations Master). Philadelphia University, Jordan
https://search.emarefa.net/detail/BIM-549105
Modern Language Association (MLA)
Abd al-Rahman, Yahya Mustafa. Denotational semantics for cloud # language. (Master's theses Theses and Dissertations Master). Philadelphia University. (2013).
https://search.emarefa.net/detail/BIM-549105
American Medical Association (AMA)
Abd al-Rahman, Yahya Mustafa. (2013). Denotational semantics for cloud # language. (Master's theses Theses and Dissertations Master). Philadelphia University, Jordan
https://search.emarefa.net/detail/BIM-549105
Language
English
Data Type
Arab Theses
Record ID
BIM-549105
