JSW 2011 Vol.6(11): 2196-2200 ISSN: 1796-217X
doi: 10.4304/jsw.6.11.2196-2200
doi: 10.4304/jsw.6.11.2196-2200
Approach to Modeling Components in Software Architecture
Yong Yu1, 2, Tong Li1, 2, Qing Liu1, 2, Fei Dai1
1School of Software, Yunnan University, Kunming, China
2Key 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
2Key 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
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.
General Information
ISSN: 1796-217X (Online)
Frequency: Quarterly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, CNKI, Google Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsweditorialoffice@gmail.com
-
Mar 01, 2024 News!
Vol 19, No 1 has been published with online version [Click]
-
Apr 26, 2021 News!
Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec) [Click]
-
Nov 18, 2021 News!
Papers published in JSW Vol 16, No 1- Vol 16, No 6 have been indexed by DBLP [Click]
-
Jan 04, 2024 News!
JSW will adopt Article-by-Article Work Flow
-
Nov 02, 2023 News!
Vol 18, No 4 has been published with online version [Click]