TY - GEN
T1 - Software System Representation Methods Based on Algebraic Component
AU - Yu, Zijun
AU - Shan, Chun
AU - Mao, Limin
AU - Hu, Changzhen
AU - Xiong, Wenjie
N1 - Publisher Copyright:
© 2018 IEEE.
PY - 2018/9/5
Y1 - 2018/9/5
N2 - To improve the ability to describe the dynamic behavior and interoperability of the artifacts, increase flexibility and security in software development and improve the productivity of software systems. This paper present a software system representation methods based on algebraic component. First, based on the perspective of complex network, the method abstracts the software system into software topological graph which takes information resources as vertex and takes its behavior as edges. Then, the paper uses the topological complex principle to abstract each node into six-tuple algebraic component. This algebraic component is divided into functional and join parts. The method also presents three operation relations including call operation, contained operation and nested operation. The paper gives a rigorous proof of algebraic component and its three kinds of operation. The results show that the algebraic component and its operation are complete, and can be algebraically expressed in any software system.
AB - To improve the ability to describe the dynamic behavior and interoperability of the artifacts, increase flexibility and security in software development and improve the productivity of software systems. This paper present a software system representation methods based on algebraic component. First, based on the perspective of complex network, the method abstracts the software system into software topological graph which takes information resources as vertex and takes its behavior as edges. Then, the paper uses the topological complex principle to abstract each node into six-tuple algebraic component. This algebraic component is divided into functional and join parts. The method also presents three operation relations including call operation, contained operation and nested operation. The paper gives a rigorous proof of algebraic component and its three kinds of operation. The results show that the algebraic component and its operation are complete, and can be algebraically expressed in any software system.
KW - algebraic component
KW - completion of the component operation
KW - software security
KW - software structure topological graph
UR - http://www.scopus.com/inward/record.url?scp=85054051751&partnerID=8YFLogxK
U2 - 10.1109/TrustCom/BigDataSE.2018.00142
DO - 10.1109/TrustCom/BigDataSE.2018.00142
M3 - Conference contribution
AN - SCOPUS:85054051751
SN - 9781538643877
T3 - Proceedings - 17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications and 12th IEEE International Conference on Big Data Science and Engineering, Trustcom/BigDataSE 2018
SP - 1008
EP - 1013
BT - Proceedings - 17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications and 12th IEEE International Conference on Big Data Science and Engineering, Trustcom/BigDataSE 2018
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications and 12th IEEE International Conference on Big Data Science and Engineering, Trustcom/BigDataSE 2018
Y2 - 31 July 2018 through 3 August 2018
ER -