论文部分内容阅读
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.
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 Propose 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 define 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 drafted formally, which provides a formally theoretical instruction for architecture reuses.