Go to page
 

Bibliographic Metadata

Title
Formal modeling of a client-cloud interaction middleware with respect to adaptivity / submitted by Roxana-Maria Holom, MSc.
AuthorHolom, Roxana-Maria
CensorSchewe, Klaus-Dieter ; Riccobene, Elvinia
PublishedLinz, Juni 2016
DescriptionXXV, 138 Seiten : Illustrationen
Institutional NoteUniversität Linz, Dissertation, 2016
Annotation
Zusammenfassung in deutscher Sprache
LanguageEnglish
Bibl. ReferenceOeBB
Document typeDissertation (PhD)
Keywords (DE)Cloud-Computing / Abstract State Machines / Validierung / Verifikation
Keywords (EN)cloud-Computing / abstract state machines / validation / verification
Keywords (GND)Cloud Computing / Abstrakte Zustandsmaschine / Validierung / Verifikation
URNurn:nbn:at:at-ubl:1-10780 Persistent Identifier (URN)
Restriction-Information
 The work is publicly available
Files
Formal modeling of a client-cloud interaction middleware with respect to adaptivity [1.96 mb]
Links
Reference
Classification
Abstract (English)

The main contribution of this thesis is the formal specification and analysis of an adaptivity component, as part of a middleware application, that is responsible for adapting the cloud service content to different device profiles and changing network conditions. The main objectives of this work are: to determine the appropriate approach for layout and content adaptation regarding device and network characteristics, provide a formal design of the system, and validate and verify the high-level specifications. The communication channel between the client and the adaptivity component is envisioned as a web application, but this does not disregard the adaptation requirement, because still considerable amount of the web content is designed for desktop computers. Due to the fact that modeling languages currently used in cloud computing and web development areas have informal definitions and ambiguous semantics, and their use may, therefore, be unreliable, the request of formal methods for the specification and analysis in these areas increased. The adaptivity component is split into two parts: the adaptation based on device properties and the adaptation built upon network attributes. Each part contains two phases: the characteristics discovery and the adaptation, which enhances the cloud services with the capability to react and change in response to the specific characteristics.

Stats
The PDF-Document has been downloaded 47 times.