¹School of Software, Yunnan University, Kunming, China
²Key Laboratory in Software Engineering of Yunnan Province, Kunming, China

---

Abstract—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.

Index Terms—component, Petri net, modeling, software architecture

[PDF]

Cite: Yong Yu, Tong Li, Qing Liu, Fei Dai, "Approach to Modeling Components in Software Architecture," Journal of Software vol. 6, no. 11, pp. 2196-2200, 2011.