![](bgc.png)
ts, check temporal feasibility and monitor the execu-
tion. The two considered techniques, interval-based
and probabilistic, caters for different needs of the
users in different scenarios.
REFERENCES
Allen, J. (1983). Maintaining knowledge about temporal
intervals. Communications of the ACM, 26(11):832–
843.
Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B.,
Curbera, F., Ford, M., Goland, Y., Guzar, A., Kartha,
N., Liu, C., Khalaf, R., Koenig, D., Marin, M., Mehta,
V., Thatte, S., Rijn, D., Yendluri, P., and Yiu., A.
(2007). Web services business process execution lan-
guage version 2.0. Technical report, OASIS.
Barros, A., Dumas, M., and Oaks, P. (2005). A criti-
cal overview of the web services choreography de-
scription language(ws-cdl). Technical report, Busi-
ness Process Trends.
Benatallah, B., Casati, F., Ponge, J., and Toumani, F.
(2005). On temporal abstractions of web service pro-
tocols. In Proc. of CAiSE Forum.
Bettini, C., Wang, X. S., and Jajodia, S. (2002). Tempo-
ral reasoning in workflow systems. Distrib. Parallel
Databases, 11:269–306.
Decker, G., Overdick, H., and Zaha, J. (2006). On the suit-
ability of ws-cdl for choreography modeling. In Proc.
of EMISA’06.
Dijkman, R. and Dumas, M. (2004). Service-oriented de-
sign: A multi-viewpoint approach. Int. J. Cooperative
Inf. Syst., 13(4):337–368.
Eder, J., Gruber, W., and Panagos, E. (2000). Tempo-
ral modeling of workflows with conditional execution
paths. In Proc. of the 11th International Conference
on Database and Expert Systems Applications.
Eder, J., Lehmann, M., and Tahamtan, A. (2006). Chore-
ographies as federations of choreographies and or-
chestrations. In Proc. of CoSS’06.
Eder, J., Lehmann, M., and Tahamtan, A. (2007). Confor-
mance test of federated choreographies. In Proc. of
I-ESA’07.
Eder, J. and Panagos, E. (2001). WfMC WorkFlow Hand-
book 2001, chapter Managing Time in Workflow Sys-
tems. J. Wiley & Sons.
Eder, J., Panagos, E., and Rabinovich, M. (1999). Time con-
straints in workflow systems. In Proc. of the 11th In-
ternational Conference on Advanced Information Sys-
tems Engineering (CAiSE).
Eder, J. and Pichler, H. (2002). Duration histograms for
workflow systems. In Proc. of the IFIP TC8 / WG8.1
Working Conference on Engineering Information Sys-
tems in the Internet Context.
Eder, J., Pichler, H., and Tahamtan, A. (2008). Probabilis-
tic time management of choreographies. In Proc. of
QSWS-08.
Eder, J. and Tahamtan, A. (2008). Temporal conformance
of federated choreographies. In Proc. of DEXA’08.
Guermouche, N., Perrin, O., and Ringeissen, C. (2008).
Timed specification for web services compatibility
analysis. Electron. Notes Theor. Comput. Sci., 3:155–
170.
Kallel, S., Charfi, A., Dinkelaker, T., Mezini, M., and
Jmaiel, M. (2009). Specifying and monitoring tempo-
ral properties in web services compositions. In Proc.
of the Seventh IEEE European Conference on Web
Services.
Kazhamiakin, R., Pandya, P., and Pistore, M. (2006a). Rep-
resentation, verification, and computation of timed
properties in web service compositions. In Proc. of
ICWS 06.
Kazhamiakin, R., Pandya, P., and Pistore, M. (2006b).
Timed modelling and analysis in web service compo-
sitions. In Proc. of ARES06.
Marjanovic, O. (2000). Dynamic verification of temporal
constraints in production workflows. In Proc. of the
Australasian Database Conference.
Panagos, E. and Rabinovich, M. (1997). Predictive work-
flow management. In Proc. of the 3rd Int. Work-
shop on Next Generation Information Technologies
and Systems.
Peltz, C. (2003). Web services orchestration and choreog-
raphy. IEEE Computer, 36(10):4653.
Pichler, H. (2006). Time Management for Workflow
Systems. A probabilistic Approach for Basic and
Advanced Control Flow Structures. PhD thesis,
Alpen-Adria-Universitaet Klagenfurt. Fakultaet fuer
Wirtschaftswissenschaften und Informatik.
Song, W., Ma, X., Ye, C., Dou, W., and Lu, J. (2009). Timed
modeling and verification of bpel processes using time
petri nets. In Proc. of the International Conference on
Quality Software.
Tahamtan, A. (2009). Modeling and Verification of Web
Service Composition Based Interorganizational Work-
flows. PhD thesis, University of Vienna.
Tahamtan, A. and Eder, J. (2011). View driven interorgani-
zational workflows. Int. J. Intelligent Information and
Database Systems, To Appear.
VUT (2011). Vienna university of technology, insti-
tute of software technology and interactive sys-
tems, information & software engineering group.
http://www.ifs.tuwien.ac.at/.
WMC (2002). Workflow process definition interface -
xml process definition language. Technical Report
WFMC-TC-1025, The Workflow Management Coali-
tion.
BPEL-TIME - WS-BPEL Time Management Extension
45