A formalisation of adaptable pervasive flows

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6194 LNCS, Issue , 2010, Pages 61-75

  Bucchiarone, Antonio ^a   Lafuente, Alberto Lluch ^b   Marconi, Annapaola ^a   Pistore, Marco ^a  

^a ITC IRST   (Italy)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED VERIFICATION; FORMAL SEMANTICS; FORMALISATION; PERVASIVE APPLICATIONS; TEXTUAL NOTATION; WORK-FLOWS; WS-BPEL;

ENCODING (SYMBOLS); MANAGEMENT; SEMANTICS; WEB SERVICES;

FORMAL METHODS;

EID: 77958475024     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14458-5_4     Document Type: Conference Paper

References (19)

1. EU-FET project 213339 ALLOW, http://www.allow-project.eu/
2. D3.1 Basic flow-model and language for Adaptable Pervasive Flows. ALLOW Project Deliverable (November 2008)
3. APFoL homepage, http://www.antoniobucchiarone.it/APFoL.html
4. Blite: A formal account of WS-BPEL, http://rap. dsi.unifi.it/blite/
5. OASIS WSBPEL Tecnical Committee. Web Services Business Process Execution Language, version 2.0 (2007), http://docs.oasis-open.org/wsbpel/2.θ/ wsbpel-v2.θ
6. 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)
7. 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)
8. 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)
9. 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)
10. 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)
11. 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)
12. 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)
13. 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)
14. 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)
15. Lucchi, R., Mazzara, M.: A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming 70(1), 96-118 (2007)
16. 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)
17. Nigam, A., Caswell, N. S.: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3), 428-445 (2003)
18. 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)
19. van der Aalst, W. M. P., van Hee, K. M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)