Matelas: A Predicate Calculus Common Formal Definition for Social Networking

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.

• Type: Conference
• Year: 2010
• Where: ASM
• Authors: Néstor Cataño, Camilo Rueda
• Keywords: ASM 2010, Computational Biology, Formal Methods Tools, Full-fledged Social-network Service, Policies