A Formal Modeling for Component Behaviors Based on Event Track

System behaviors are implemented through interacting between components during the method of component-based software development. Therefore, how to formal the component behaviors have become an important problem. This paper presents a component behavioral modeling method based on event track, which utilize a process with the event track to describe the behavior of component, the event set may be involved in the components were extended to the pointed set, the possible behavior of component in a given environment seen as an event track. This method can effectively solve parallel composition of component behaviors with synchronization constraints. Finally, this paper illustrates concrete details by an example.