Specifying runtime environments and functionalities of downloadable components under the sandbox model

We propose a specification of both runtime environments and software components which can be loaded not only from your local system but also from the other systems over the computer network. Because components from the other system are not always reliable or safe enough to act freely in your own system, you should limit their activities to a certain context. Such assumption is based on the sandbox security model. As such components are largely influenced by the runtime environments, users sometimes lose sight of the abilities and limitations of such components. Therefore, they fail to reuse the components in the right way. We provide a way to specify such properties, so that component users can precisely understand the abilities and limitations.