Operation Refinement in Trusted Component Based on OR-Transition Colored Petri Net

Operation Refinement in Trusted Component Based on OR-Transition Colored Petri Net

Na Zhao (School of Software, Yunnan University, Kunming, China), Jin Xu (Yunnan University, Kunming, China), Xiucheng Yang (ICube Laboratory, University of Strasbourg, Strasbourg, France), Zhongwen Xie (School of Software, Yunnan University, Kunming, China), Yong Yu (School of Software, Yunnan University, Kunming, China) and Jian Wang (Kunming University of Science and Technology, Kunming, China)
DOI: 10.4018/IJISSCM.2018010103


The development and evolution of trusted software is the focus of attention in the fields of trusted software and software engineering at home and abroad. In view of its complexity and diversity, this article proceeds with component, which is the basic element of software architecture, and discusses the refinement of trusted component. Refine one of the operations and its local environment using OR-transition colored Petri net to achieve the purpose of gradual refinement.
Article Preview

In recent years, domestic and foreign research institutions and scholars have done many related works on trusted component from different perspectives.

There have been some works (Franco, Barbosa, & Zenha-Rela, 2013; Panwar & Garg, 2013; Zuo & Hu, 2009; Rathod & Parmar, 2012; and Wang & Chen, 2012) on the research of evaluation and evolution of trusted component. In five recent papers (Shafiu & Singh, 2016; Law, Verville, & Taskin, 2011; Brahimi, Seinturier, & Boufaida, 2009; Li, Li, & Wang, 2013; and Shanmugapriya & Suresh, 2012) the authors analyzed the reliability of component and discussed the trusted component modeling and algorithm efficiency.

Wang, Tang, Yin, & Li (2006) proposed a trusted concept model of Internet software for Internet virtual computing environment (iVCE), and the network software trusted guarantee system, which assembles identity creditability, capability creditability and behavior creditability. In addition, they argued that the online adjustment of environmental adaptability was an important part of credible evolution, thus proposed a component model that supports the fine-grained online adjustment of software environment adaptability (Ding, Wang, Shi, & Li, 2011).

Complete Article List

Search this Journal:
Open Access Articles
Volume 13: 4 Issues (2020): 1 Released, 3 Forthcoming
Volume 12: 4 Issues (2019)
Volume 11: 4 Issues (2018)
Volume 10: 4 Issues (2017)
Volume 9: 4 Issues (2016)
Volume 8: 4 Issues (2015)
Volume 7: 4 Issues (2014)
Volume 6: 4 Issues (2013)
Volume 5: 4 Issues (2012)
Volume 4: 4 Issues (2011)
Volume 3: 4 Issues (2010)
Volume 2: 4 Issues (2009)
Volume 1: 4 Issues (2008)
View Complete Journal Contents Listing