메뉴 건너뛰기




Volumn 2, Issue , 2007, Pages 962-967

A modular action description language for protocol composition

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; KNOWLEDGE REPRESENTATION; LINGUISTICS; MATHEMATICAL MODELS;

EID: 36349036553     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (23)

References (15)
  • 1
    • 34247185859 scopus 로고    scopus 로고
    • Contextualizing commitment protocols
    • Chopra, A. K., and Singh, M. P. 2006. Contextualizing commitment protocols. In AAMAS, 1345-1352.
    • (2006) AAMAS , pp. 1345-1352
    • Chopra, A.K.1    Singh, M.P.2
  • 2
    • 33745865103 scopus 로고    scopus 로고
    • Interaction protocols as design abstractions for business processes
    • Desai, N.; Mallya, A. U.; Chopra, A. K.; and Singh, M. P. 2005. Interaction protocols as design abstractions for business processes. IEEE T. Soft. Engg. 31(12): 1015-1027.
    • (2005) IEEE T. Soft. Engg , vol.31 , Issue.12 , pp. 1015-1027
    • Desai, N.1    Mallya, A.U.2    Chopra, A.K.3    Singh, M.P.4
  • 3
    • 35248852413 scopus 로고    scopus 로고
    • Representing and reasoning about commitments in business processes
    • To appear
    • Desai, N.; Chopra, A. K.; and Singh, M. P. 2007. Representing and reasoning about commitments in business processes. In AAAI. To appear.
    • (2007) AAAI
    • Desai, N.1    Chopra, A.K.2    Singh, M.P.3
  • 4
    • 9544247758 scopus 로고    scopus 로고
    • Conversation protocols: A formalism for specification and verification of reactive electronic services
    • Fu, X.; Bultan, T.; and Su, J. 2004. Conversation protocols: A formalism for specification and verification of reactive electronic services. Theoret. Comp. Sci. 328(1-2): 19-37.
    • (2004) Theoret. Comp. Sci , vol.328 , Issue.1-2 , pp. 19-37
    • Fu, X.1    Bultan, T.2    Su, J.3
  • 6
    • 36348945380 scopus 로고    scopus 로고
    • Krazit, T. 2002. Intel conducts $5b in transactions via RosettaNet. http://tinyurl.com/344ah6.
    • Krazit, T. 2002. Intel conducts $5b in transactions via RosettaNet. http://tinyurl.com/344ah6.
  • 9
    • 85162572908 scopus 로고    scopus 로고
    • Mazouzi, H.; Seghrouchni, A. E. F.; and Haddad, S. 2002. Open protocol design for complex interactions in multi-agent systems. In AAMA5, 517-526.
    • Mazouzi, H.; Seghrouchni, A. E. F.; and Haddad, S. 2002. Open protocol design for complex interactions in multi-agent systems. In AAMA5, 517-526.
  • 10
    • 0003190942 scopus 로고    scopus 로고
    • Games that agents play: A formal framework for dialogues between autonomous agents
    • McBurney, P., and Parsons, S. 2002. Games that agents play: A formal framework for dialogues between autonomous agents. J. Logic, Lang., & Info. 11(3):315-334.
    • (2002) J. Logic, Lang., & Info , vol.11 , Issue.3 , pp. 315-334
    • McBurney, P.1    Parsons, S.2
  • 11
    • 85053153541 scopus 로고    scopus 로고
    • Dialogue frames in agent communications
    • Reed, C. 1998. Dialogue frames in agent communications. In ICMAS, 246-253.
    • (1998) ICMAS , pp. 246-253
    • Reed, C.1
  • 12
    • 0004176728 scopus 로고    scopus 로고
    • RosettaNet
    • RosettaNet. 1998. Homepage, www.rosettanet.org.
    • (1998) Homepage


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.