Enforcing constraints on life cycles of business artifacts

Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009

Volumn , Issue , 2009, Pages 111-118

  Zhao, Xiangpeng ^a   Su, Jianwen ^b   Yang, Hongli ^c   Qiu, Zongyan ^a  

^a PEKING UNIVERSITY   (China)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c BEIJING UNIVERSITY OF TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFACT-CENTRIC; BUSINESS CONSTRAINTS; BUSINESS PROCESS; BUSINESS PROCESS MODEL; COMPLEXITY RESULTS; DATA OBJECTS; DESIGN AND ANALYSIS; OPERATIONAL MODEL; RUNTIMES; SATISFIABILITY;

COMPUTER SOFTWARE; EMBEDDED SYSTEMS; PROCESS MONITORING;

LIFE CYCLE;

EID: 71049193070     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TASE.2009.46     Document Type: Conference Paper

References (15)

1. H. R. S. J. Bhattacharya, K. A data-centric design methodology for business processes. Handbook of Research on Business Process Management (to appear, 2009), In: Cardoso, J., van der Aalst, W.M.P. (eds.), 2009.
2. K. Bhattacharya, N. S. Caswell, S. Kumaran, A. Nigam, and F. Y. Wu. Artifact-centered operational modeling: lessons from customer engagements. IBM Syst. J., 46(4):703-721, 2007.
3. K. Bhattacharya, C. E. Gerede, R. Hull, R. Liu, and J. Su. Towards formal analysis of artifact-centric business process models. In G. Alonso, P. Dadam, and M. Rosemann, editors, Proc. of 5th International Conference on Business Process Management, BPM 2007, volume 4714 of Lecture Notes in Computer Science, pages 288-304. Springer, 2007.
4. K. Bhattacharya, R. Guthman, K. Lyman, I. F. F. Heath, S. Kumaran, P. Nandi, F. Wu, P. Athma, C. Freiberg, L. Johannsen, and A. Staudt. A model-driven approach to industrializing discovery processes in pharmaceutical research. IBM Syst. J., 44(1):145-162, 2005.
5. C. Fritz, R. Hull, and J. Su. Automatic construction of simple artifact-based business processes. In Proceedings of the 12th International Conference on Database Theory (ICDT), Saint-Petersburg, Russia, March 23-26 2009. To appear.
6. C. Gerede. Modeling, Analysis, and Composition of Business Processes. PhD thesis, Dept. of Computer Science, University of California at Santa Barbara, 2007.
7. C. Gerede and J. Su. Specification and verification of artifact behaviors in business process models. In Kramer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC'07. LNCS, vol. 4749, Springer, Heidelberg, 2007.
8. C. E. Gerede, K. Bhattacharya, and J. Su. Static analysis of business artifact-centric operational models. In SOCA, pages 133-140. IEEE Computer Society, 2007.
9. R. Hull. Artifact-centric business process models: Brief survey of research results and challenges. In R. Meersman and Z. Tari, editors, OTM Conferences (2), volume 5332 of Lecture Notes in Computer Science, pages 1152-1163. Springer, 2008.
10. R. Liu, K. Bhattacharya, and F. Y. Wu. Modeling business contexture and behavior using business artifacts. In CAiSE, pages 324-339, 2007.
11. N. Markey. Past is for free: On the complexity of verifying linear temporal properties with past. Acta Informatica, 40:431-458, 2004.
12. A. Nigam and N. S. Caswell. Business artifacts: An approach to operational specification. IBM Systems Journal, 42(3):428-445, 2003.
13. A. P. Sistla and E. M. Clarke. The complexity of propositional linear temporal logics. Journal of the ACM, 32(3):733-749, 1985.
14. J. K. Strosnider, P. Nandi, S. Kumaran, S. Ghosh, and A. Arsanjani. Model-driven synthesis of soa solutions. IBM Syst. J., 47(3):415-432, 2008.
15. W. van der Aalst and M. Pesic. Decserflow: Towards a truly declarative service flow language. In F. Leymann, W. Reisig, S. R. Thatte, and W. van der Aalst, editors, The Role of Business Processes in Service Oriented Architectures, number 06291 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2006. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany.