Paper Info
Title
Matelas: a predicate calculus common formal definition for social networking
Abstract
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and how these relations effect users’ policies. The work presented in this paper is part of an ongoing work that aims at using several formal methods tools and techniques to develop a full-fledged social-network service implementing stipulated policies. Although we employed Atelier B to write Matelas, plans are to port it to Event B and to use Rodin to implement the social-network application.
Year
DOI
Venue
2010
10.1007/978-3-642-11811-1_20
ASM
Keywords
Field
DocType
social network,formal methods tool,relations effect user,common formal definition,privacy policy,event b,social-network application,full-fledged social-network service,ongoing work,atelier b,social-network content,b predicate calculus definition,formal method
Social network,Friendship,Computer science,Privacy policy,Knowledge management,Formal description,First-order logic,Formal methods,Proof obligation
Conference
Volume
ISSN
ISBN
5977
0302-9743
3-642-11810-0
Citations 
PageRank 
References 
10
0.76
12
Authors
2
Name
Order
Citations
PageRank
Nestor Cataño1574.77
Camilo Rueda224341.36