Artifact-M for ACP-i

Aritfact-M for Modelling and Analysis of Artifact-Centric Business Processes

Version 1.2 (Download - file size 34MB)
Contributors: Sira Yongchareon, Chengfei Liu,  Jian Yu, and Xiaohui Zhao

Key Features 

  • Support for Artifact-Centric business/workflow Process (ACP) specification
    • The process specification is captured in XML format, therefore it is easy to create, understand, and modify
    • Inter-organizational process modeling support
    • The process definition specification: Organization roles, artifact definition, business rule definition, and task (service) definition
      • The business rule definition is based on ECA style which defines how the artifact is changed upon execution of a service/task and by whom

  • Support for process model visualization
    • Based on Labelled Transition system
    • Support multi-role, global and local artifacts

  • Support for process specialization verification
    • Automatic verification of behavioral consistency and soundness of specialized process models
    • Supported specialization methods: Artifact extension, refinement, and reduction 

  • Support for model abstraction and artifact reduction
    • Support for Shared (Global) and Local artifacts in the ACP specification
    • Automatic construction of maximal abstraction (or minimal public-view) and consistent generated from a given process specification that can be used as a inter-organizational contract for executing a business process
    • Highlight of all possible places (states, transitions, artifacts) that can be automatically (or semi-automatically) abstracted in a an abstract model or public-view

Main Screen


Visualization on artifact life cycles of an inter-organizational purchasing process which is specified based on ACP specification defined in XML format (APML/APMT file).  

  • PO: Purchase Order
  • SO: Shipping Order
  • IV : Invoice
  • Q: Purchasing Quote
  • PL: Picking List
  • SL: Shipping List
  • DN: Delivery Note
  • P: Payment
L1, L2, and L3 refer to Buyer, Supplier, and Logistics roles, respectively.

A gray-shaded state represents a state of a local artifact (of one organization)

A white-filled state represents a state of a shared (global) artifact

Click to see a full-sized picture 
Visualization on artifact life cycles of the generated a maximal abstraction (minimal public-view) from the original purchasing process specification. The generated model is consistent to its original model, and can be used as a global contract of the collaboration among different parties.

A dotted state (with its corresponding dotted transition) is a state of a local artifact that can be automatically abstracted. 

A blue-colored state is a state of a shared (global) artifact that an be automatically abstracted. 

A red-colored state is a (NAL) state of a shared artifact that can be abstracted but requires manual configuration (semi-automatic).

System Input

The Artifact-M system requires two inputs files

  • Artifact-centric process LTS definition file (APMT file extension)
    • The file contains a specification of Arifact-centric process (with inter-organizational support) where all artifacts involved in a process are defined based on Labelled transition system (LTS) with their synchronization.

  • Process view definition file (PVDL file extension)
    • The file contains a specification of process views that can be generated from a given process defined in an APMT file. The generated model is automatically verified against its original model to ensure their behavioral consistency and soundness.

 Download the Artifact-centric Process LTS definition file (APMT)

 Download Artifact-M for ACP-i (v1.2, working release, research version)

The package contains an example of ACP-i Order process specification (order_process.apmt) and the public view definition (publicview-order-process.pvdl) in the /data/acp-i folder.

Note that the current working release is NOT for distribution. This version is still under development and can be used for research purpose only.

If you are interested in trial, discussion, or contributing to the Artifact-M project, please feel free to contact me.