: In this paper we explore issues in the development of the my Grid ontology, which is an OWL ontology designed to support service discovery through service annotation. There are c...
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...