메뉴 건너뛰기




Volumn , Issue , 2006, Pages 211-220

Translating business contract into compliant business processes

Author keywords

Business contracts; Collaborative business processes; Internal business processes

Indexed keywords

CONTRACTS; INDUSTRIAL MANAGEMENT; MATHEMATICAL TRANSFORMATIONS; SEMANTICS;

EID: 38749103526     PISSN: 15417719     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOC.2006.64     Document Type: Conference Paper
Times cited : (24)

References (26)
  • 2
    • 21144431831 scopus 로고    scopus 로고
    • A. Berry and Z. Milosevic. Extending choreography with contract constraints. Int. J. of Cooperative Inf. Syst., 14, 2005.
    • A. Berry and Z. Milosevic. Extending choreography with contract constraints. Int. J. of Cooperative Inf. Syst., 14, 2005.
  • 3
    • 9444235971 scopus 로고    scopus 로고
    • Deontic logic and contrary to duties
    • D.M. Gabbay and F. Guenther, editors, Kluwer
    • J. Carmo and A.J.I. Jones. Deontic logic and contrary to duties. In D.M. Gabbay and F. Guenther, editors, Handbook of Philosophical Logic, volume 8: 265-343. Kluwer, 2002.
    • (2002) Handbook of Philosophical Logic , vol.8 , pp. 265-343
    • Carmo, J.1    Jones, A.J.I.2
  • 5
    • 33750195346 scopus 로고    scopus 로고
    • Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations
    • G. Governatori and A. Rotolo. Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations. Australasian Journal of Logic, 4, 193-215, 2006.
    • (2006) Australasian Journal of Logic , vol.4 , pp. 193-215
    • Governatori, G.1    Rotolo, A.2
  • 11
    • 0008688014 scopus 로고
    • A logic model for electronic contracting
    • R.M. Lee. A logic model for electronic contracting. Decision Support Systems, 4:27-44, 1988.
    • (1988) Decision Support Systems , vol.4 , pp. 27-44
    • Lee, R.M.1
  • 14
    • 30944437271 scopus 로고    scopus 로고
    • Orlowska, Shazia W. Sadiq Formal Considerations of Rule-Based Messaging for Business Process Integration, Special Issue of Cybernetics and Systems
    • D. C. Ma, Maria E. Orlowska, Shazia W. Sadiq Formal Considerations of Rule-Based Messaging for Business Process Integration, Special Issue of Cybernetics and Systems: An International Journal, Vol 37/2 (2006).
    • (2006) An International Journal , vol.37 , Issue.2
    • Ma, D.C.1    Maria, E.2
  • 15
    • 35948986519 scopus 로고    scopus 로고
    • On Expressing and Monitoring Behaviour in Contracts
    • Lausanne, Switzerland
    • Z. Milosevic, G. Dromey, On Expressing and Monitoring Behaviour in Contracts, EDOC2002 Conference, Lausanne, Switzerland.
    • EDOC2002 Conference
    • Milosevic, Z.1    Dromey, G.2
  • 17
    • 85008935532 scopus 로고    scopus 로고
    • M. J. Sergot, A computational theory of normative positions, ACM Trans. Comput. Log., p. 2, No 4, 581-622, 2001.
    • M. J. Sergot, A computational theory of normative positions, ACM Trans. Comput. Log., p. Vol 2, No 4, 581-622, 2001.
  • 18
    • 33749990668 scopus 로고    scopus 로고
    • Supporting Contract Execution through Recommended Workflows
    • Zaragoza, Spain, Sept
    • R. Tag, Z. Milosevic, S. Gibson, S. Kulkarni, Supporting Contract Execution through Recommended Workflows, DEXA04 Conference., Zaragoza, Spain, Sept. 2004.
    • (2004) DEXA04 Conference
    • Tag, R.1    Milosevic, Z.2    Gibson, S.3    Kulkarni, S.4
  • 19
    • 38749120821 scopus 로고    scopus 로고
    • ITU-T Rec. X.902 | ISO/IEC 10746-2: Foundations, RM-ODP
    • ITU-T Rec. X.902 | ISO/IEC 10746-2: Foundations, RM-ODP
  • 20
    • 4243183128 scopus 로고    scopus 로고
    • Open Distributed Processing-Enterprise Language,
    • ISOMEC IS 15414
    • ISOMEC IS 15414, Open Distributed Processing-Enterprise Language, 2002.
    • (2002)
  • 21
    • 14544287677 scopus 로고    scopus 로고
    • A Framework for Constraint Specification and Validation in Flexible Workflows
    • Shazia Sadiq, Wasim Sadiq, Maria Orlowska (2005) A Framework for Constraint Specification and Validation in Flexible Workflows. Information Systems, Elsevier Science. Volume 30. Issue 5 pp. 349-378
    • (2005) Information Systems, Elsevier Science , vol.30 , Issue.5 , pp. 349-378
    • Sadiq, S.1    Sadiq, W.2    Orlowska, M.3
  • 22
    • 0036643192 scopus 로고    scopus 로고
    • Cross-Organisational Workflow Integration using Contracts
    • W-Jan van den Heuvel, H. Weigand, Cross-Organisational Workflow Integration using Contracts, Decision Support Systems, 33(3): p. 247-265
    • Decision Support Systems , vol.33 , Issue.3 , pp. 247-265
    • W-Jan van1    den Heuvel, H.2    Weigand3
  • 23
    • 38749085896 scopus 로고    scopus 로고
    • www-106.ibm.com/developerworks/library/ws-bpel/


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