Components for Algebra Transformation Systems

AbstractIn this paper we study the instantiation of the generic notion of component introduced before in terms of algebra transformation systems, where refinements are defined by means of high-level replacement rules. With this work we follow two aims. On one hand we show that our generic component concept is not purely syntactic, but it may take into account the semantics of the specifications involved. On the other hand, with this instantiation we strengthen the role of our component concept in the study of component-based heterogeneous systems