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 v...

Full description

Saved in:
Bibliographic Details
Published in:Wuhan University journal of natural sciences 2011-12, Vol.16 (6), p.525-534
Main Authors: Xiao, Ruliang, Ni, Youcong, Du, Xin, Gong, Ping
Format: Article
Language:English
Subjects:
Architecture
Architecture (computers)
Biomedical and Life Sciences
Computer programs
Computer Science
Connectors
Construction
Life Sciences
Materials Science
Safety
Social networks
Temporal logic
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1007-1202
1993-4998
DOI:10.1007/s11859-011-0792-1