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

Na Zhao, Jin Xu, Xiucheng Yang, Zhongwen Xie, Yong Yu and Jian Wang
Additional contact information
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
Jian Wang: Kunming University of Science and Technology, Kunming, China

International Journal of Information Systems and Supply Chain Management (IJISSCM), 2018, vol. 11, issue 1, 31-38

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.

Date: 2018
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 8/IJISSCM.2018010103 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jisscm:v:11:y:2018:i:1:p:31-38

Access Statistics for this article

International Journal of Information Systems and Supply Chain Management (IJISSCM) is currently edited by John Wang

More articles in International Journal of Information Systems and Supply Chain Management (IJISSCM) from IGI Global
Bibliographic data for series maintained by Journal Editor ().