Welcome to the InfoSci Platform
Reference Hub1
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
Copyright: © 2018 |Volume: 11 |Issue: 1 |Pages: 8
ISSN: 1935-5726|EISSN: 1935-5734|EISBN13: 9781522543107|DOI: 10.4018/IJISSCM.2018010103
Cite Article Cite Article

MLA

Zhao, Na, et al. "Operation Refinement in Trusted Component Based on OR-Transition Colored Petri Net." IJISSCM vol.11, no.1 2018: pp.31-38. http://doi.org/10.4018/IJISSCM.2018010103

APA

Zhao, N., Xu, J., Yang, X., Xie, Z., Yu, Y., & Wang, J. (2018). Operation Refinement in Trusted Component Based on OR-Transition Colored Petri Net. International Journal of Information Systems and Supply Chain Management (IJISSCM), 11(1), 31-38. http://doi.org/10.4018/IJISSCM.2018010103

Chicago

Zhao, Na, et al. "Operation Refinement in Trusted Component Based on OR-Transition Colored Petri Net," International Journal of Information Systems and Supply Chain Management (IJISSCM) 11, no.1: 31-38. http://doi.org/10.4018/IJISSCM.2018010103

Export Reference

Mendeley
Favorite Full-Issue Download

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.