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, Jin Xu, Xiucheng Yang, Zhongwen Xie, Yong Yu, Jian Wang
DOI: 10.4018/IJISSCM.2018010103
OnDemand:
(Individual Articles)
Available
$37.50
No Current Special Offers
TOTAL SAVINGS: $37.50

Abstract

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
Top

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:
Reset
Volume 17: 1 Issue (2024)
Volume 16: 1 Issue (2023)
Volume 15: 7 Issues (2022): 6 Released, 1 Forthcoming
Volume 14: 4 Issues (2021)
Volume 13: 4 Issues (2020)
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