메뉴 건너뛰기




Volumn 5900 LNCS, Issue , 2009, Pages 130-143

Artifact-centric workflow dominance

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFACT-CENTRIC; ATTRIBUTE-VALUE PAIRS; COMPLEXITY RESULTS; CONDITION-ACTION RULES; FINITE SET; SCHEMAS; SERVICE EXECUTION; WORK-FLOW SYSTEMS; WORK-FLOWS; WORKFLOW EXECUTION;

EID: 75649120369     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-10383-4_9     Document Type: Conference Paper
Times cited : (23)

References (17)
  • 2
    • 37649013845 scopus 로고    scopus 로고
    • Artifact-centered operational modeling: Lessons from customer engagements
    • Bhattacharya, K., Caswell, N.S., Kumaran, S., Nigam, A., Wu, F.Y.: Artifact-centered operational modeling: Lessons from customer engagements. IBM Systems Journal 46(4), 703-721 (2007)
    • (2007) IBM Systems Journal , vol.46 , Issue.4 , pp. 703-721
    • Bhattacharya, K.1    Caswell, N.S.2    Kumaran, S.3    Nigam, A.4    Wu, F.Y.5
  • 3
    • 20244389224 scopus 로고    scopus 로고
    • A model-driven approach to industrializing discovery processes in pharmaceutical research
    • Bhattacharya, K., et al.: A model-driven approach to industrializing discovery processes in pharmaceutical research. IBM Systems Journal 44(1), 145-162 (2005)
    • (2005) IBM Systems Journal , vol.44 , Issue.1 , pp. 145-162
    • Bhattacharya, K.1
  • 4
    • 38049138975 scopus 로고    scopus 로고
    • Bhattacharya, K., Gerede, C., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, 4714, pp. 288-304. Springer, Heidelberg (2007)
    • Bhattacharya, K., Gerede, C., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 288-304. Springer, Heidelberg (2007)
  • 6
    • 0002202224 scopus 로고
    • Super-exponential complexity of Presburger arithmetic
    • Fischer, M.J., Rabin, M.O.: Super-exponential complexity of Presburger arithmetic. In: SIAM-AMS Proceedings, vol. 7, pp. 27-41 (1974)
    • (1974) SIAM-AMS Proceedings , vol.7 , pp. 27-41
    • Fischer, M.J.1    Rabin, M.O.2
  • 8
    • 0030164849 scopus 로고    scopus 로고
    • Solving satisfiability and implication problems in database systems
    • Guo, S., Sun, W., Weiss, M.A.: Solving satisfiability and implication problems in database systems. ACM Trans. on Database Systems 21(2), 270-293 (1996)
    • (1996) ACM Trans. on Database Systems , vol.21 , Issue.2 , pp. 270-293
    • Guo, S.1    Sun, W.2    Weiss, M.A.3
  • 11
    • 70349896736 scopus 로고    scopus 로고
    • Simulation, verification and automated composition of web services
    • World Wide Web Conf. WWW 2002 2002
    • Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Proc. of the 11th Int. World Wide Web Conf. WWW 2002 (2002)
    • Proc. of the 11th Int
    • Narayanan, S.1    McIlraith, S.2
  • 12
    • 0141940583 scopus 로고    scopus 로고
    • Business artifacts: An approach to operational specification
    • Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3), 428-445 (2003)
    • (2003) IBM Systems Journal , vol.42 , Issue.3 , pp. 428-445
    • Nigam, A.1    Caswell, N.S.2
  • 13
    • 0002217486 scopus 로고
    • Über die Vollständigkeit eines gewissen Systems der Arith-metik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt
    • Warszawa, pp
    • Presburger, M.: Über die Vollständigkeit eines gewissen Systems der Arith-metik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt. In: Comptes rendus du premier Congrès des Mathématiciens des Pays Slaves, Warszawa, pp. 92-101 (1929)
    • (1929) Comptes rendus du premier Congrès des Mathématiciens des Pays Slaves , pp. 92-101
    • Presburger, M.1
  • 14
    • 85025505234 scopus 로고
    • On the computational complexity and geometry of the first-order theory of the reals
    • Renegar, J.: On the computational complexity and geometry of the first-order theory of the reals. Journal of Symbolic Computation 13, 255-352 (1992)
    • (1992) Journal of Symbolic Computation , vol.13 , pp. 255-352
    • Renegar, J.1
  • 15
    • 0027906169 scopus 로고
    • A closed-form evaluation for Datalog queries with integer (gap)-order constraints
    • Revesz, P.Z.: A closed-form evaluation for Datalog queries with integer (gap)-order constraints. Theoretical Computer Science 116, 117-149 (1993)
    • (1993) Theoretical Computer Science , vol.116 , pp. 117-149
    • Revesz, P.Z.1


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