UDC 004.438

João Costa Seco, Ricardo Silva, and Margarida Piriquito

CITI / Departamento de Informática,Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Portugal

joao.seco@di.fct.unl.pt, {ardoric, mpiriquito}@gmail.com

Abstract. This paper describes an evolution of the ComponentJ programming language, a component-based Java-like programming language where composition is the chosen structuring mechanism. ComponentJ constructs allow for the high-level specification of component structures, which are the basis for the definition of compound objects. In this paper we present a re-implementation of ComponentJ which is more flexible and also allows the dynamic reconfiguration of objects. The manipulation of components and composition operations at the programming language level allows for the compile time verification, by a type system, of safety structural properties of ComponentJ programs. This work is based on earlier fundamental results where the main concepts are presented and justified in the form of a core component calculus.