This paper presents a Cloud stack configuration model tackling this challenge by supporting the specification of layer-specific parameters to be taken into account during the utility optimization process.
The language supports the specification of hard real-time systems with reusable components from domain specific component libraries.
A library of objects, such as monomials, posynomials, and generalized posynomials, to support the specification of GPs and GGPs.
RDL is an object-oriented interface language that supports the specification of resources as objects and their relationships.
This framework enables uniform modularization of workflows by supporting the specification of all workflow concerns – including crosscutting ones – in isolation of each other.
For the implementation of the proposed virtual FMS model, this paper employs Discrete Event Systems Specifications (DEVS) formalism, which supports the specification of discrete event models in a hierarchical, modular manner.
This paper describes a Java-based framework for the development of component-based software systems supporting the specification of the logic of component interactions as a first-class aspect.
We discuss the basic concepts of G-PM from the user's point of view, its design, and some implementation issues, including the language PMSL which supports the specification of user-defined metrics.
We demonstrate the advantages of sorts in various examples, illustrate its use to support the specification of design queries and the recognition of emergent information, and consider sorts in relationship to integrated product models.
