메뉴 건너뛰기




Volumn 1, Issue , 2011, Pages 457-464

Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language

Author keywords

Business process modeling; Business protocols

Indexed keywords

AUTONOMOUS AGENTS; SOFTWARE ENGINEERING; SYSTEMS ENGINEERING;

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

References (12)
  • 1
    • 35248848926 scopus 로고    scopus 로고
    • Engineering foreign exchange processes via commitment protocols
    • N. Desai, A. K. Chopra, M. Arrott, B. Specht, and M. P. Singh. Engineering foreign exchange processes via commitment protocols. In SCC, pp. 514-521, 2007.
    • (2007) SCC , pp. 514-521
    • Desai, N.1    Chopra, A.K.2    Arrott, M.3    Specht, B.4    Singh, M.P.5
  • 2
    • 70350223832 scopus 로고    scopus 로고
    • Amoeba: A methodology for modeling and evolution of cross- organizational business processes
    • Oct.
    • N. Desai, A. K. Chopra, and M. P. Singh. Amoeba: A methodology for modeling and evolution of cross- organizational business processes. ACM TOSEM, 19(2):61-645, Oct. 2009.
    • (2009) ACM TOSEM , vol.19 , Issue.2 , pp. 61-645
    • Desai, N.1    Chopra, A.K.2    Singh, M.P.3
  • 3
    • 33745865103 scopus 로고    scopus 로고
    • Interaction protocols as design abstractions for business processes
    • N. Desai, A. U. Mallya, A. K. Chopra, and M. P. Singh. Interaction protocols as design abstractions for business processes. IEEE TSE, 31(12):1015-27, 2005.
    • (2005) IEEE TSE , vol.31 , Issue.12 , pp. 1015-1027
    • Desai, N.1    Mallya, A.U.2    Chopra, A.K.3    Singh, M.P.4
  • 5
    • 0346831473 scopus 로고
    • Fundamental of database systems
    • second edition
    • R. Elmasri and S. Navathe. Fundamental of Database Systems. Benjamin Cummings, second edition, 1994.
    • (1994) Benjamin Cummings
    • Elmasri, R.1    Navathe, S.2
  • 6
    • 0004144738 scopus 로고    scopus 로고
    • ITU. Formal description techniques (FDT), Document Z.120, Apr.
    • ITU. Formal description techniques (FDT)-Message Sequence Chart (MSC). Document Z.120, Apr. 2004.
    • (2004) Message Sequence Chart (MSC)
  • 7
    • 0029425272 scopus 로고
    • Interpreting message flow graphs
    • P. B. Ladkin and S. Leue. Interpreting message flow graphs. Formal Aspects Comput., 7(5):473-509, 1995.
    • (1995) Formal Aspects Comput. , vol.7 , Issue.5 , pp. 473-509
    • Ladkin, P.B.1    Leue, S.2
  • 8
    • 0017996760 scopus 로고
    • Time, clocks, and the ordering of events in a distributed system
    • L. Lamport. Time, clocks, and the ordering of events in a distributed system. CACM, 21(7):558-565, 1978.
    • (1978) CACM , vol.21 , Issue.7 , pp. 558-565
    • Lamport, L.1
  • 9
    • 55249096031 scopus 로고    scopus 로고
    • Amongst first-class protocols
    • LNCS 4995, Springer
    • T. Miller and J. McGinnis. Amongst first-class protocols. In ESAW 2007, LNCS 4995, pp. 208-223. Springer, 2008.
    • (2008) ESAW 2007 , pp. 208-223
    • Miller, T.1    McGinnis, J.2
  • 10
    • 70350629561 scopus 로고    scopus 로고
    • Representing agent interaction protocols in uml
    • LNCS 1957, Springer
    • J. Odell, H. V. D. Parunak, and B. Bauer. Representing agent interaction protocols in UML. In AOSE 2000, LNCS 1957, pp. 121-140. Springer, 2001.
    • (2001) AOSE 2000 , pp. 121-140
    • Odell, J.1    Parunak, H.V.D.2    Bauer, B.3
  • 12
    • 84901701271 scopus 로고    scopus 로고
    • Commitment machines
    • LNAI 2333, Springer
    • P. Yolum and M. P. Singh. Commitment machines. In ATAL 2001, LNAI 2333, pp. 235-247. Springer, 2002.
    • (2002) ATAL 2001 , pp. 235-247
    • Yolum, P.1    Singh, M.P.2


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