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

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.

MoreLess

Year of publication:	2018
Authors:	Zhao, Na ; Xu, Jin ; Yang, Xiucheng ; Xie, Zhongwen ; Yu, Yong ; Wang, Jian
Published in:	International Journal of Information Systems and Supply Chain Management (IJISSCM). - IGI Global, ISSN 1935-5734, ZDB-ID 2400984-2. - Vol. 11.2018, 1 (01.01.), p. 31-38
Publisher:	IGI Global
Subject:	Component Net \| Petri Net \| Refinement of Component \| Trusted Component

More details

Type of publication:	Article
Language:	English
Other identifiers:	10.4018/IJISSCM.2018010103 [DOI]
Source:	Other ZBW resources

Persistent link: https://www.econbiz.de/10012045822