It is a graph in which each node represents a single possible state of the model.
Published in Chapter:
Formal Modeling and Verification of Virtual Community Systems
Elthon Oliveira (Federal University of Alagoas, Campus Arapiraca, Brazil), Hyggo Almeida (Federal University of Campina Grande, Brazil), Leandro Silva (Federal University of Campina Grande, Brazil), Nadia Milena (Federal University of Campina Grande, Brazil), Frederico Bublitz (Federal University of Campina Grande, Brazil), and Angelo Perkusich (Federal University of Campina Grande, Brazil)
Copyright: © 2008
|Pages: 8
DOI: 10.4018/978-1-59904-885-7.ch081
Abstract
In the last years, virtual community systems (VCS) (Bublitz, Barbosa, & Costa, 2004) have been used as one of the main mechanisms for communication and collaboration among people throughout the world--the people whom use this kind of system compose the socalled virtual community. Several systems providing different features and tools such as forums, e-mails, and videoconference, among others, represent a revolution in the way that people interact with others.