An Algebraic Algorithm for Structural Validation of Social Protocols
Tytuł | An Algebraic Algorithm for Structural Validation of Social Protocols |
Publication Type | Conference Paper |
Year of Publication | 2007 |
Authors | Picard, W. |
Editor | Abramowicz, W. |
Pagination | 570-583 |
Publisher | Springer Verlag |
Conference Info | Proceedings of the 10th international conference on Business information systems, BIS'07 |
ISBN Number | 978-3-540-72034-8 |
Słowa kluczowe | algebraic 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. |
DOI | 10.1007/978-3-540-72035-5_45 |
Załącznik | Wielkość |
---|---|
396.58 KB |