메뉴 건너뛰기




Volumn 31, Issue 12, 2005, Pages 1015-1017

Interaction protocols as design abstractions for business processes

Author keywords

calculus; Interaction based modeling; Multiagent systems; Rule based processing; Software design methodologies; Software reuse

Indexed keywords

Π-CALCULUS; INTERACTION BASED MODELING; RULE BASED PROCESSING; SOFTWARE DESIGN METHODOLOGIES;

EID: 33745865103     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2005.140     Document Type: Article
Times cited : (105)

References (33)
  • 1
    • 24144498846 scopus 로고    scopus 로고
    • OWL, Feb
    • OWL, Web Ontology Language, Feb. 2004, http://www.w3.org/TR/2004/REC-owl- features-20040210/.
    • (2004) Web Ontology Language
  • 3
    • 33947134720 scopus 로고    scopus 로고
    • BPEL, Business Process Execution Language for Web Services, Version 1.1, May 2003
    • BPEL, Business Process Execution Language for Web Services, Version 1.1, May 2003, www-106.ibm.com/developerworks/webservices/library/ws-bpel.
  • 4
    • 14544274183 scopus 로고    scopus 로고
    • Protocols for Processes: Programming in the Large for Open Systems
    • M.P. Singh, A.K. Chopra, N. Desai, and A.U. Mallya, "Protocols for Processes: Programming in the Large for Open Systems," ACM SIGPLAN Notices, vol. 39, no. 12, pp. 73-83, 2004.
    • (2004) ACM SIGPLAN Notices , vol.39 , Issue.12 , pp. 73-83
    • Singh, M.P.1    Chopra, A.K.2    Desai, N.3    Mallya, A.U.4
  • 5
    • 4744344972 scopus 로고    scopus 로고
    • Protocol-Based Business Process Modeling and Enactment
    • N. Desai and M.P. Singh, "Protocol-Based Business Process Modeling and Enactment," Proc. Inl'l Conf. Web Services, pp. 35-42, 2004.
    • (2004) Proc. Inl'l Conf. Web Services , pp. 35-42
    • Desai, N.1    Singh, M.P.2
  • 6
    • 33947158499 scopus 로고    scopus 로고
    • A Semantic Approach for Designing Commitment Protocols
    • R.V. Eijk, ed, pp, Berlin: Springer
    • A.U. Mallya and M.P. Singh, "A Semantic Approach for Designing Commitment Protocols," Developments in Agent Comm., R.V. Eijk, ed., pp. 37-51, Berlin: Springer, 2005.
    • (2005) Developments in Agent Comm , pp. 37-51
    • Mallya, A.U.1    Singh, M.P.2
  • 7
    • 0032675444 scopus 로고    scopus 로고
    • An Ontology for Commitments in Multiagent Systems: Toward a Unification of Normative Concepts
    • M.P. Singh, "An Ontology for Commitments in Multiagent Systems: toward a Unification of Normative Concepts," Artificial Intelligence and Law, vol. 7, pp. 97-113, 1999.
    • (1999) Artificial Intelligence and Law , vol.7 , pp. 97-113
    • Singh, M.P.1
  • 8
    • 0041784059 scopus 로고    scopus 로고
    • Verifying Compliance with Commitment Protocols: Enabling Open Web-Based Multiagent Systems
    • Sept
    • M. Venkatraman and M.P. Singh, "Verifying Compliance with Commitment Protocols: Enabling Open Web-Based Multiagent Systems," Autonomous Agents and Multi-Agent Systems, vol. 2, no. 3, pp. 217-236, Sept. 1999.
    • (1999) Autonomous Agents and Multi-Agent Systems , vol.2 , Issue.3 , pp. 217-236
    • Venkatraman, M.1    Singh, M.P.2
  • 9
    • 33947187932 scopus 로고    scopus 로고
    • I. Horrocks, P.F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean, SWRL: A Semantic Web Rule Language Combining OWL and RuleML, May 2004, (W3C Submission), http://www.w3.org/Submission/2004/SUBM-SWRL- 20040521/.
    • I. Horrocks, P.F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean, "SWRL: A Semantic Web Rule Language Combining OWL and RuleML," May 2004, (W3C Submission), http://www.w3.org/Submission/2004/SUBM-SWRL- 20040521/.
  • 10
    • 0029425272 scopus 로고
    • Interpreting Message Flow Graphs
    • P.B. Ladkin and S. Leue, "Interpreting Message Flow Graphs," Formal Aspects of Computing, vol. 7, no. 5, pp. 473-509, 1995.
    • (1995) Formal Aspects of Computing , vol.7 , Issue.5 , pp. 473-509
    • Ladkin, P.B.1    Leue, S.2
  • 13
    • 0036859290 scopus 로고    scopus 로고
    • Behavior Protocols for Software Components
    • Nov
    • F. Plasil and S. Visnovsky, "Behavior Protocols for Software Components," IEEE Trans. Software Eng., vol. 28, no. 11, pp. 1056-1076, Nov. 2002.
    • (2002) IEEE Trans. Software Eng , vol.28 , Issue.11 , pp. 1056-1076
    • Plasil, F.1    Visnovsky, S.2
  • 17
    • 33947178751 scopus 로고    scopus 로고
    • ITU, Message Sequence Charts, Recommendation z.120, Int'l Telecomm. Union, Telecomm. Standardization Sector, 1996.
    • ITU, Message Sequence Charts, Recommendation z.120, Int'l Telecomm. Union, Telecomm. Standardization Sector, 1996.
  • 20
    • 0037328225 scopus 로고    scopus 로고
    • Synthesis of Behavioral Models from Scenarios
    • Feb
    • S. Uchitel, J. Kramer, and J. Magee, "Synthesis of Behavioral Models from Scenarios," IEEE Trans. Software Eng., vol. 29, no. 2, pp. 99-115, Feb. 2003.
    • (2003) IEEE Trans. Software Eng , vol.29 , Issue.2 , pp. 99-115
    • Uchitel, S.1    Kramer, J.2    Magee, J.3
  • 21
    • 3042823719 scopus 로고    scopus 로고
    • Incremental Elaboration of Scenario-Based Specifications and Behavior Models Using Implied Scenarios
    • Jan
    • S. Uchitel, J. Kramer, and J. Magee, "Incremental Elaboration of Scenario-Based Specifications and Behavior Models Using Implied Scenarios," ACM Trans. Software Eng. and Methodology, vol. 13, no. 1, pp. 37-85, Jan. 2004.
    • (2004) ACM Trans. Software Eng. and Methodology , vol.13 , Issue.1 , pp. 37-85
    • Uchitel, S.1    Kramer, J.2    Magee, J.3
  • 22
    • 33947183661 scopus 로고    scopus 로고
    • N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, and Y. Lafon, Web Services Choreography Description Language, Dec. 2004, (W3C Working Draft 1. 0), http://www.w3.org/TR/ws-cdl-10/.
    • N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, and Y. Lafon, "Web Services Choreography Description Language," Dec. 2004, (W3C Working Draft 1. 0), http://www.w3.org/TR/ws-cdl-10/.
  • 23
    • 0043063020 scopus 로고    scopus 로고
    • DAML-S: Web Service Description for the Semantic Web
    • July
    • "DAML-S: Web Service Description for the Semantic Web," Proc. First Int'l Semantic Web Conf. (ISWC), July 2002.
    • (2002) Proc. First Int'l Semantic Web Conf. (ISWC)
  • 25
    • 19944392604 scopus 로고    scopus 로고
    • Augmenting Semantic Web Service Descriptions with Compositional Specification
    • M. Solanki, A. Cau, and H. Zedan, "Augmenting Semantic Web Service Descriptions with Compositional Specification," Proc. Int'l World Wide Web Conf., pp. 544-552, 2004.
    • (2004) Proc. Int'l World Wide Web Conf , pp. 544-552
    • Solanki, M.1    Cau, A.2    Zedan, H.3
  • 31
  • 32
    • 1442311722 scopus 로고    scopus 로고
    • T.W. Malone, K. Crowston, and G.A. Herman, eds. Cambridge, Mass, MIT Press
    • Organizing Business Knowledge: The MIT Process Handbook, T.W. Malone, K. Crowston, and G.A. Herman, eds. Cambridge, Mass.: MIT Press, 2003.
    • (2003) Organizing Business Knowledge: The MIT Process Handbook


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