This paper presents a framework to model componentbased systems made up of a set of components interacting with each other through message exchange Component behavior is specified by algebraic high-level nets The idea of "nets as tokens" is explored to integrate behavioral model with component communication mechanisms Component interactions are modeled by transformation rules based on the category of algebraic high-level nets Component models are synthesized into a valid system model by applying transformation rules according to predefined consistent conditions In addition, transformation rules can also be explored to refine component models The main contribution of the framework is the explicit separation and seamless synthesis between component models and their interaction models based on different techniques Another contribution is the application of "net as token" to algebraic high-level nets to model more complex components.
