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 softwar...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 Descrip- tion 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 flame CSN_ADL is discussed and depicted formally, which provides a formally theo- retical instruction for architecture reuses.展开更多
基金Supported by the Fujian Province Science Research Foundation Grant (2009J01272)the Research Fund (type A) (JA09038) from the Education Department of Fujian Provincethe Humanities and Social Science Research Projects of the Ministry of Education (11YJA860028)
文摘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 Descrip- tion 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 flame CSN_ADL is discussed and depicted formally, which provides a formally theo- retical instruction for architecture reuses.
