601 search results - page 51 / 121 » An Ontology for Executable Business Processes |
APN
2006
Springer
14 years 24 days ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
CSREAEEE
2006
13 years 10 months ago
2006
A world of ever growing competition not only forces enterprises to continuously optimise their private business processes but also to integrate their business processes with their ...
BPM
2009
Springer
13 years 10 months ago
2009
Springer
This tool presentation gives insights into the AristaFlow BPM Suite
CORR
2009
Springer
13 years 6 months ago
2009
Springer
A choreography describes a transaction in which several principals interact. Since choreographies frequently describe business processes affecting substantial assets, we need a se...
ICSOC
2005
Springer
14 years 2 months ago
2005
Springer
Web services are rapidly emerging as the reference paradigm for the interaction and coordination of distributed business processes. In several research papers we have shown how ad...