Work

Automatic verification of data-centric business processes

Year: 2009

Type: conference-paper

Abstract: We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". Artifacts are used to represent (real or conceptual) key business entities, including both their data schema and lifecycles. The lifecycle of an artifact type specifies the possible sequencings of services that can be applied to an artifact of this type as it progresses through the business process. The artifact-centric approach was introduced by IBM, and has been used to achieve substantial savings when performing business transformations.

Source: International Conference on Database Theory

DOI: 10.1145/1514894.1514924

Authors: Alin Deutsch, Richard Hull, Fabio Patrizi, Victor Vianu

Institutions: University of California San Diego, IBM (United States), Sapienza University of Rome

Language: English

Topic: Business Process Modeling and Analysis

Subfield: Management Information Systems

Field: Business, Management and Accounting

Domain: Social Sciences

Open Access status: bronze

Funders: National Science Foundation, Division of Information and Intelligent Systems

Awards: G1668214004, III-Small-COR: Automatic Construction of Artifact-based Workflows, SoD-TEAM: Tools and Techniques for On-the-Fly Design of Business Process Integration, Specification and Verification of Data-driven Web Services, Collaborative Research: Data Management Tools for Web Services