Artifact-M for ACP-i

Aritfact-M for Modelling and Analysis of Artifact-Centric Inter-organizational 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 Public-view construction
    • Support for Shared (Global) and Local artifacts in the ACP specification
    • Automatic construction of Public-view. The view is minimal 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-automaticall) abstracted in a 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 Order
  • SL: Shipping Order
  • DN: Delivery Order
  • 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 public-view from the original purchasing process specification. The public-view is minimal and consistent to its original process, 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 will be generated from a given process defined in an APMT file. Current version supports only public-view generation. The public-view is minimal and consistent to its underlying process.

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

 Download Artifact-M for ACP-i (v1.2, working release 24/11/2014, 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.