225 search results - page 2 / 45 » On the Suitability of Correctness Criteria for Business Proc... |
ADVIS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. In many practical business process modelling scenarios using Petri nets, the resultant model does not have a single input place and a single output place. In particular, ...
WECWIS
2006
IEEE
13 years 11 months ago
2006
IEEE
Correct synchronization among activities is critical in a business process. Current workflow languages such as BPEL specify the control flow of processes explicitly. However, thei...
FASE
2005
Springer
13 years 11 months ago
2005
Springer
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
CAISE
2001
Springer
13 years 10 months ago
2001
Springer
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
OTM
2005
Springer
13 years 11 months ago
2005
Springer
In this paper we will concentrate on the conceptual modeling and semantics of service delegation and alignment in information systems. In delegation, one typically has the situatio...