摘要：Software components are increasingly central to efficient, cost-effective software development. Components are the special status of the software system, so the formal description of the components is very important. First, the concept and characteristics of components are given. Second, the definition of OR-transition Colored Petri Net is given. Third, in according to the properties of software components, a formal definition of component is presented. And based on OR-transition Colored Petri Net, an approach is put forward to modeling the software components formally. Finally, an example is given.
