Specification and verification of artifact behaviors in business process models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4749 LNCS, Issue , 2007, Pages 181-192

  Gerede, Cagdas E ^a   Su, Jianwen ^a  

^a University of California   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; FORMAL LOGIC; LIFE CYCLE; SPECIFICATION LANGUAGES; TREES (MATHEMATICS); VERIFICATION;

BUSINESS PROCESS MODELS; COMPUTATION TREES;

INFORMATION MANAGEMENT;

EID: 38349066387     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74974-5_15     Document Type: Conference Paper

References (14)

1. Aalst, W., Weske, M., Grnbauer, D.: Case handling: a new paradigm for business process support. Data and Knowledge Engineering 53, 129-162 (2005)
2. Alur, R.: Timed automata. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 8-22. Springer, Heidelberg (1999)
3. Beer, I., Ben-David, S., Eisner, C., Fisman, D., Gringauze, A., Rodeh, Y.: The temporal logic sugar. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, Springer, Heidelberg (2001)
4. Bhattacharya, K., Gerede, C.E., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifactcentric business process models. Business Process Management (BPM) (2007)
5. Bhattacharya, K., Guttman, R., Lymann, K., Heath III, F.F., Kumaran, S., Nandi, P., Wu, F., Athma, P., Freiberg, C., Johannsen, L., Staudt, A.: A model-driven approach to industrializing discovery processes in pharmaceutical research. IBM Systems Journal 44(1), 145-162 (2005)
6. Clarke, E., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge, Massachusetts (2000)
7. Emerson, E.A.: Temporal and modal logic. In: Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B,ch. 7, pp. 995-1072. North Holland, Amsterdam (1990)
8. Gerede, C.E.: Modeling, Analysis, and Composition of Business Processes. PhD thesis, Dept. of Computer Science, University of California at Santa Barbara (2007)
9. Gerede, C.E., Bhattacharya, K., Su, J.: Static analysis of business artifact-centric operational models. In: SOCA. IEEE International Conference on Service-Oriented Computing and Applications, IEEE Computer Society Press, Los Alamitos (2007)
10. Kumaran, S., Nandi, P., Heath, T., Bhaskaran, K., Das, R.: Adoc-oriented programming. In: Symposium on Applications and the Internet (SAINT) (2003)
11. Liu, R., Bhattacharya, K., Wu, F.Y.: Modeling business contexture and behavior using business artifacts. In: CAiSE. LNCS, vol. 4495, Springer, Heidelberg (2007)
12. Nandi, P., Kumaran, S.: Adaptive business objects a new component model for business integration. In: Int. Conf. on Enterprise Information Systems (2005)
13. Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3), 428-445 (2003)
14. Wang, J., Kumar, A.: A framework for document-driven workflow systems. In: Business Process Management, pp. 285-301 (2005)