Model organisms such as budding yeast provide a common platform to interrogate and understand cellular and physiological processes. Knowledge about model organisms, whether generated during the course of scientific investigations, or extracted from published articles, are integrated and made available by model organism databases (MODs) such as the Saccharomyces Genome Database (SGD). SGD uses I...

Simulation model composability is a highly debated issue, especially the specific requirements of model components as compared to software components. Selected software component techniques are reviewed and adapted according to simulation models needs. Standard technologies like UML and XML are exploited to form the basis for a specification layer that wraps model definitions. This layer accoun...

Singapore is depicted to be the fastest growing telecommunications nation in Asia. Presently, all the members of the Singapore banking industry have engaged in the use of Information and Communication Technology as a platform for effective and efficient means of conducting financial transactions. This paper focuses on determining the level of users’ acceptance of the electronic banking services...

Organisations who want to migrate their applications to Platform-as-a-Service (PaaS) environments have a lot of PaaS vendors to chose from and many PaaS offerings within them. At the PaaS abstraction level within the cloud service model, each vendor offers many different configurations to meet the specific organisation’s criteria to migrate to PaaS and the application’s requirements. PaaS provi...

In this paper we address how the composition of a platform impacts the platform’s business model. By platform’s business model we mean platform features, platform architecture and platform governance. To this end, we construct the Platform Business Model Framework. We apply the framework to three exemplary cases which allow us to illustrate the platform heterogeneity and to support new MSPs typ...

This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From the behavioural specification of primitive components, and from the architectural description of the composite components, our tools build models encoding the interactions between the components, suitable for analysis ...

A Resource Space Grid is a virtual Grid that aims at effectively sharing, using and managing versatile resources across the Internet. The kernel of the Resource Space Grid includes a Resource Space Model (RSM) and a uniform Resource Using Mechanism (RUM). This paper presents the Resource Space Grid’s core scientific issues and methodology, architecture, model and theory, design criteria and met...

Reuse is an important topic in software engineering as it promises advantages like faster time-to-market and cost reduction. Reuse of models on an abstract level is more beneficial than on the code level, because these models can be mapped into several technologies and can be adapted according to different requirements. Unfortunately, development tools only provide fixed mappings between abstra...

The model-based approach to the development of embedded systems relies on the use of explicit models in the design process. If these models faithfully represent the components of the system with respect to their properties as well as their interactions, then they can be used to predict the dynamic behavior of the system under construction. In this paper we argue for modeling the execution platf...

The resource space model (RSM) is a model for organizing versatile resources in normal forms and providing uniform resource management operations. In applications, we find three important factors that influence the effectiveness of organizing and operating resources: natural semantics of resources, resource providers’ beliefs, and resource users’ beliefs. The relationship between the three fact...