Specification and Verification of Artifact Behaviors in Business Process Models-Reference-Cited by-同舟云学术

Specification and Verification of Artifact Behaviors in Business Process Models

Published:2007 Issue: Volume: Page:181-192
ISSN:0302-9743
Container-title:Service-Oriented Computing – ICSOC 2007
language:
Short-container-title:

Author:

Gerede Cagdas E.,Su Jianwen

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-74974-5_15

Reference14 articles.

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. Lecture Notes in Computer Science;R. Alur,1999

3. Lecture Notes in Computer Science;I. Beer,2001

4. Bhattacharya, K., Gerede, C.E., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric 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)

Cited by 53 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Brazilian agtech scalability: proposal and assessment of a local multidimensional model;European Journal of Innovation Management;2023-07-03

2. Integrated Modeling of Business Process in Stereoscopic Warehouse Digital Twin System;2023 International Conference on Frontiers of Robotics and Software Engineering (FRSE);2023-06

3. BP-SPARQL: A Query Language for Summarizing and Analyzing Big Process Data;Process Querying Methods;2021-12-03

4. Toward configurable modeling for artifact‐centric business processes;Concurrency and Computation: Practice and Experience;2019-07-09

5. Verification of Hierarchical Artifact Systems;ACM Transactions on Database Systems;2019-06-19