An algebraic algorithm for structural validation of social protocols

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4439 LNCS, Issue , 2007, Pages 570-583

  Picard, Willy ^a  

^a POZNA UNIVERSITY OF ECONOMICS AND BUSINESS   (Poland)

Author keywords

Algebraic representation of social protocols; Collaboration modeling; Semantical validation; Structural validation

Indexed keywords

ALGEBRA; HUMAN COMPUTER INTERACTION; MATHEMATICAL MODELS; SOCIAL ASPECTS;

ALGEBRAIC ALGORITHMS; ALGEBRAIC REPRESENTATION; COLLABORATION MODELING; SEMANTICAL VALIDATION; SOCIAL PROTOCOLS; STRUCTURAL VALIDATION;

ALGORITHMS;

EID: 34548825269     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72035-5_45     Document Type: Conference Paper

References (14)

1. th International Conference on Business Information Systems. Volume 85 of LNI., GI (2006) 90-101
2. th IFIP Working Conference on Virtual Enterprises (PRO-VE 2005), Valencia, Spain, Springer (September 2005) 379-386
3. Picard, W.: Towards support systems for non-monolithic electronic negotiations. the contract-group-message model. Journal of Decision Systems: Special Issue on Electronic Negotiations - Models, Systems and Agents 13 (2004) 423-439
4. van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1) (1998) 21-66
5. st International Conference on Enterprise Information Systems. Volume 2., Setúbal, Portugal, Kluwer Academic Publishers (March 1999) 353-360
6. van der Aalst, W.M.P.: Workflow verification: Finding control-flow errors using petri-net-based techniques. In Aalst, W., Desel, J., Oberweis, A., eds.: Business Process Management, Models, Techniques, and Empirical Studies. Volume 1806 of Lecture Notes in Computer Science., Springer (2000) 161-183
7. Sadiq, W., Orlowska, M.E.: Analyzing process models using graph reduction techniques. Information Systems 25(2) (2000) 117-134
8. th Australasian Database Conference, ADC 2004. Volume 27 of CRPIT., Australian Computer Society (2004) 207-214
9. Sadiq, S.W., Orlowska, M.E., Sadiq, W.: Specification and validation of process constraints for flexible workflows. Information Systems 30(5) (2005) 349-378
10. ter Hofstede, A.H.M., Orlowska, M.E., Rajapakse, J.: Verification problems in conceptual workflow specifications. Data Knowledge Engineering 24(3) (1998) 239-256
11. ter Hofstede, A.H.M., Orlowska, M.E., Rajapakse, J.: Verification problems in conceptual workflow specifications. In Thalheim, B., ed.: Conceptual Modeling - ER'96, 15th International Conference on Conceptual Modeling, Cottbus, Germany, October 7-10, 1996, Proceedings. Volume 1157 of Lecture Notes in Computer Science., Springer (1996) 73-88
12. th Conference on Electronic Commerce and Web Technologies (ECWeb04), Sarragoza, Spain, IEEE Computer Society (2004)
13. Picard, W., Huriaux, T.: Dyng: A protocol-based prototype for non-monolithic electronic collaboration. Lecture Notes in Computer Science 3865(CSCW in Design 2005) (2006) 41-50
14. th IFIP International Conference on e-Commerce, e-Business, and e-Government (I3E 2005), Poznań, Poland (2005) 591-605