Sciweavers

CHI
1993
ACM
13 years 8 months ago
ADEPT: Advanced Design Environment for Prototyping with Task Models
tasks to be performed. This Abstract Artifact Model is a description of the form of the artifact(s) without any nt to concrete implementation detail. The Abstract Artifact Model is...
Peter Johnson, Stephanie Wilson, Panos Markopoulos...
ICDT
2009
ACM
248views Database» more  ICDT 2009»
14 years 5 months ago
Automatic verification of data-centric business processes
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
Alin Deutsch, Richard Hull, Fabio Patrizi, Victor ...