Category Archives: Journal

Designing Service-Based Applications Utilising Cloud Application Platforms: A Development Framework Assisting the Design Process

submitted, pending review

Posted in Journal, Publications | Comments Off on Designing Service-Based Applications Utilising Cloud Application Platforms: A Development Framework Assisting the Design Process

Formal Verification of Annotated Textual Use-Cases

Textual use-cases have been traditionally used in the initial stages of the software development process to describe software functionality from the user’s perspective. Their advantage is that they can be easily understood by stakeholders and domain experts. However, since use-cases … Continue reading

Posted in Journal, Publications | Comments Off on Formal Verification of Annotated Textual Use-Cases

Formalization of Invariant Patterns for the Invariant Refinement Method

Abstract Refining high-level system invariants into lower-level software obligations has been successfully employed in the design of ensemble-based systems. In order to obtain guarantees of design correctness, it is necessary to formalize the invariants in a form amenable to mathematical … Continue reading

Posted in Journal, Publications | Comments Off on Formalization of Invariant Patterns for the Invariant Refinement Method

Efficient Multi-Objective Optimisation of Service Compositions in Mobile Ad hoc Networks Using Lightweight Surrogate Models

Abstract will follow soon

Posted in Journal, Publications | Comments Off on Efficient Multi-Objective Optimisation of Service Compositions in Mobile Ad hoc Networks Using Lightweight Surrogate Models

Inductive representations of RDF Graphs

Abstract RDF forms the basis of the semantic web technology stack. It is based on a directed graph model where nodes and edges are identified by URIs. Occasionally, such graphs contain literals or blank nodes. The existential nature of blank … Continue reading

Posted in Journal, Publications | Comments Off on Inductive representations of RDF Graphs

Semantic-based QoS management in cloud systems: Current status and future challenges

Abstract Cloud Computing and Service Oriented Architectures have seen a dramatic increase of the amount of applications, services, management platforms, data, etc. gaining momentum for the necessity of new complex methods and techniques to deal with the vast heterogeneity of … Continue reading

Posted in Journal, Publications | Comments Off on Semantic-based QoS management in cloud systems: Current status and future challenges

Network Virtualization for QoS-Aware Resource Management in Cloud Data Centers: A Survey

Abstract The increasing popularity of Cloud Computing is leading to the emergence of large virtualized data centers hosting increasingly complex and dynamic IT systems and services. Over the past decade, the efficient sharing of computational resources through virtualization has been … Continue reading

Posted in Journal, Publications | Comments Off on Network Virtualization for QoS-Aware Resource Management in Cloud Data Centers: A Survey

Autonomous components in dynamic environments

A new component model provides abstractions for efficient development of autonomous, self-adaptive systems operating in distributed, open-ended dynamic environments. PDF

Posted in Journal, Publications | Comments Off on Autonomous components in dynamic environments