228 search results - page 31 / 46 » Semantic Analysis of Business Process Executions |
CAISE
1999
Springer
14 years 2 days ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
IHIS
2005
ACM
14 years 1 months ago
2005
ACM
The goal of this work is to contribute to the field of interoperability of Workflow models. To achieve this interoperability, we have built a generic architecture that s three lev...
IADIS
2003
13 years 9 months ago
2003
Ontology mapping is the process whereby two ontologies are semantically related at conceptual level and the source ontology instances are transformed into target ontology entities...
EUROMICRO
2007
IEEE
13 years 9 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
SPE
2002
13 years 7 months ago
2002
This study presents a practical solution for data collection and restoration to migrate a process written in high level stack-based languages such as C and Fortran over a network ...