An Algebraic Algorithm for Structural Validation of Social Protocols

TytułAn Algebraic Algorithm for Structural Validation of Social Protocols
Publication TypeConference Paper
Year of Publication2007
AuthorsPicard, W.
EditorAbramowicz, W.
Pagination570-583
PublisherSpringer Verlag
Conference InfoProceedings of the 10th international conference on Business information systems, BIS'07
ISBN Number978-3-540-72034-8
Słowa kluczowealgebraic representation of social protocols, collaboration modeling, semantical validation, structural validation
Abstract

Support for human-to-human interactions over a network is still insufficient. In this paper a model for human-to-human collaboration based on the concept of social protocol is presented and formalized. Then, semantical and structural validity of social protocols is defined. Next, an algebraic representation of social protocols is proposed. Based on this algebraic representation of social protocols, an algorithm for structural validation of social protocols is proposed and illustrated by three examples.

DOI10.1007/978-3-540-72035-5_45
ZałącznikWielkość
PDF396.58 KB