Abstract | ||
---|---|---|
AbstractThe 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. |
Year | DOI | Venue |
---|---|---|
2018 | 10.4018/IJISSCM.2018010103 | Periodicals |
Keywords | Field | DocType |
Component Net, Petri Net, Refinement of Component, Trusted Component | Petri net,Software engineering,Colored petri,Software,Software architecture,Operations management,Business,Distributed computing | Journal |
Volume | Issue | ISSN |
11 | 1 | 1935-5726 |
Citations | PageRank | References |
1 | 0.48 | 10 |
Authors | ||
6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Na Zhao | 1 | 1 | 2.17 |
Jin Xu | 2 | 17 | 13.05 |
Xiucheng Yang | 3 | 32 | 7.04 |
Zhongwen Xie | 4 | 4 | 5.37 |
Yong Yu | 5 | 6 | 3.92 |
Jian Wang | 6 | 1 | 1.16 |