Formal Description of the Crossing Social Network System Architecture Based on Temporal Logic

摘要

How to organize crossing social network resources on a higher level of integration and address them to users' desktops is an important difficult problem.Especially,there is a lack of efficient approaches to software architecture to build reusable system over the crossing social network.From the viewpoint of temporal logic XYZ/E,this paper proposes a kind of Architecture Description Language about the Crossing Social Network system(CSN_ADL),which can be used to depict the main key processes over the cross-social network system,and formally defines some key concepts,such as relation component,corelation component,override corelation connector,interaction connector,corelation network-oriented architecture,as well as system correctness,system activity,and system safety.Furthermore,some properties of correctness,activity,and safety under the frame CSN_ADL is discussed and depicted formally,which provides a formally theoretical instruction for architecture reuses.