메뉴 건너뛰기




Volumn 15, Issue 3, 2006, Pages 359-389

Monitoring assertion-based business processes

Author keywords

AI planning; Business process monitoring; Business rules; Service composition; Service oriented computing

Indexed keywords


EID: 33747142077     PISSN: 02188430     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218843006001396     Document Type: Article
Times cited : (1)

References (36)
  • 7
    • 84890295989 scopus 로고    scopus 로고
    • Planning with goal preferences and constraints
    • R. I. Brafman and Y. Chernyavsky, Planning with goal preferences and constraints, in ICAPS (2005), pp. 182-191.
    • (2005) ICAPS , pp. 182-191
    • Brafman, R.I.1    Chernyavsky, Y.2
  • 10
    • 35248825513 scopus 로고    scopus 로고
    • Service discovery and orchestration for distributed service repositories
    • Lecture Notes in Computer Sciences (Springer)
    • I. Fikouras and E. Freiter, Service discovery and orchestration for distributed service repositories, in Conf. on Service-Oriented Computing (ICSOC-03), Lecture Notes in Computer Sciences (Springer 2003), pp. 59-74.
    • (2003) Conf. on Service-oriented Computing (ICSOC-03) , pp. 59-74
    • Fikouras, I.1    Freiter, E.2
  • 11
    • 4544227726 scopus 로고    scopus 로고
    • Taking steps to secure web services
    • October
    • D. Geer, Taking steps to secure web services, COMP 36(10) (October 2003) 14-16.
    • (2003) COMP , vol.36 , Issue.10 , pp. 14-16
    • Geer, D.1
  • 12
    • 0442311943 scopus 로고    scopus 로고
    • Representing e-commerce rules via situated courteous logic programs in ruleml*1
    • B. N. Grosof, Representing e-commerce rules via situated courteous logic programs in ruleml*1, Electronic Commerce: Research and Applications 3(1) (2004) 2-20.
    • (2004) Electronic Commerce: Research and Applications , vol.3 , Issue.1 , pp. 2-20
    • Grosof, B.N.1
  • 20
    • 20444461274 scopus 로고    scopus 로고
    • CREMONA: An architecture and library for creation and monitoring of ws-agreements
    • eds. M. Aiello, M. Aoyama, F. Curbera and M. Papazoglou (ACM)
    • H. Ludwig, A. Dan and R. Kearney, CREMONA: An architecture and library for creation and monitoring of ws-agreements, in ICSOC, eds. M. Aiello, M. Aoyama, F. Curbera and M. Papazoglou (ACM, 2004), pp. 65-74.
    • (2004) ICSOC , pp. 65-74
    • Ludwig, H.1    Dan, A.2    Kearney, R.3
  • 22
    • 85086952312 scopus 로고    scopus 로고
    • Estimated-regression planning for interactions with web services
    • AAAI Press
    • D. McDermott, Estimated-regression planning for interactions with web services, in 6th Int. Conf. on AI Planning and Scheduling (AAAI Press, 2002).
    • (2002) 6th Int. Conf. on AI Planning and Scheduling
    • McDermott, D.1
  • 23
    • 0011491265 scopus 로고    scopus 로고
    • Adapting Golog for composition of semantic web-services
    • eds. D. Fensel, F. Giunchiglia, D. McGuinness and M. Williams
    • S. McIlraith and T. C. Son, Adapting Golog for composition of semantic web-services, in Conf. on Principles of Knowledge Representation, eds. D. Fensel, F. Giunchiglia, D. McGuinness and M. Williams (2002).
    • (2002) Conf. on Principles of Knowledge Representation
    • McIlraith, S.1    Son, T.C.2
  • 31
    • 13444250180 scopus 로고    scopus 로고
    • Choosing objectives in over-subscription planning
    • D. E. Smith, Choosing objectives in over-subscription planning, in ICAPS (2004), pp. 393-401.
    • (2004) ICAPS , pp. 393-401
    • Smith, D.E.1
  • 33
    • 33646698687 scopus 로고    scopus 로고
    • Process mining and verification of properties: An approach based on temporal logic
    • W. M. P. van der Aalst, H. T. de Beer and B. F. van Dongen, Process mining and verification of properties: An approach based on temporal logic, in OTM Conferences, Vol. 1 (2005), pp. 130-147.
    • (2005) OTM Conferences , vol.1 , pp. 130-147
    • Van Der Aalst, W.M.P.1    De Beer, H.T.2    Van Dongen, B.F.3


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