-
1
-
-
0020849266
-
Maintaining knowledge about temporal intervals
-
Allen, J. 1983. Maintaining knowledge about temporal intervals. Communications of the ACM, 26: 832-843.
-
(1983)
Communications of the ACM
, vol.26
, pp. 832-843
-
-
Allen, J.1
-
2
-
-
84878884049
-
3D representation of business process models
-
MobIS, November 2008, Saarbrücken. Köllen Verlag
-
Betz, S. 2008. "3D representation of business process models". In MobIS, November 2008, Saarbrücken. Köllen Verlag 73-87.
-
(2008)
, pp. 73-87
-
-
Betz, S.1
-
3
-
-
33750049302
-
Proviado - personalized and configurable visualizations of business processes
-
Bobrik, R., Bauer, T. and Reichert, M. 2006. "Proviado-personalized and configurable visualizations of business processes". In 7th international conference on E-commerce and web technologies, EC-Web 2006, 5-7 September 2006, Krakow, Poland. Springer-Verlag 61-71.
-
(2006)
7th international conference on E-commerce and web technologies, EC-Web 2006, 5-7 September 2006, Krakow, Poland. Springer-Verlag
, pp. 61-71
-
-
Bobrik, R.1
Bauer, T.2
Reichert, M.3
-
4
-
-
77049103396
-
Lifting business process diagrams to 2.5 dimensions
-
Society of photo-optical instrumentation engineers conference series, San Jose, Available from: [Accessed 14 May 2012]
-
Effinger, P. and Spielmann, J. Lifting business process diagrams to 2.5 dimensions. Society of photo-optical instrumentation engineers conference series, San Jose. Available from: http://dx.doi.org/10.1117/12.840237 [Accessed 14 May 2012]
-
-
-
Effinger, P.1
Spielmann, J.2
-
6
-
-
70449416230
-
Time-bpmn
-
July, Washington, DC, Washington, DC,: IEEE Computer Society
-
Gagne, D. and Trudel, A. Time-bpmn. Commerce and enterprise computing, 2009. CEC'09. IEEE conference on commerce and enterprise computing. July2009. pp.361-367. Washington, DC: IEEE Computer Society.
-
(2009)
Commerce and enterprise computing, 2009. CEC '09. IEEE conference on commerce and enterprise computing
, pp. 361-367
-
-
Gagne, D.1
Trudel, A.2
-
8
-
-
38749096258
-
Compliance checking between business processes and business contracts
-
22 August 2007. IEEE Computer Society
-
Governatori, G., Milosevic, Z. and Sadiq, S.W. 2006. "Compliance checking between business processes and business contracts". In EDOC, 221-232. 22 August 2007. IEEE Computer Society.
-
(2006)
EDOC
, pp. 221-232
-
-
Governatori, G.1
Milosevic, Z.2
Sadiq, S.W.3
-
9
-
-
67649927333
-
Perspective oriented business process visualization
-
A.H.M. ter Hofstede, B. Benatallah and H.Y. Paik, eds.Business process management workshops, Berlin: Springer
-
Jablonski, S. and Götz, M. Perspective oriented business process visualization. A.H.M. ter Hofstede, B. Benatallah and H.Y. Paik, eds.Business process management workshops. pp.144-155. Berlin: Springer.
-
-
-
Jablonski, S.1
Götz, M.2
-
10
-
-
0004050778
-
-
Upper Saddle River, NJ, Upper Saddle River, NJ,: Prentice Hall PTR
-
Leymann, F. and Roller, D. 2009. Production workflow-concepts and techniques, Upper Saddle River, NJ: Prentice Hall PTR.
-
(2009)
Production workflow - concepts and techniques
-
-
Leymann, F.1
Roller, D.2
-
12
-
-
78650125348
-
Workflow ART
-
In: Meersman R., Dillon T.S., Herrero P., editors Berlin, Berlin,: Springer-Verlag
-
Monakova, G. and Leymann, F. 2010. "Workflow ART". In OTM conferences (1). Lecture notes in computer science, Edited by: Meersman, R., Dillon, T.S. and Herrero, P. 376-393. Berlin: Springer-Verlag.
-
(2010)
OTM conferences (1). Lecture notes in computer science
, pp. 376-393
-
-
Monakova, G.1
Leymann, F.2
-
13
-
-
84882944120
-
Verifying business rules using an SMT solver for BPEL processes
-
Available from: [Accessed 14 May 2012]
-
Monakova, G. 2009. "Verifying business rules using an SMT solver for BPEL processes". In BPSC 81-94. Available from: http://dblp.uni-trier.de/db/conf/bpsc/bpsc2009.html#MonakovaKLMS09 [Accessed 14 May 2012]
-
(2009)
BPSC
, pp. 81-94
-
-
Monakova, G.1
-
16
-
-
84871039420
-
-
SAP: Sap solution brief, sap netweaver business process management Tech. rep., SAP
-
SAP: Sap solution brief, sap netweaver business process management. 2009. Tech. rep., SAP
-
(2009)
-
-
-
17
-
-
0033727145
-
3D gadgets for business process visualization - a case study
-
Schönhage, B., van Ballegooij, A. and Eliëns, A. 2000. "3D gadgets for business process visualization-a case study". In Proceedings of the fifth symposium on Virtual reality modeling language (Web3D-VRML), New York, NY. Monterey, California: ACM 131-138.
-
(2000)
Proceedings of the fifth symposium on Virtual reality modeling language (Web3D-VRML), New York, NY. Monterey, California: ACM
, pp. 131-138
-
-
Schönhage, B.1
van Ballegooij, A.2
Eliëns, A.3
-
18
-
-
33845201666
-
Decserflow: towards a truly declarative service flow language
-
Berlin, Berlin,: Springer M. Bravetti, M. Núñez, and G. Zavattaro, eds. WS-FM
-
van der Aalst, W.M.P. and Pesic, M. 2006. "Decserflow: towards a truly declarative service flow language". In M. Bravetti, M. Núñez, and G. Zavattaro, eds. WS-FM, 1-23. Berlin: Springer.
-
(2006)
, pp. 1-23
-
-
van der Aalst, W.M.P.1
Pesic, M.2
-
19
-
-
33845255047
-
-
K. Aberer, Z. Peng, E.A. Rundensteiner, Y. Zhang and X. Li, eds. WISE. Berlin: Springer
-
Yu, J. 2006. "Pattern based property specification and verification for service composition". In K. Aberer, Z. Peng, E.A. Rundensteiner, Y. Zhang and X. Li, eds. WISE. Berlin: Springer 156-168.
-
(2006)
Pattern based property specification and verification for service composition
, pp. 156-168
-
-
Yu, J.1
|