Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Verifying the correct composition of distributed components:
  Formalisation and Tool   This article provides formal definitions characterizing well-formed
composition of components in order to guarantee their safe deployment and
execution. Our work focuses on the structural aspects of component composition;
it puts together most of the concepts common to many component models, but
never formalized as a whole. Our formalization characterizes correct component
architectures made of functional and non-functional aspects, both structured as
component assemblies. Interceptor chains can be used for a safe and controlled
interaction between the two aspects. Our well-formed components guarantee a set
of properties ensuring that the deployed component system has a correct
architecture and can run safely. Finally, those definitions constitute the
formal basis for our Eclipse-based environment for the development and
specification of component-based applications.

37
The categories of this paper are: supr-con
23
The categories of this paper are: solv-int
31
The categories of this paper are: ao-sci
13
The categories of this paper are: quant-ph
14
The categories of this paper are: math-ph
24
The categories of this paper are: dg-ga
33
The categories of this paper are: plasm-ph
10
The categories of this paper are: q-bio
4
The categories of this paper are: cond-mat
17
The categories of this paper are: q-fin
2
The categories of this paper are: math
29
The categories of this paper are: funct-an
20
The categories of this paper are: acc-phys
25
The categories of this paper are: patt-sol
15
The categories of this paper are: nucl-ex
35
The categories of this paper are: mtrl-th