-
1
-
-
77958454443
-
-
EU-FET project 213339 ALLOW
-
EU-FET project 213339 ALLOW, http://www.allow-project.eu/
-
-
-
-
2
-
-
77958480673
-
-
D3.1 Basic flow-model and language for Adaptable Pervasive Flows, November
-
D3.1 Basic flow-model and language for Adaptable Pervasive Flows. ALLOW Project Deliverable (November 2008)
-
(2008)
ALLOW Project Deliverable
-
-
-
3
-
-
77958465639
-
-
APFoL homepage
-
APFoL homepage, http://www.antoniobucchiarone.it/APFoL.html
-
-
-
-
4
-
-
77958486479
-
-
Blite: A formal account of WS-BPEL
-
Blite: A formal account of WS-BPEL, http://rap. dsi.unifi.it/blite/
-
-
-
-
5
-
-
77958501674
-
-
OASIS WSBPEL Tecnical Committee. Web Services Business Process Execution Language, version 2.0
-
OASIS WSBPEL Tecnical Committee. Web Services Business Process Execution Language, version 2.0 (2007), http://docs.oasis-open.org/wsbpel/2.θ/ wsbpel-v2.θ
-
(2007)
-
-
-
6
-
-
77958476618
-
A graph syntax for processes and services
-
Bruni, R., Gadducci, F., Lluch Lafuente, A.: A graph syntax for processes and services. In: 9th International Workshop on Web Services and Formal Methods, WS-FM 2009 (2009)
-
(2009)
9th International Workshop on Web Services and Formal Methods, WS-FM 2009
-
-
Bruni, R.1
Gadducci, F.2
Lafuente, L.A.3
-
7
-
-
45749109416
-
Formalizing higher-order mobile embedded business processes with binding bigraphs
-
Lea, D., Zavattaro, G. eds., Springer, Heidelberg
-
Bundgaard, M., Glenstrup, A. J., Hildebrandt, T. T., Højsgaard, E., Niss, H.: Formalizing higher-order mobile embedded business processes with binding bigraphs. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 83-99. Springer, Heidelberg (2008)
-
(2008)
COORDINATION 2008. LNCS
, vol.5052
, pp. 83-99
-
-
Bundgaard, M.1
Glenstrup, A.J.2
Hildebrandt, T.T.3
Højsgaard, E.4
Niss, H.5
-
8
-
-
38049179424
-
All about maude - A high-performance logical framework. how to specify, program and verify systems in Rewriting logic
-
Springer, Heidelberg
-
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. How to Specify, Program and Verify Systems in Rewriting Logic. LNCS, vol. 4350. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4350
-
-
Clavel, M.1
Durán, F.2
Eker, S.3
Lincoln, P.4
Martí-Oliet, N.5
Meseguer, J.6
Talcott, C.7
-
9
-
-
70449501097
-
Enforcement from the inside: Improving quality of bussiness in process management
-
to appear
-
Eberle, H., Fll, S., Herrmann, K., Leymann, F., Marconi, A., Unger, T., Wolf, H.: Enforcement from the inside: Improving quality of bussiness in process management. In: IEEE 7th International Conference on Web Services, ICWS 2009 (2009) (to appear)
-
(2009)
IEEE 7th International Conference on Web Services, ICWS 2009
-
-
Eberle, H.1
Fll, S.2
Herrmann, K.3
Leymann, F.4
Marconi, A.5
Unger, T.6
Wolf, H.7
-
10
-
-
64849099052
-
Adaptable pervasive flows - An emerging technology for pervasive adaptation
-
Workshop on Pervasive Adaptation Per-Ada, September 2008
-
Herrmann, K., Rothermel, K., Kortuem, G., Dulay, N.: Adaptable Pervasive Flows - An Emerging Technology for Pervasive Adaptation. In: Workshop on Pervasive Adaptation (Per-Ada), September 2008. IEEE Computer Society, Los Alamitos (2008)
-
(2008)
IEEE Computer Society, los Alamitos
-
-
Herrmann, K.1
Rothermel, K.2
Kortuem, G.3
Dulay, N.4
-
11
-
-
85099426094
-
Artifact-centric business process models: Brief survey of research results and challenges
-
Meersman, R., Tari, Z. eds., Springer, Heidelberg
-
Hull, R.: Artifact-centric business process models: Brief survey of research results and challenges. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part II. LNCS, vol. 5332, pp. 1152-1163. Springer, Heidelberg (2008)
-
(2008)
OTM 2008, Part II. LNCS
, vol.5332
, pp. 1152-1163
-
-
Hull, R.1
-
12
-
-
33646199967
-
Web-pi at work
-
De Nicola, R., Sangiorgi, D. eds., Springer, Heidelberg
-
Laneve, C., Zavattaro, G.: Web-pi at work. In: De Nicola, R., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol. 3705, pp. 182-194. Springer, Heidelberg (2005)
-
(2005)
TGC 2005. LNCS
, vol.3705
, pp. 182-194
-
-
Laneve, C.1
Zavattaro, G.2
-
13
-
-
45749144773
-
A formal account of WS-BPEL
-
Lea, D., Zavattaro, G. eds., Springer, Heidelberg
-
Lapadula, A., Pugliese, R., Tiezzi, F.: A formal account of WS-BPEL. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 199-215. Springer, Heidelberg (2008)
-
(2008)
COORDINATION 2008. LNCS
, vol.5052
, pp. 199-215
-
-
Lapadula, A.1
Pugliese, R.2
Tiezzi, F.3
-
14
-
-
43149123380
-
A feature-complete Petri net semantics for WS-BPEL 2.0
-
Dumas, M., Heckel, R. eds., Springer, Heidelberg
-
Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 77-91. Springer, Heidelberg (2008)
-
(2008)
WS-FM 2007. LNCS
, vol.4937
, pp. 77-91
-
-
Lohmann, N.1
-
16
-
-
75649099010
-
Enabling adaptation of pervasive flows: Built-in contextual adaptation
-
Baresi, L., Chi, C.-H., Suzuki, J. eds., Springer, Heidelberg
-
Marconi, A., Pistore, M., Sirbu, A., Eberle, H., Leymann, F.: Enabling adaptation of pervasive flows: Built-in contextual adaptation. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC 2009. LNCS, vol. 5900, pp. 389-403. Springer, Heidelberg (2009)
-
(2009)
ICSOC 2009. LNCS
, vol.5900
, pp. 389-403
-
-
Marconi, A.1
Pistore, M.2
Sirbu, A.3
Eberle, H.4
Leymann, F.5
-
17
-
-
0141940583
-
Business artifacts: An approach to operational specification
-
Nigam, A., Caswell, N. S.: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3), 428-445 (2003)
-
(2003)
IBM Systems Journal
, vol.42
, Issue.3
, pp. 428-445
-
-
Nigam, A.1
Caswell, N.S.2
-
18
-
-
34250718156
-
Formal semantics and analysis of control flow in WS-BPEL
-
Ouyang, C., Verbeek, E., van der Aalst, W. M. P., Breutel, S., Dumas, M., ter Hofstede, A. H. M.: Formal semantics and analysis of control flow in WS-BPEL. Science of Computer Programming 67 (2-3), 162-198 (2007)
-
(2007)
Science of Computer Programming
, vol.67
, Issue.2-3
, pp. 162-198
-
-
Ouyang, C.1
Verbeek, E.2
Van Der Aalst, W.M.P.3
Breutel, S.4
Dumas, M.5
Ter Hofstede, A.H.M.6
-
19
-
-
33746182623
-
Workflow management
-
MIT Press, Cambridge
-
van der Aalst, W. M. P., van Hee, K. M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)
-
(2002)
Models, Methods, and Systems
-
-
Van Der Aalst, W.M.P.1
Van Hee, K.M.2
|